Contrôle de systèmes symboliques, discrets ou hybrides

Tristan Le Gall 1 Bertrand Jeannet 1 Hervé Marchand 1
1 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
Résumé : Nous abordons le problème de la synthèse de contrôleurs à travers différents modèles allant des systèmes de transitions finis aux systèmes hybrides en nous intéressant à des propriétés de sûreté. Dans ce cadre, nous nous intéressons principalement au problème de synthèse pour un modèle intermédiaire : les systèmes de transitions symboliques. L'analyse des besoins de modélisation nous amène à redéfinir la notion de contrôlabilité en faisant porter le carac- tère de contrôlabilité non plus sur les événements mais sur les gardes des transitions, puis à définir des algorithmes de synthèse permettant l'usage d'approximations et d'assurer la terminaison des calculs. Nous généralisons par la suite notre méthodologie au contrôle de systèmes hybrides, ce qui donne un cadre unifié du problème de la synthèse pour un ensemble consistant de modèles.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2006, 35 (3), pp.293-319. 〈10.3166/tsi.25.289-315〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00424478
Contributeur : Hervé Marchand <>
Soumis le : vendredi 16 octobre 2009 - 08:51:56
Dernière modification le : mercredi 11 avril 2018 - 01:50:46

Lien texte intégral

openaccess

Identifiants

Collections

INRIA | IRISA | UR1-UFR-ISTIC

Citation

Tristan Le Gall, Bertrand Jeannet, Hervé Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2006, 35 (3), pp.293-319. 〈10.3166/tsi.25.289-315〉. 〈inria-00424478〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

99

Contact


archive-ouverte@inria.fr