Distributed Synthesis of State-Dependent Switching Control

Abstract : We present a correct-by-design method of state-dependent control synthesis for linear discrete-time switching systems. Given an objective region R of the state space, the method builds a capture set S and a control which steers any element of S into R. The method works by iterated backward reachability from R. More precisely, S is given as a parametric extension of R, and the maximum value of the parameter is solved by linear programming. The method can also be used to synthesize a stability control which maintains indefinitely within R all the states starting at R. We explain how the synthesis method can be performed in a distributed manner. The method has been implemented and successfully applied to the synthesis of a distributed control of a concrete floor heating system with 11 rooms and 2^11 = 2048 switching modes.
Type de document :
Article dans une revue
Lecture Notes in Computer Sciences , Springer, 2016, Reachability Problems (RP 2016), 9899, pp.119-133. 〈10.1007/978-3-319-45994-3_9〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01295738
Contributeur : Adrien Le Coënt <>
Soumis le : jeudi 31 mars 2016 - 15:40:02
Dernière modification le : samedi 23 mars 2019 - 01:28:56
Document(s) archivé(s) le : lundi 14 novembre 2016 - 11:48:58

Fichiers

cassting.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin. Distributed Synthesis of State-Dependent Switching Control. Lecture Notes in Computer Sciences , Springer, 2016, Reachability Problems (RP 2016), 9899, pp.119-133. 〈10.1007/978-3-319-45994-3_9〉. 〈hal-01295738〉

Partager

Métriques

Consultations de la notice

609

Téléchargements de fichiers

147