Name
Abstract | ||
|---|---|---|
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 termi- naison 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. ABSTRACT. In this paper, we tackle the safety controller synthesis problem for various models (from finite transition systems to hybrid systems). Within this framework, we are mainly in- terested in the synthesis problem for an intermediate model: the symbolic transition system. Modelization needs lead us to redefine the concept of controllability by associating it to guards of transitions instead of events. We then define synthesis algorithms based on abstract inter- pretation techniques so that we can ensure finiteness of the computations. We finally generalize our methodology to the control of hybrid systems, which gives an unified framework to the supervisory control problem for several classes of models. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.3166/tsi.25.289-315 | Technique et Science Informatiques |
Keywords | DocType | Volume |
synthèse de contrôleurs,safety properties,hybrides et symboliques,supervisory control problem,interprétation abstraite. keywords: finite state machine,pro- priét és de sûreté,mots-clés : systèmes de transition finis,abstract interpretation.,hybrid and symbolic systems,supervisory control,hybrid system,finite state machine | Journal | 25 |
Issue | Citations | PageRank |
3 | 0 | 0.34 |
References | Authors | |
20 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tristan Le Gall | 1 | 55 | 6.89 |
| Bertrand Jeannet | 2 | 641 | 29.06 |
| Hervé Marchand | 3 | 449 | 33.75 |