Institut d'Électronique et de Télécommunications de Rennes
UMR CNRS 6164

| ENT |






Accueil du site Accueil > Recherche > Automatique > Atteignabilité pour la vérification de sûreté

Atteignabilité pour la vérification de sûreté

Atteignabilité pour la vérification de sûreté

Objectifs : Les objectifs de ce thème sont d’étudier les techniques de vérification de propriétés des systèmes dynamiques hybrides par atteignabilité et leurs applications dans le domaine de la conception des contrôleurs. Perspectives : Les perspectives sur ce thème portent principalement sur trois points qui constituent des limites actuelles de ce domaine : le premier point concerne la complexité des calculs lorsque le système est modélisé par des dynamiques continues quelconques et en particulier (...)

Lire la suite






Départements et équipes de recherche
>
Top