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 metadatas

Cited literature [218 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00908913
Contributor : Antoine Girard <>
Submitted on : Monday, November 25, 2013 - 2:53:21 PM
Last modification on : Tuesday, October 29, 2019 - 11:10:23 AM
Long-term archiving on : Monday, March 3, 2014 - 3:01:04 PM

Identifiers

  • HAL Id : tel-00908913, version 1

Collections

Citation

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

Share

Metrics

Record views

1257

Files downloads

1091