Isabelle Alvarez

A kd-tree algorithm to discover the boundary of a black box hypervolume

In the framework of Decision Support Systems, mathematical viability theory can be used to classify the states and the trajectories of a dynamical system evolving in a set of desirable states. Since obtaining this viability theory output is a complex and computationally intensive task, we propose in this article to consider a compact representation of this set and its approximations using kd-trees. Given a subset of Rn

Mathematical modeling of an urban pigeon population subject to local management strategies

\mathbb {R}^{n}

Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity

of non null measure, defined through a black box function (an oracle), and assuming some regularity properties on this set, we build a kd-tree based data structure representing this set, which can be used as an input to the viability algorithm. This data structure has a complexity close to gaining one dimension, both in terms of space and in number of calls to the oracle, compared to the exhaustive computation on a regular grid. This data structure produces a characteristic function (i.e. a function that can be used in lieu of the oracle), allows to measure the volume of the set, and to compute the distance to the boundary of the set for any point. It offers distance guarantee between the points of the original set and its kd-tree approximation.

Coupling geometric analysis and viability theory for system exploration: Application to a living food system

This paper addresses the issue of managing urban pigeon population using some possible actions that make it reach a density target with respect to socio-ecological constraints. A mathematical model describing the dynamic of this population is introduced. This model incorporates the effect of some regulatory actions on the dynamic of this population. We use mathematical viability theory, which provides a framework to study compatibility between dynamics and state constraints. The viability study shows when and how it is possible to regulate the pigeon population with respect to the constraints.