320 likes | 421 Views
Revision:. What is the definition of K functions? What is the definition of KL functions?. Lecture 8. Stability of time-varying systems. Recommended reading. Khalil Chapter 3 (2 nd edition). Outline. Motivation Tracking problems Stability definitions Stability via KL and K functions
E N D
Revision: What is the definition of K functions? What is the definition of KL functions?
Lecture 8 Stability of time-varying systems
Recommended reading • Khalil Chapter 3 (2nd edition)
Outline • Motivation • Tracking problems • Stability definitions • Stability via KL and K functions • Lyapunov conditions for UGAS/UGES • Summary
Motivation • Time-varying models are sometimes necessary to use when the properties of the system change significantly during the operation of the system. • Time-varying models may arise from tracking in time-invariant systems. • We consider stability properties of the origin. • Note: the definitions are more complicated than in the time-invariant case.
Tracking problems • Consider a time-invariant system and its reference solution Introduce x:=y-yr and write: • Origin for the x system corresponds to y(t)=yr(t) for the y system!
Class of systems • We consider the following time-varying model where f is locally Lipschitz in x (uniform in t) and we assume that the origin is an equilibrium of the system:
The origin is stable if • The origin is uniformly stable if • The origin is unstable if it is not stable. • In stability may depend on t0. • In uniform stability is not allowed to depend on t0.
Stability Trajectory starting in (t0,) ball at time t1 may diverge! |x| (t0,) (t1,) t0 t1 t
Example – non uniform stability • The system has the solution where s(t)=6 sin (t) – 6t cos(t)-t2 . For t0=2n we have that as n then
Uniform stability |x| Uniform stability is a stronger property than stability! () t0 t1 t
The origin is attractive if • The origin is uniformly attractive if • It is uniformly globally attractive if
Attractivity (special case c c(t0)) |x| We may need: T(t0,) < T(t1,) c T(t0,) T(t1,) t T(t0,) t0 t1
Example – non uniform attractivity • The system has the solution The solution is attractive but not uniformly! The larger the t0, the longer it takes to converge.
Uniform attractivity |x| Exists T() independent of t0 c T() t T() t0 t1
The origin is asymptotically stable if it is stable and attractive. • The origin is uniformly asymptotically stable if uniformly stable and uniformly attractive. • It is uniformly globally asymptotically stable if it is uniformly stable and uniformly globally attractive.
We use the following acronyms: • UA uniform attractivity • US uniform stability • UGAS uniform global asymptotic stability • ULAS uniform local asymptotic stability • GAS global asymptotic stability • LAS local asymptotic stability
Comments • For time-invariant systems we have: • US stability • UA attractivity • ULAS LAS • UGAS GAS Hence, we often omit “U” in the acronyms!
Why K and KL functions? • If the origin is US, there exist r>0, a K • If the origin is ULAS, there exist r>0, KL • If the origin is UGAS there exists KL
Theorem on UGAS • The origin of is UGAS if there exist V(t,x) and 1,2,3 K such that for all t and all x we have:
Sketch of proof – UGAS: • Along solutions we have: • Comparison principle: where u(t) is a solution to
Sketch of proof • We can assume that is locally Lipschitz! This implies that the solution u(t)=(u0,t-t0) is a KL function. • This implies and finally
Theorem on UGES • The origin of is UGES if there exist V(t,x) and a1, a2, a3, c>0 such that for all t and all x we have:
Summary: • Time-varying systems may exhibit uniform or non-uniform stability properties. • K and KL functions are important tools in characterizing stability properties. • Lyapunov theorems for UGAS and UGES involve upper and lower bounds on V and on dV/dt that are independent of time t.
Next lecture: • Stability of perturbed systems. Homework: read Chapter 3 in Khalil