Changing supply rates for input-output to state stable discrete-time nonlinear systems with applications
We present results on changing supply rates for input-output to state stable discrete-time nonlinear systems. Our results can be used to combine two Lyapunov functions, none of which can be used to verify that the system has a certain property, into a new composite Lyapunov function from which the p...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
2003-05.
|
Subjects: | |
Online Access: | Get fulltext |
LEADER | 01494 am a22001333u 4500 | ||
---|---|---|---|
001 | 203209 | ||
042 | |a dc | ||
100 | 1 | 0 | |a Laila, Dina Shona |e author |
700 | 1 | 0 | |a Nesic, Dragan |e author |
245 | 0 | 0 | |a Changing supply rates for input-output to state stable discrete-time nonlinear systems with applications |
260 | |c 2003-05. | ||
856 | |z Get fulltext |u https://eprints.soton.ac.uk/203209/1/dsldn_auto_2003.pdf | ||
520 | |a We present results on changing supply rates for input-output to state stable discrete-time nonlinear systems. Our results can be used to combine two Lyapunov functions, none of which can be used to verify that the system has a certain property, into a new composite Lyapunov function from which the property of interest can be concluded. The results are stated for parameterized families of discrete-time systems that naturally arise when an approximate discrete-time model is used to design a controller for a sampled-data system. We present several applications of our results: (i) a LaSalle criterion for input to state stability (ISS) of discrete-time systems; (ii) constructing ISS Lyapunov functions for time-varying discrete-time cascaded systems; (iii) testing ISS of discrete-time systems using positive semidefinite Lyapunov functions; (iv) observer-based input to state stabilization of discrete-time systems. Our results are exploited in a case study of a two-link manipulator and some simulation results that illustrate advantages of our approach are presented. | ||
655 | 7 | |a Article |