Distributed synthesis of state-dependent switching control

DOI10.1007/978-3-319-45994-3_9MaRDI QIDQ1708660zbMATH OpenOpenAlexFDO

Authors Laurent Fribourg, Nicolas Markey, Adrien Le Coënt, Florian De Vuyst, L. Chamoin

Publication date 26 March 2018

Full work available at URL https://arxiv.org/abs/1604.01745

Mathematics Subject Classification ID

Linear programming (90C05) Attainable sets, reachability (93B03) Synthesis problems (93B50) Linear systems in control theory (93C05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05)

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.

Recommendations

• Compositional synthesis of state-dependent switching control
• Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
• Formal synthesis of stabilizing controllers for switched systems
• An approach to lumped control synthesis in distributed systems
• Distributed control synthesis using Euler's method

Cited in

(7)

• Compositional synthesis of state-dependent switching control
• On distributed symbolic control of interconnected systems under persistency specifications
• Formal synthesis of stabilizing controllers for switched systems
• An improved algorithm for the control synthesis of nonlinear sampled switched systems
• Assume-guarantee contracts for continuous-time systems
• Distributed control synthesis using Euler's method
• On a class of maximal invariance inducing control strategies for large collections of switched systems

This page was built for publication: Distributed synthesis of state-dependent switching control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1708660)