TY  - INPR
A1  - Geiselhart, Roman
A1  - Gielen, Rob H.
A1  - Lazar, Mircea
A1  - Wirth, Fabian R.
T1  - An Alternative Converse Lyapunov Theorem for Discrete-Time Systems
N2  - This paper presents an alternative approach for obtaining a converse Lyapunov theorem for discrete–time systems. The proposed approach is constructive, as it provides an explicit Lyapunov function. The developed converse theorem establishes existence of global Lyapunov functions for globally exponentially stable (GES) systems and semi–global practical Lyapunov functions for globally asymptotically stable systems. Furthermore, for specific classes of sys- tems, the developed converse theorem can be used to establish non–conservatism of a particular type of Lyapunov functions. Most notably, a proof that conewise linear Lyapunov functions are non–conservative for GES conewise linear systems is given and, as a by–product, tractable construction of polyhedral Lyapunov functions for linear systems is attained.
KW  - Ljapunov-Funktion
KW  - stability analysis
KW  - conewise linear systems
KW  - discrete-time systems
KW  - converse Lyapunov theorems
Y1  - 2013
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-78512
ER  -