Distributed Synthesis of State-Dependent Switching Control - Archive ouverte HAL
Nothing Special   »   [go: up one dir, main page]

Article Dans Une Revue Lecture Notes in Computer Science Année : 2016
Distributed Synthesis of State-Dependent Switching Control
1 CMLA - Centre de Mathématiques et de Leurs Applications (ENS Cachan CNRS, PRES UniverSud, 61 Avenue du Pr´esident Wilson 94230 Cachan - France)
"> CMLA - Centre de Mathématiques et de Leurs Applications
2 LSV - Laboratoire Spécification et Vérification [Cachan] (Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX - France)
"> LSV - Laboratoire Spécification et Vérification [Cachan]
3 MATHERIALS - MATHematics for MatERIALS (Cité Descartes, 8 Av. Blaise Pascal 6 et, 77420 Champs-sur-Marne - France)
"> MATHERIALS - MATHematics for MatERIALS
4 LMT - Laboratoire de Mécanique et Technologie (Bât. Léonard de Vinci 61 Av du président Wilson 94235 CACHAN CEDEX - France)
"> LMT - Laboratoire de Mécanique et Technologie

Résumé

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.
Fichier principal
Vignette du fichier
cassting.pdf (965.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01295738 , version 1 (31-03-2016)
Identifiants

Citer

Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian de Vuyst, Ludovic Chamoin. Distributed Synthesis of State-Dependent Switching Control. Lecture Notes in Computer Science, 2016, Reachability Problems (RP 2016), 9899, pp.119-133. ⟨10.1007/978-3-319-45994-3_9⟩. ⟨hal-01295738⟩
450 Consultations
123 Téléchargements

Altmetric

Partager

More