Approches computationnelles pour l'analyse et le contrôle des systèmes hybrides
19/11/2013 - 14:00 Mr Antoine Girard (Université Joseph Fourier) Amphithéâtre - Maison Jean Kuntzmann
Keywords :
- contrôle symbolique
- analyse d'atteignabilité
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. Cet exposé présentera 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 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.
Raporteurs:
- Mr Jean-Michel Coron (Professeur - Université Pierre et Marie Curie )
- Mr Bruce H. Krogh (Professeur - Carnegie Mellon University - USA )
- Mr John Lygeros (Professeur - ETH Zurich-Suisse )
Examinators:
- Mr Jamal Daafouz (Professeur - Université de Lorraine )
- Mr Bernard Brogliato (Directeur de Recherche - INRIA )
- Mr Emmanuel Trélat (Professeur - Université Pierre et Marie Curie- Paris 6 )
- Mr Oded Maler (Directeur de Recherche - CNRS )