Henning Burchardt

  • Citations Per Year
Learn More
Stability is a very important property of feedback control systems. For linear feedback control systems, methods for proving or disproving system stability are well known. They basically amount to eigenvalue computations. For more general classes of feedback control systems, however, these methods are not applicable. A very general method is based on(More)
Stability is an important system property. In this paper we examine the steps toward fully automated stability verification for a class of discrete-time hybrid systems. These systems are hybrid in the sense that they can have several modes with possibly different discrete-time dynamics. For systems with affine discrete-time dynamics in each mode, we employ(More)
  • 1