Decentralized Control of Infinite Systems

Abstract : We propose algorithms for the synthesis of decentralized state-feedback controllers with partial observation of infinite state systems, which are modeled by Symbolic Transition Systems. We first consider the computation of safe controllers ensuring the avoidance of a set of forbidden states and then extend this result to the deadlock free case. The termination of the algorithms solving these problems is ensured by the use of abstract interpretation techniques, but at the price of overapproximations, in particular, in the computation of the states which must be avoided. We then extend our algorithms to the case where the system to be controlled is given by a collection of subsystems (modules). This structure is exploited to locally compute a controller for each module. Our tool SMACS gives an empirical evaluation of our methods by showing their feasibility, usability and efficiency.
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.359-393. 〈http://www.springerlink.com/content/8058tx734ng6n575/〉. 〈10.1007/s10626-011-0106-y〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00594665
Contributeur : Hervé Marchand <>
Soumis le : vendredi 20 mai 2011 - 15:06:08
Dernière modification le : mercredi 11 avril 2018 - 01:59:49
Document(s) archivé(s) le : vendredi 9 novembre 2012 - 11:50:22

Fichier

JDES-decentralized-modular.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Decentralized Control of Infinite Systems. Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.359-393. 〈http://www.springerlink.com/content/8058tx734ng6n575/〉. 〈10.1007/s10626-011-0106-y〉. 〈inria-00594665〉

Partager

Métriques

Consultations de la notice

133

Téléchargements de fichiers

92