Abstract
This paper considers large discrete-time linear systems obtained from discretized partial differential equations, and 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 on 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.
Similar content being viewed by others
References
Alessandri A, Baglietto M, Battistelli G (2007) Luenberger observers for switching discrete-time linear systems. Int J Control 80(12):1931–1943
Alessandri A, Coletta P (2001) Design of luenberger observers for a class of hybrid linear systems. In: Di Benedetto MD, Sangiovanni-Vincentelli A (eds) Hybrid systems: computation and control. Springer, Heidelberg, pp 7–18
Antoulas A, Sorensen DC (2001) Approximation of large-scale dynamical systems: an overview. Int J Appl Numer Math 11(5):1093–1121
Antoulas A, Sorensen DC, Gugercin S (2000) A survey of model reduction methods for large-scale systems. Contemp Math 280:193–219
Azam M, Singh SN, Iyer A, Kakad YP (1994) Nonlinear rotational maneuver and vibration damping of nasa scole system. Acta Astronaut 32(3):211–220
Balde M, Jouan P (2011) Geometry of the limit sets of linear switched systems. SIAM J Control Optim 49(3):1048–1063
Benner P, Li J-R, Penzl T (2008) Numerical solution of large-scale lyapunov equations, riccati equations, and linear-quadratic optimal control problems. Numer Linear Algebra Appl 15(9):755–777
Benner P, Schneider A (2010) Balanced truncation model order reduction for lti systems with many inputs or outputs. In: Proceedings of the 19th international symposium on mathematical theory of networks and systems–MTNS, vol 5
Blanchini F (1999) Set invariance in control. Automatica 35(11):1747–1767
Chinesta F, Ladeveze P, Cueto E (2011) A short review on model order reduction based on proper generalized decomposition. Arch Comput Methods Eng 18(4):395–404
Clark W (2000) Vibration control with state-switched piezoelectric materials. J Intell Mater Syst Struct 11(4):263–271
Cordier L, Bergmann M (2008) Proper Orthogonal Decomposition: an overview. In: Lecture series 2002-04, 2003-03 and 2008-01 on post-processing of experimental and numerical data, Von Karman Institute for Fluid Dynamics, 2008. VKI
Formosa F Contrôle actif des vibrations des structures type poutre. Private report
Fribourg L, Kühne U, Soulat R (2014) Finite controlled invariants for sampled switched systems. Form Methods Syst Des 45(3):303–329
Fribourg L, Soulat R (2013) Control of switching systems by invariance analysis: application to power electronics. Wiley, London
Fribourg L, Soulat R (September 2013) Stability controllers for sampled switched systems. In: Abdulla PA, Potapov I (eds) Proceedings of the 7th workshop on reachability problems in computational models (RP’13), volume 8169 of Lecture Notes in Computer Science. Springer, Uppsala, Sweden, pp 135–145
Girard A (2010) Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. In: Proceedings of the 13th ACM international conference on hybrid systems: computation and control. ACM, pp. 111–120
Girard A, Pola G, Tabuada P (2010) Approximately bisimilar symbolic models for incrementally stable. IEEE Trans Autom Control 55(1):116–126
Gunawan R, Russell EL, Braatz RD (2001) Comparison of theoretical and computational characteristics of dimensionality reduction methods for large-scale uncertain systems. J Process Control 11(5):543–552
Hagood N W, von Flotow A (1991) Damping of structural vibrations with piezoelectric materials and passive electrical networks. J Sound Vib 146:243–268
Han Z, Krogh BH (2004) Reachability analysis of hybrid systems using reduced-order models. In: American control conference, IEEE, pp. 1183–1189
Han Z, Krogh BH (2006) Reachability analysis of large-scale affine systems using low-dimensional polytopes. In: Hespanha J, Tiwari A (eds) Hybrid systems: computation and control, volume 3927 of Lecture Notes in Computer Science. Springer, Berlin, pp 287–301
Herceg M, Kvasnica M, Jones CN, Morari M (2013) Multi-Parametric Toolbox 3.0. In: Proceedings of the European control conference, Zürich, Switzerland, pp 502–510. 17–19 July 2013
Ji H, Qiu J, Nie H, Cheng L (2014) Semi-active vibration control of an aircraft panel using synchronized switch damping method. Int J Appl Electromagn Mech 46(4):879–893
Kerschen G, Golinval J-C, Vakakis A, Bergman L (2005) The method of proper orthogonal decomposition for dynamical characterization and order reduction of mechanical systems: an overview. Nonlinear Dyn 41(1–3):147–169
Le Coënt A, de Vusyt F, Rey C, Chamoin L, Fribourg L (2015) Guaranteed control of switched control systems using model order reduction and state-space bisection. In: Etienne A, Frehse G (eds) 2nd International Workshop on Synthesis of Complex Parameters (SynCoP’15), OpenAccess Series in Informatics (OASIcs), vol 44. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp 33–47
Mazo M Jr, Davitian A, Tabuada P (2010) Pessoa: a tool for embedded controller synthesis. In: Touili T, Cook B, Jackson P (eds) Computer aided verification, volume 6174 of Lecture Notes in Computer Science. Springer, Berlin, pp 566–569
Moheimani SO R, Fleming AJ (2006) Piezoelectric transducers for vibration control and damping. Springer, Berlin
Moore BC (1981) Principal component analysis in linear systems: controllability, observability and model reduction. IEEE Trans Autom Control 26(1):17–32
Mouelhi S, Girard A, Goessler G (April 2013) CoSyMA: a tool for controller synthesis using multi-scale abstractions. In: HSCC’13—16th international conference on hybrid systems: computation and control. ACM, Philadelphie, pp 83–88
Nong R, Sorensen DC (2009). A parameter free adi-like method for the numerical solution of large scale lyapunov equations
Ramaratnam A, Jalili N, Dawson DM (2004) Semi-active vibration control using piezoelectric-based switched stiffness. In: Proceedings of the american control conference 2004, IEEE, vol 6, pp 5461–5466
Riedinger P, Sigalotti M, Daafouz J (2010) On the algebraic characterization of invariant sets of switched linear systems. Autom J IFAC 46(6):1047–1052
Roweis ST, Saul LK (2000) Nonlinear dimensionality reduction by locally linear embedding. Science 290(5500):2323–2326
Salah AAH, Garna T, Ragot J, Messaoud H (2015) Synthesis of a robust controller with reduced dimension by the loop shaping design procedure and decomposition based on laguerre functions. Trans Inst Meas Control, pp 0142331215583101
Serres U, Vivalda J-C, Riedinger P (2011) On the convergence of linear switched systems. IEEE Trans Autom Control 56(2):320–332
Shahruz SM (1998) Boundary control of the axially moving kirchhoff string. Automatica 34(10):1273–1277
Tabuada P (2009) Verification and control of hybrid systems: a symbolic approach. Springer, Berlin
Willcox K, Peraire J (2002) Balanced model reduction via the proper orthogonal decomposition. AIAA J, 40:2323–2330
Zeitz M (1987) The extended luenberger observer for nonlinear systems. Syst Control Lett 9(2):149–156
Acknowledgments
This work is supported by Institut Farman through the project SWITCHDESIGN, by the French National Research Agency through the “iCODE Institute project” funded by the IDEX Paris-Saclay, ANR-11-IDEX-0003-02, and by the Labex DigiCosme ANR-11-LABEX-0045-DIGICOSME.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Le Coënt, A., De Vuyst, F., Rey, C. et al. Control of mechanical systems using set based methods. Int. J. Dynam. Control 5, 496–512 (2017). https://doi.org/10.1007/s40435-016-0245-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40435-016-0245-y