Skip to main content
Log in

Control of mechanical systems using set based methods

  • Published:
International Journal of Dynamics and Control Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16

Similar content being viewed by others

References

  1. Alessandri A, Baglietto M, Battistelli G (2007) Luenberger observers for switching discrete-time linear systems. Int J Control 80(12):1931–1943

    Article  MathSciNet  MATH  Google Scholar 

  2. 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

  3. Antoulas A, Sorensen DC (2001) Approximation of large-scale dynamical systems: an overview. Int J Appl Numer Math 11(5):1093–1121

    MathSciNet  MATH  Google Scholar 

  4. Antoulas A, Sorensen DC, Gugercin S (2000) A survey of model reduction methods for large-scale systems. Contemp Math 280:193–219

    Article  MathSciNet  MATH  Google Scholar 

  5. 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

    Article  Google Scholar 

  6. Balde M, Jouan P (2011) Geometry of the limit sets of linear switched systems. SIAM J Control Optim 49(3):1048–1063

    Article  MathSciNet  MATH  Google Scholar 

  7. 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

    Article  MathSciNet  MATH  Google Scholar 

  8. 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

  9. Blanchini F (1999) Set invariance in control. Automatica 35(11):1747–1767

    Article  MathSciNet  MATH  Google Scholar 

  10. 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

    Article  Google Scholar 

  11. Clark W (2000) Vibration control with state-switched piezoelectric materials. J Intell Mater Syst Struct 11(4):263–271

    Article  Google Scholar 

  12. 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

  13. Formosa F Contrôle actif des vibrations des structures type poutre. Private report

  14. Fribourg L, Kühne U, Soulat R (2014) Finite controlled invariants for sampled switched systems. Form Methods Syst Des 45(3):303–329

    Article  MATH  Google Scholar 

  15. Fribourg L, Soulat R (2013) Control of switching systems by invariance analysis: application to power electronics. Wiley, London

    Book  MATH  Google Scholar 

  16. 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

  17. 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

  18. Girard A, Pola G, Tabuada P (2010) Approximately bisimilar symbolic models for incrementally stable. IEEE Trans Autom Control 55(1):116–126

    Article  MathSciNet  MATH  Google Scholar 

  19. 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

    Article  Google Scholar 

  20. Hagood N W, von Flotow A (1991) Damping of structural vibrations with piezoelectric materials and passive electrical networks. J Sound Vib 146:243–268

    Article  Google Scholar 

  21. Han Z, Krogh BH (2004) Reachability analysis of hybrid systems using reduced-order models. In: American control conference, IEEE, pp. 1183–1189

  22. 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

  23. 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

  24. 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

    Google Scholar 

  25. 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

    Article  MathSciNet  MATH  Google Scholar 

  26. 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

  27. 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

  28. Moheimani SO R, Fleming AJ (2006) Piezoelectric transducers for vibration control and damping. Springer, Berlin

    MATH  Google Scholar 

  29. Moore BC (1981) Principal component analysis in linear systems: controllability, observability and model reduction. IEEE Trans Autom Control 26(1):17–32

    Article  MathSciNet  MATH  Google Scholar 

  30. 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

  31. Nong R, Sorensen DC (2009). A parameter free adi-like method for the numerical solution of large scale lyapunov equations

  32. 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

  33. 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

    Article  MathSciNet  MATH  Google Scholar 

  34. Roweis ST, Saul LK (2000) Nonlinear dimensionality reduction by locally linear embedding. Science 290(5500):2323–2326

    Article  Google Scholar 

  35. 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

  36. Serres U, Vivalda J-C, Riedinger P (2011) On the convergence of linear switched systems. IEEE Trans Autom Control 56(2):320–332

    Article  MathSciNet  MATH  Google Scholar 

  37. Shahruz SM (1998) Boundary control of the axially moving kirchhoff string. Automatica 34(10):1273–1277

    Article  MATH  Google Scholar 

  38. Tabuada P (2009) Verification and control of hybrid systems: a symbolic approach. Springer, Berlin

    Book  MATH  Google Scholar 

  39. Willcox K, Peraire J (2002) Balanced model reduction via the proper orthogonal decomposition. AIAA J, 40:2323–2330

  40. Zeitz M (1987) The extended luenberger observer for nonlinear systems. Syst Control Lett 9(2):149–156

    Article  MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Adrien Le Coënt.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s40435-016-0245-y

Keywords

Navigation