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

Computational Approaches to Analysis and Control of Hybrid Systems

Antoine Girard 1
Résumé : Un système hybride est un système dynamique exhibant à la fois des comportements de nature discrète et continue. Motivée par la multiplication de composants informatiques embarqués ''discrets'' interagissant avec le monde physique ''continu'', la recherche sur les systèmes hybrides s'est développée rapidement depuis les années 90 à l'intersection de l'informatique, de l'automatique et des mathématiques appliquées. Ce mémoire présente nos contributions, théoriques ou méthodologiques, à ce domaine. Dans une première partie, nous introduisons un cadre d'approximation qui s'applique aux systèmes dynamiques continus, discrets et hybrides; des applications, notamment dans le domaine du contrôle symbolique sont présentées. La deuxième partie est consacrée à l'analyse d'atteignabilité, une technique computationnelle très utile pour l'analyse des systèmes hybrides. Enfin, la troisième partie porte sur les systèmes dynamiques multi-agents.
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 : Friday, July 3, 2020 - 4:51:14 PM
Document(s) archivé(s) le : 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

1294

Files downloads

1147