- Full text PDF available (2)
- This year (0)
- Last 5 years (0)
- Last 10 years (2)
Journals and Conferences
We formulate the problem of estimating the region of attraction using quantified constraints and show how the resulting constraints can be solved using existing software packages. We discuss the advantages of the resulting method in detail.
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)