Guaranteed control of switched control systems using model order reduction and state-space bisection

Authors Adrien Le Coënt, Florian de Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg

Thumbnail PDF


  • Filesize: 0.85 MB
  • 15 pages

Document Identifiers

Author Details

Adrien Le Coënt
Florian de Vuyst
Christian Rey
Ludovic Chamoin
Laurent Fribourg

Cite AsGet BibTex

Adrien Le Coënt, Florian de Vuyst, Christian Rey, Ludovic Chamoin, and Laurent Fribourg. Guaranteed control of switched control systems using model order reduction and state-space bisection. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 32-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)


This paper considers discrete-time linear systems controlled by a quantized law, i.e., a piecewise constant time function taking a finite set of values. We show how to generate the control by, first, applying model reduction to the original system, then using a "state-space bisection" method for synthesizing a control at the reduced-order level, and finally computing an upper bound to the deviations between the controlled output trajectories of the reduced-order model and those of the original model. The effectiveness of our approach is illustrated on several examples of the literature.
  • Model Order Reduction
  • guaranteed control
  • stability control
  • reachability control
  • error bounding


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. M. Althoff, O. Stursberg, and M. Buss. Reachability analysis of linear systems with uncertain parameters and inputs. In Proc. of the 46th IEEE Conference on Decision and Control, pages 726-732, 2007. Google Scholar
  2. A. Antoulas and D. C. Sorensen. Approximation of large-scale dynamical systems: an overview. International Journal of Applied Mathematics and Computer Science, 11(5):1093-1121, 2001. Google Scholar
  3. A. Antoulas, D. C. Sorensen, and S. Gugercin. A survey of model reduction methods for large-scale systems. Contemporary Mathematics, 280:193-219, 2000. Google Scholar
  4. E. Asarin, O. Bournez, D. Thao, O. Maler, and A. Pnueli. Effective synthesis of switching controllers for linear systems. Proc. of the IEEE, 88(7):1011-1025, July 2000. Google Scholar
  5. P. Benner, J.-R. Li, and T. Penzl. Numerical solution of large-scale lyapunov equations, riccati equations, and linear-quadratic optimal control problems. Numerical Linear Algebra with Applications, 15(9):755-777, 2008. Google Scholar
  6. P. Benner and A. Schneider. Balanced truncation model order reduction for lti systems with many inputs or outputs. In Proc. of the 19th International Symposium on Mathematical Theory of Networks and Systems, pages 1971-1974, 2010. Google Scholar
  7. F. Blanchini. Set invariance in control. Automatica, 35(11):1747 - 1767, 1999. Google Scholar
  8. L. Fribourg, U. Kühne, and R. Soulat. Finite controlled invariants for sampled switched systems. Formal Methods in System Design, 45(3):303-329, December 2014. Google Scholar
  9. L. Fribourg and R. Soulat. Control of Switching Systems by Invariance Analysis: Application to Power Electronics. Wiley-ISTE, July 2013. 144 pages. Google Scholar
  10. L. Fribourg and R. Soulat. Stability controllers for sampled switched systems. In Proc. of the 7th Workshop on Reachability Problems in Computational Models (RP), volume 8169 of Lecture Notes in Computer Science, pages 135-145. Springer, September 2013. Google Scholar
  11. B. P. Gibbs. Advanced Kalman Filtering, Least-Squares and Modeling: A Practical Handbook. John Wiley &Sons, 2011. Google Scholar
  12. A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. Automatic Control, IEEE Transactions on, 55(1):116-126, Jan 2010. Google Scholar
  13. Antoine Girard. Reachability of uncertain linear systems using zonotopes. In Proc. of the 8th International Workshop on Hybrid Systems: Computation and Control (HSCC), volume 3414 of Lecture Notes in Computer Science, pages 291-305. Springer, 2005. Google Scholar
  14. Antoine Girard. Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. In Proc. of the 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pages 111-120. ACM, 2010. Google Scholar
  15. A. Han and B.H. Krogh. Reachability analysis of large-scale affine systems using low-dimensional polytopes. In Proc. the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC), volume 3927 of Lecture Notes in Computer Science, pages 287-301. Springer, 2006. Google Scholar
  16. Z. Han and B. H. Krogh. Reachability analysis of hybrid systems using reduced-order models. In American Control Conference, pages 1183-1189. IEEE, 2004. Google Scholar
  17. M. Herceg, M. Kvasnica, C.N. Jones, and M. Morari. Multi-Parametric Toolbox 3.0. In Proc. of the European Control Conference, pages 502-510, Zürich, Switzerland, July 17-19 2013. Google Scholar
  18. M. Mazo Jr., A. Davitian, and P. Tabuada. Pessoa: A tool for embedded controller synthesis. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pages 566-569. Springer, 2010. Google Scholar
  19. B. C. Moore. Principal component analysis in linear systems: Controllability, observability and model reduction. IEEE Transaction on Automatic Control, 26(1), 1981. Google Scholar
  20. S. Mouelhi, A. Girard, and G. Goessler. CoSyMA: a tool for controller synthesis using multi-scale abstractions. In Proc. of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC), pages 83-88. ACM, April 2013. Google Scholar
  21. Octave Web page. Google Scholar
  22. B. Picasso and A. Bicchi. On the stabilization of linear systems under assigned i/o quantization. IEEE Trans. Automat. Contr., 52(10):1994-2000, 2007. Google Scholar
  23. K. Reif, S. Günther, E. Yaz Sr., and R. Unbehauen. Stochastic stability of the discrete-time extended kalman filter. IEEE Transactions on Automatic Control, 44(4):714-728, 1999. Google Scholar
  24. Paulo Tabuada. Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, 2009. Google Scholar
  25. D. Tong, W. Zhou, A. Dai, H. Wang, X. Mou, and Y. Xu. h_∞ model reduction for the distillation column linear system. Circuits Syst Signal Process, 33:3287-3297, 2014. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail