Approches computationnelles pour l'analyse et le contrôle des systèmes hybrides

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 )