Skip to main content
SpringerLink
Log in

Analysis of Discrete-Time PWA Systems with Logic States

  • Conference paper
  • First Online:
Hybrid Systems: Computation and Control (HSCC 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2289))

Included in the following conference series:

Abstract

In this paper we consider discrete-time piecewise afine hybrid systems with Boolean inputs, outputs and states and we show that they can be represented in a canonical form where the logic variables influence the switching between different submodels but not the continuous-valued dynamics. We exploit this representation for studying Lagrange stability and developing performance analysis procedures based on linear matrix inequalities. Moreover, by using arguments from dissipativity theory for nonlinear systems, we generalize our approach to solve the H∞ analysis problem.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Bemporad, F. Borrelli, and M. Morari. Optimal controllers for hybrid systems: Stability and explicit form. Proc. 39th Conference on Decision and Control, December 2000.

    Google Scholar 

  2. A. Bemporad, G. Ferrari-Trecate, and M. Morari. Observability and Controllability of Piecewise Afine and Hybrid Systems. IEEE Transactions on Automatic Control, 45(10):1864–1876, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  3. A. Bemporad and M. Morari. Control of Systems Integrating Logic, Dynamics, and Constraints. Automatica, 35(3):407–427, March 1999.

    Article  MATH  MathSciNet  Google Scholar 

  4. A. Bemporad, M. Morari, V. Dua, and E. N. Pistikopoulos. The explicit linear quadratic regulator for constrained systems. In American Control Conference, Chicago, IL, June 2000.

    Google Scholar 

  5. A. Bemporad, F.D. Torrisi, and M. Morari. Optimization-Based Verification and Stability Characterization of Piecewise Afine and Hybrid Systems. In Springer Verlag Lecture Notes in Computer Science, editor, Proceedings 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000.

    Google Scholar 

  6. M.S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Autom. Control, 43(4):475–482, April 1998.

    Article  MATH  MathSciNet  Google Scholar 

  7. C. I. Byrnes and W. Lin. Passivity and absolute stabilization of a class of discretetime nonlinear systems. Automatica, 31(2):263–268, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  8. F. A. Cuzzola and M. Morari. A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Afine and Hybrid Systems. In A. Sangiovanni-Vincentelli and M. Di Benedetto, editors, Hybrid Systems: Computation and Control, Proceedings 4th International Workshop on Hybrid Systems, Lecture Notes in Computer Science 2034, pages 189–203. Springer-Verlag, 2001.

    Google Scholar 

  9. G. Ferrari-Trecate, F. A. Cuzzola, D. Mignone, and M. Morari. Analysis of Discrete-Time Piecewise Afine and Hybrid Systems. Technical Report AUT01-16, Automatic Control Laboratory, ETH Zurich, 2001. Provisionally accepted for the publication in Automatica.

    Google Scholar 

  10. G. Ferrari-Trecate, F. A. Cuzzola, and M. Morari. Analysis of Discrete-Time PWA Systems with Boolean Inputs, Outputs and States. Technical Report AUT01-21, Automatic Control Laboratory, ETH Zurich, 2001.

    Google Scholar 

  11. P. Ghainet, P. Apkarian, and M. Chilali. Afine parameter-dependent Lyapunov functions and real parametric uncertainty. IEEE Transactions on Automatic Control, 41(3):436–442, 1996.

    Article  Google Scholar 

  12. A. Hassibi, S. P. Boyd, and J. P. How. A Class of Lyapunov Functionals for Analyzing Hybrid Dynamical Systems. In Proc. of the American Control Conference, pages 2455–2460, 1999.

    Google Scholar 

  13. W.P.M.H. Heemels, B. De Schutter, and A. Bemporad. On the Equivalence of Classes of Hybrid Systems: Mixed Logical Dynamical and Complementarity Systems. Automatica, 37(7):1085–1091, 2000.

    Article  Google Scholar 

  14. M. Johannson and A. Rantzer. Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Trans. Autom. Control, 43(4):555–559, 1998.

    Article  Google Scholar 

  15. T. A. Johansen. Computation of Lyapunov functions for smooth nonlinear systems using convex optimisation. Automatica, 36(11):1617–1626, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  16. W. Lin and C. I. Byrnes. H∞ Control of Discrete-Time Nonlinear Systems. IEEE Transactions on Automatic Control, 41(4):494–510, 1996.

    Article  MATH  MathSciNet  Google Scholar 

  17. A. Pettersson and B. Lennartson. Exponential Stability of Hybrid Systems Using Piecewise Quadratic Lyapunov Functions Resulting in LMIs. In IFAC, 14th Triennial World Congress, Beijing, P.R. China, 1999.

    Google Scholar 

  18. C. W. Scherer, P. Gahinet, and M. Chilali. Multi-Objective Output-Feedback Control via LMI Optimization. IEEE Transactions on Automatic Control, 42(7):896–911, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  19. H. D. Tuan, E. Ono, P. Apkarian, and S. Hosoe. Nonlinear H∞ Control for an Integrated Suspension System via Parametrized Linear Matrix Inequality Characterizations. IEEE Transactions on Control System Technology, 9(1):175–185, 2001.

    Article  Google Scholar 

  20. A. J. Van der Schaft. The H∞ control problem: A state space approach. System & Control Letters, 16:1–8, 1991.

    Article  MATH  Google Scholar 

  21. A. J. Van der Schaft. L2-gain analysis of nonlinear systems and nonlinear H∞ control. IEEE Transactions on Automatic Control, 37:770–784, 1992.

    Article  MATH  Google Scholar 

  22. J. C. Willems. Dissipative dynamic systems. Arch. Rational Mechanics Analysis, 45:321–393, 1972.

    Article  MATH  MathSciNet  Google Scholar 

  23. V. A. Yakubovich. S-Procedure in nonlinear control theory. Vestnik Leninggradskogo Universiteta, Ser. Matematika, pages 62–77, 1971.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Automatic Control Laboratory, ETH - Swiss Federal Institute of Technology, ETL, CH-8092, Zürich, Switzerland

    Giancarlo Ferrari-Trecate, Francesco A. Cuzzola & Manfred Morari

Authors
  1. Giancarlo Ferrari-Trecate
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesco A. Cuzzola
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Manfred Morari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Aeronautics and Astronautics, Stanford University, 250 Durand Building MC4035, 94305-4035, Stanford, CA, USA

    Claire J. Tomlin

  2. Department of Computer Science, University of British Columbia, 201-2366 Main Mall, V6T1Z4, Vancouver BC, Canada

    Mark R. Greenstreet

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ferrari-Trecate, G., Cuzzola, F.A., Morari, M. (2002). Analysis of Discrete-Time PWA Systems with Logic States. In: Tomlin, C.J., Greenstreet, M.R. (eds) Hybrid Systems: Computation and Control. HSCC 2002. Lecture Notes in Computer Science, vol 2289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45873-5_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-45873-5_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43321-7

  • Online ISBN: 978-3-540-45873-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation