Skip to main content

Fully Automated Stability Verification for Piecewise Affine Systems

  • Conference paper
Hybrid Systems: Computation and Control (HSCC 2007)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4416))

Included in the following conference series:

Abstract

One of the most desired properties of a closed-loop control system is stability, as a stable loop is inherently resistant to outside disturbances. Of particular interest is the notion of asymptotic stability. An asymptotically stable system will always converge towards an equilibrium state, once the disturbances have ceased. For hybrid systems, however, there is no known method for proving asymptotic stability directly from the system model. Instead, a promising approach is the use of Lyapunov functions, which can be utilized to show stability indirectly. A Lyapunov function is a formalization of an abstract “energy function” of the system. If the “energy” of the system monotonically decreases over time, converging towards zero in the designated equilibrium state, then a system is asymptotically stable. The existence of such a Lyapunov function proves asymptotic stability, but finding such a function for a hybrid system is not a simple task.

This work was partly supported by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR 14 AVACS).

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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.

Similar content being viewed by others

References

  1. Johansson, M., Rantzer, A.: Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control 43 (1998)

    Google Scholar 

  2. Pettersson, S.: Analysis and Design of Hybrid Systems. PhD thesis, Chalmers University of Technology, Gothenburg (1999)

    Google Scholar 

  3. Feng, G.: Stability analysis of piecewise discrete-time linear systems. IEEE Transactions on Automatic Control 47(7), 1108–1112 (2002)

    Article  Google Scholar 

  4. Boyd, S., et al.: Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia (1994)

    MATH  Google Scholar 

  5. Borchers, B.: CSDP, a C library for semidefinite programming. Optimization Methods and Software 10, 613–623 (1999)

    Article  MathSciNet  Google Scholar 

  6. GLPK: GNU Linear Programming Kit – Reference Manual (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Alberto Bemporad Antonio Bicchi Giorgio Buttazzo

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Oehlerking, J., Burchardt, H., Theel, O. (2007). Fully Automated Stability Verification for Piecewise Affine Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds) Hybrid Systems: Computation and Control. HSCC 2007. Lecture Notes in Computer Science, vol 4416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71493-4_74

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-71493-4_74

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-71493-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics