Synthesis of Communicating Controllers for Distributed Systems

Abstract : We consider the control of distributed systems composed of subsystems communicating asynchronously; the aim is to build local controllers that restrict the behavior of a distributed system in order to satisfy a global state avoidance property. We model our distributed systems as communicating finite state machines with reliable unbounded FIFO queues between subsystems. Local controllers can only observe their proper local subsystems and do not observe the queues. To refine their control policy, they can use the FIFO queues to communicate by piggybacking extra information to the messages sent by the subsystems. We define synthesis algorithms allowing to compute the local controllers. We explain how we can ensure the termination of this control algorithm by using abstract interpretation techniques, to overapproximate queue contents by regular languages. An implementation of our algorithms provides an empirical evaluation of our method.
Type de document :
Communication dans un congrès
IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. IEEE, pp.1803-1810, 2011
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00627574
Contributeur : Hervé Marchand <>
Soumis le : mardi 24 janvier 2012 - 09:38:09
Dernière modification le : mercredi 11 avril 2018 - 01:53:53
Document(s) archivé(s) le : mercredi 25 avril 2012 - 02:20:33

Fichier

cdc2011.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00627574, version 1

Collections

INRIA | CEA | DRT | LIST

Citation

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Synthesis of Communicating Controllers for Distributed Systems. IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. IEEE, pp.1803-1810, 2011. 〈inria-00627574〉

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

88