Skip to Main content Skip to Navigation
New interface
Habilitation à diriger des recherches

Computational Approaches to Analysis and Control of Hybrid Systems

Antoine Girard 1 
Abstract : A hybrid system is a dynamical system exhibiting both continuous and discrete behaviors. Motivated by the multiplication of ''discrete'' embedded computing devices interacting with the ''continuous'' physical world, the research on hybrid systems has rapidly developed since the nineties at the intersection of computer science, control theory and applied mathematics. This thesis presents our theoretical and methodological contributions to this field. In a first part, we introduce an approximation framework that applies to dynamical systems that can be continuous, discrete or hybrid; applications, including some in the field of symbolic control, are presented. The second part deals with reachability analysis, a computational technique which is very useful for the analysis of hybrid systems. Finally, the third part presents our contributions to multi-agent dynamical systems.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [218 references]  Display  Hide  Download
Contributor : Antoine Girard Connect in order to contact the contributor
Submitted on : Monday, November 25, 2013 - 2:53:21 PM
Last modification on : Thursday, October 28, 2021 - 8:38:01 AM
Long-term archiving on: : Monday, March 3, 2014 - 3:01:04 PM


  • HAL Id : tel-00908913, version 1



Antoine Girard. Computational Approaches to Analysis and Control of Hybrid Systems. Optimization and Control [math.OC]. Université de Grenoble, 2013. ⟨tel-00908913⟩



Record views


Files downloads