Guaranteed control of switched control systems using model order reduction and state-space bisection. (English) Zbl 1432.93043

André, Étienne (ed.) et al., 2nd international workshop on synthesis of complex parameters, SynCoP’15, April 11, 2015, London, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 44, 33-47 (2015).
Summary: 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.
For the entire collection see [Zbl 1392.68009].


93B11 System structure simplification
93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
93B03 Attainable sets, reachability
93D05 Lyapunov and other classical stabilities (Lagrange, Poisson, \(L^p, l^p\), etc.) in control theory


Full Text: DOI


[2] A. Antoulas & D. C. Sorensen (2001): Approximation of large-scale dynamical systems: an overview. International Journal of Applied Mathematics and Computer Science 11(5), pp. 1093-1121. · Zbl 1024.93008
[3] A. Antoulas, D. C. Sorensen & S. Gugercin (2000): A survey of model reduction methods for large-scale systems. Contemporary Mathematics 280, pp. 193-219. · Zbl 1048.93014
[4] E. Asarin, O. Bournez, D. Thao, O. Maler & A. Pnueli (2000): Effective synthesis of switching controllers for linear systems. Proc. of the IEEE 88(7), pp. 1011-1025.
[5] P. Benner, J.-R. Li & T. Penzl (2008): Numerical solution of large-scale Lyapunov equa- tions, Riccati equations, and linear-quadratic optimal control problems. Numerical Linear Algebra with Applications15(9), pp. 755-777. · Zbl 1212.65245
[6] P. Benner & A. Schneider (2010): 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, pp. 1971-1974.
[7] F. Blanchini (1999): Set invariance in control. Automatica 35(11), pp. 1747 - 1767. · Zbl 0935.93005
[8] L. Fribourg, U. Kühne & R. Soulat (2014): Finite Controlled Invariants for Sampled Switched Systems. Formal Methods in System Design 45(3), pp. 303-329. · Zbl 1303.93121
[9] L. Fribourg & R. Soulat (2013): Control of Switching Systems by Invariance Analysis: Application to Power Electronics. Wiley-ISTE. 144 pages.
[10] L. Fribourg & R. Soulat (2013): Stability Controllers for Sampled Switched Systems. In: Proc. of the 7th Workshop on Reachability Problems in Computational Models (RP), Lecture Notes in Computer Science8169, Springer, pp. 135-145. · Zbl 1405.93124
[11] B. P. Gibbs (2011): Advanced Kalman Filtering, Least-Squares and Modeling: A Practical Handbook. John Wiley & Sons.
[12] A. Girard, G. Pola & P. Tabuada (2010): Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. Automatic Control, IEEE Transactions on 55(1), pp. 116-126. · Zbl 1368.93413
[13] Antoine Girard (2005): Reachability of Uncertain Linear Systems Using Zonotopes. In: Proc. of the 8th International Workshop on Hybrid Systems: Computation and Control (HSCC), Lecture Notes in Computer Science 3414, Springer, pp. 291-305. · Zbl 1078.93005
[14] Antoine Girard (2010): 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), ACM, pp. 111-120. · Zbl 1361.68147
[15] A. Han & B.H. Krogh (2006): Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. In: Proc. the 9th International Workshop on Hybrid Systems:
[16] Z. Han & B. H. Krogh (2004): Reachability analysis of hybrid systems using reduced-order models. In: American Control Conference, IEEE, pp. 1183-1189.
[17] M. Herceg, M. Kvasnica, C.N. Jones & M. Morari (2013): Multi-Parametric Toolbox 3.0. In: Proc. of the European Control Conference, Zürich, Switzerland, pp. 502-510.
[18] M. Mazo Jr., A. Davitian & P. Tabuada (2010): PESSOA: A Tool for Embedded Controller Synthesis. In: Computer Aided Verification, Lecture Notes in Computer Science 6174, Springer, pp. 566-569.
[19] B. C. Moore (1981): Principal component analysis in linear systems: Controllability, ob- servability and model reduction. IEEE Transaction on Automatic Control 26(1).
[20] S. Mouelhi, A. Girard & G. Goessler (2013): CoSyMA: a tool for controller synthesis using multi-scale abstractions. In: Proc. of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC), ACM, pp. 83-88.
[21] Octave Web Page. http://www.gnu.org/software/octave/.
[22] B. Picasso & A. Bicchi (2007): On the Stabilization of Linear Systems Under Assigned I/O Quantization. IEEE Trans. Automat. Contr. 52(10), pp. 1994-2000.
[23] K. Reif, S. Günther, E. Yaz Sr. & R. Unbehauen (1999): Stochastic stability of the discrete- time extended Kalman filter. IEEE Transactions on Automatic Control 44(4), pp. 714-728. · Zbl 0967.93090
[24] Paulo Tabuada (2009): Verification and Control of Hybrid Systems: A Symbolic Approach. Springer. · Zbl 1195.93001
[25] D. Tong, W. Zhou, A. Dai, H. Wang, X. Mou & Y. Xu (2014): Hmodel reduction for the distillation column linear system. Circuits Syst Signal Process 33, pp. 3287-3297. · Zbl 1341.93018
[26] Computation and Control (HSCC), Lecture Notes in Computer Science 3927, Springer, pp. 287-301.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.