Fully Automated Stability Verification for Piecewise Affine Systems

  • Jens Oehlerking
  • Henning Burchardt
  • Oliver Theel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4416)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Johansson, M., Rantzer, A.: Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control 43 (1998)Google Scholar
  2. 2.
    Pettersson, S.: Analysis and Design of Hybrid Systems. PhD thesis, Chalmers University of Technology, Gothenburg (1999)Google Scholar
  3. 3.
    Feng, G.: Stability analysis of piecewise discrete-time linear systems. IEEE Transactions on Automatic Control 47(7), 1108–1112 (2002)CrossRefGoogle Scholar
  4. 4.
    Boyd, S., et al.: Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia (1994)MATHGoogle Scholar
  5. 5.
    Borchers, B.: CSDP, a C library for semidefinite programming. Optimization Methods and Software 10, 613–623 (1999)CrossRefMathSciNetGoogle Scholar
  6. 6.
    GLPK: GNU Linear Programming Kit – Reference Manual (2005)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Jens Oehlerking
    • 1
  • Henning Burchardt
    • 1
  • Oliver Theel
    • 1
  1. 1.Department of Computing Science, University of OldenburgGermany

Personalised recommendations