ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 25/3 - 2006  - pp.289-315  - doi:10.3166/tsi.25.289-315
TITRE
Contrôle de systèmes symboliques, discrets ou hybrides

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 caractè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.


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 interested 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 interpretation 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.


AUTEUR(S)
Tristan LE GALL, Bertrand JEANNET, Hervé MARCHAND

MOTS-CLÉS
systèmes de transition finis, hybrides et symboliques, synthèse de contrôleurs, propriétés de sûreté, interprétation abstraite.

KEYWORDS
finite state machine, hybrid and symbolic systems, supervisory control problem, safety properties, abstract interpretation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (244 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier