Grande Salle de VERIMAG
7 mai 2010 - 15h15
Conception et analyse basée sur les modèles de systèmes hybrides: techniques par simulations, applications et perspectives
par Alexandre DONZE de verimag
Résumé : Lors de ce séminaire, je présenterai mes contributions passées,
présentes et prévues dans le domaine de la vérification et de
l'analyse des systèmes continus et hybrides, en particulier en
présence de dynamiques non-linéaires. Je rappellerai l'approche que
j'ai proposée pour le problème d'atteignabilité basée sur la
simulation numérique, la détection d'évènements et l'analyse de
sensibilité et son application aux modèles Simulink ainsi qu'à des
modèles biologiques. Je détaillerai ensuite mes travaux plus récents
sur la satisfaction robuste de formules de logique temporelle par des
signaux en temps dense et à valeurs réelles. J'illustrerai cette
partie à l'aide d'une application plus ludique que critique sur un
système hybride généralement embarqué dans ma poche. Enfin je
présenterai les fonctionalités de l'outil Breach que je développe dans
ce contexte.
