ACCUEIL

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

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 43/7-9 - 2009  - pp.805-819
TITRE
Contrôle décentralisé de systèmes symboliques infinis sous observation partielle

RÉSUMÉ
Nous proposons des algorithmes permettant de synthétiser des contrôleurs décentralisés n'ayant qu'une observation partielle du système à contrôler. Ces systèmes, dont le nombre d'états peut être infini, sont modélisés par des Systèmes à Transitions Symboliques. Nous présentons des modèles de contrôleurs (non bloquants) valides permettant d'assurer l'interdiction d'un ensemble d'états dans un cadre décentralisé. Pour obtenir des algorithmes pour ces problèmes, nous utilisons des techniques d'interprétation abstraite, qui induisent une surapproximation de l'ensemble des transitions à interdire. Notre outil SMACS permet de valider empiriquement nos méthodes et de montrer leurs faisabilité et efficacité.


ABSTRACT
We propose algorithms for the synthesis of decentralized controllers with partial observation of infinite state systems modelled by Symbolic Transition Systems. We provide models of safe controllers both for potentially deadlock and deadlock free controlled systems. To obtain algorithms for these problems, we use abstract interpretation techniques which provide overapproximations of the transitions set to be disabled. Our tool SMACS allowed us to make an empirical validation of our methods and show their feasibility and efficiency.


AUTEUR(S)
Gabriel KALYON, Tristan LE GALL, Hervé MARCHAND, Thierry MASSART

MOTS-CLÉS
systèmes à transitions symboliques, synthèse de contrôleurs décentralisés, observation partielle, interprétation abstraite.

KEYWORDS
symbolic transition systems, decentralized controller synthesis, partial observation, abstract interpretation.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier