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é

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 non-linéaires et lorsque la dimension de l’état croît ; pour ce faire nous envisageons d’étudier des approches de décomposition structurelle de la dynamique permettant de traduire le problème en un ensemble de problèmes plus simples ; ce point a fait en particulier l’objet du dépôt d’un projet auprès de l’ANR en collaboration avec le LIRMM et VERIMAG ;
  • le deuxième point concerne la prise en compte des incertitudes de modélisation dans l’analyse ; ce point est motivé par deux considérations principales : la première est qu’il est inutile de faire des calculs compliqués pour prouver des propriétés sur des modèles qui sont forcément approchés de la réalité si on ne sait pas caractériser ces approximations et leur influence sur les conclusions que l’on tire de l’analyse ; la deuxième considération issue du point précédent est que si on veut décomposer un problème complexe en sous problèmes, il est nécessaire de pouvoir prendre en compte l’influence des autres composantes sous formes d’incertitudes ;
  • le troisième point concerne les applications méthodologiques de ces approches dans le domaine de l’automatique des systèmes hybrides ; nous pensons en particulier étudier les possibilités de synthèse de contrôleurs basées sur ces calculs d’atteignabilité plus particulièrement dans un cadre décentralisé.

Animateur : Hervé Guéguen

Chercheur associé : M-A. Lefebvre






Départements et équipes de recherche
>
Top