Finite controlled invariants for sampled switched systems

We consider in this paper switched systems, a class of hybrid systems recently used with success in various domains such as automotive industry and power electronics. We propose a state-dependent control strategy which makes the trajectories of the analyzed system converge to finite cyclic sequences of points. Our method relies on a technique of decomposition of the state space into local regions where the control is uniform. We have implemented the procedure using zonotopes, and applied it successfully to several examples of the literature and industrial case studies in power electronics.

[1]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[2]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[3]  Wolfgang Kühn.  Zonotope Dynamics in Numerical Quality Control , 1997, VisMath.

[4]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[5]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[6]  A. Pnueli,et al.  Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.

[7]  Ian A. Hiskens,et al.  Stability of limit cycles in hybrid systems , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[8]  Matthew Senesky,et al.  Hybrid Modelling and Control of Power Electronics , 2003, HSCC.

[9]  A.G. Beccuti,et al.  Optimal Control of the Boost dc-dc Converter , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[10]  Jean Buisson,et al.  On the Stabilisation of Switching Electrical Power Converters , 2005, HSCC.

[11]  Gunther Reissig.  Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems , 2009, HSCC.

[12]  Paulo Tabuada,et al.  Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems , 2008, IEEE Transactions on Automatic Control.

[13]  Claire J. Tomlin,et al.  Reachability-based synthesis of feedback policies for motion planning under bounded disturbances , 2011, 2011 IEEE International Conference on Robotics and Automation.

[14]  Antoine Girard,et al.  Safety controller synthesis for switched systems using multi-scale symbolic models , 2011, IEEE Conference on Decision and Control and European Control Conference.

[15]  Antoine Girard,et al.  Low-Complexity Switching Controllers for Safety using Symbolic Models , 2012, ADHS.

[16]  Rupak Majumdar,et al.  Approximately Bisimilar Symbolic Models for Digital Control Systems , 2012, CAV.

[17]  Antoine Girard,et al.  Mode sequences as symbolic states in abstractions of incrementally stable switched systems , 2013, 52nd IEEE Conference on Decision and Control.