Abstract
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 electonics. 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abate, A., Tiwari, A., Sastry, S.: Box invariance in biologically-inspired dynamical systems. Automatica 45(7), 1601–1610 (2009)
Beccuti, A.G., Papafotiou, G., Morari, M.: Optimal control of the boost dc-dc converter. In: Proc. 44th IEEE Conference on Decision and Control European Control Conference (CDC-ECC 2005), pp. 4457–4462 (December 2005)
Buisson, J., Richard, P.-Y., Cormerais, H.: On the stabilisation of switching electrical power converters. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 184–197. Springer, Heidelberg (2005)
Ding, J., Li, E., Huang, H., Tomlin, C.J.: Reachability-based synthesis of feedback policies for motion planning under bounded disturbances. In: IEEE International Conference on Robotics and Automation (ICRA 2011), pp. 2160–2165 (2011)
Feld, G., Fribourg, L., Labrousse, D., Revol, B., Soulat, R.: Correct by design control of 5-level and 7-level converters. Research Report LSV-12-25, LSV, ENS Cachan, France (December 2012)
Flieller, D., Riedinger, P., Louis, J.-P.: Computation and stability of limit cycles in hybrid systems. Nonlinear Analysis 64(2), 352–367 (2006)
Fribourg, L., Soulat, R.: Finite controlled invariants for sampled switched systems. Research Report LSV-13-09, Laboratoire Spécification et Vérification, ENS Cachan, France, 27 pages (April 2013)
Girard, A.: Low-complexity switching controllers for safety using symbolic models. In: Heemels, M., De Schutter, B., Lazar, M. (eds.) 4th IFAC conference on Analysis and Design of Hybrid Systems, Eindhoven, Pays-Bas (June 2012)
Gonçalves, J.M.: Region of stability for limit cycles of piecewise linear systems. In: IEEE Conference on Decision and Control (2003)
Girard, A., Pola, G., Tabuada, P.: Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Trans. on Automatic Control 55, 116–126 (2010)
Hiskens, I.A.: Stability of limit cycles in hybrid systems. In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6. IEEE Computer Society (2001)
Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis: with examples in parameter and state estimation. In: Robust Control and Robotics. Springer (2001)
Kühn, W.: Zonotope dynamics in numerical quality control. In: Mathematical Visualization, pp. 125–134 (1998)
OCaml Web page, http://caml.inria.fr/ocaml/index.en.html
Octave Web page, http://www.gnu.org/software/octave/
PLECS Web page, http://www.plexim.com
PPL Web page, http://bugseng.com/products/ppl/
Rubensson, M., Rubensson, M., Lennartson, B.: Stability of limit cycles in hybrid systems using discrete-time lyapunov techniques. In: Proceedings of the 39th IEEE Conference on Decision and Control (2000)
Sanders, S.R.: On limit cycles and the describing function method in periodically switched circuits. IEEE Trans. Circuits and Systems 40(9), 564–572 (1993)
Senesky, M., Eirea, G., Koo, T.J.: Hybrid modelling and control of power electronics. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 450–465. Springer, Heidelberg (2003)
Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach, 1st edn. Springer Publishing Company, Incorporated (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fribourg, L., Soulat, R. (2013). Stability Controllers for Sampled Switched Systems. In: Abdulla, P.A., Potapov, I. (eds) Reachability Problems. RP 2013. Lecture Notes in Computer Science, vol 8169. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41036-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-41036-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41035-2
Online ISBN: 978-3-642-41036-9
eBook Packages: Computer ScienceComputer Science (R0)