-
Reachability Analysis of Hybrid Systems using Support Functions
In model based design, one constructs a mathematical model of the system and uses it to design the system so that it exhibits the desired properties. For safety... -
Optimisation de Lois de Gestion Énergétiques des Véhicules Hybrides
The purpose of the this work is to apply optimal control techniques to enhance the performance of the power management of hybrid vehicles. More precisely, the... -
Motor representations and the perception of peripersonal space
In this thesis, we assessed the tight relations between motor and sensory processes used to determine the areas of space in which a direct action is possible. We thus... -
Decidable Approximations of Sets of Descendants and Sets of Normal forms
Colloque avec actes et comité de lecture. -
Approximate reachability analysis of piecewise-linear dynamical systems
Colloque avec actes et comité de lecture. internationale.
