0 Up votes0 Down votes

38 views25 pagesnotes on Lyapunov function

Jan 22, 2014

© Attribution Non-Commercial (BY-NC)

PDF, TXT or read online from Scribd

notes on Lyapunov function

Attribution Non-Commercial (BY-NC)

38 views

notes on Lyapunov function

Attribution Non-Commercial (BY-NC)

- The Great I am PowerPoint
- Above All - Michael W. Smith
- You Are the Alpha and Omega Sheet Music
- Israel Houghton - You Are Good
- Awesome God-Our God Medley
- JesusAtTheCenter CC
- Great Are You Lord Chords
- Don Moen -I WIll Sing
- Applications of Second Order Differential Equation
- 286_M_Lyap2_WM
- Worthy is the Lamb
- Happy Birthday to You Piano
- how great i am
- Jesus at the Center Piano
- You Are Great
- DON MOEN- GIVE THANKS
- How Great is Our God
- How Great is Our God
- God Be Praised
- Articol20

You are on page 1of 25

Winter 2008-09

stability positive denite functions global Lyapunov stability theorems Lasalles theorem converse Lyapunov theorems nding Lyapunov functions

121

we consider nonlinear time-invariant system x = f (x), where f : Rn Rn a point xe Rn is an equilibrium point of the system if f (xe) = 0 xe is an equilibrium point x(t) = xe is a trajectory suppose xe is an equilibrium point system is globally asymptotically stable (G.A.S.) if for every trajectory x(t), we have x(t) xe as t (implies xe is the unique equilibrium point) system is locally asymptotically stable (L.A.S.) near or at xe if there is an R > 0 s.t. x(0) xe R = x(t) xe as t

122

often we change coordinates so that xe = 0 (i.e., we use x = x xe) a linear system x = Ax is G.A.S. (with xe = 0) i(A) < 0, i = 1, . . . , n a linear system x = Ax is L.A.S. (near xe = 0) i(A) < 0, i = 1, . . . , n (so for linear systems, L.A.S. G.A.S.) there are many other variants on stability (e.g., stability, uniform stability, exponential stability, . . . ) when f is nonlinear, establishing any kind of stability is usually very dicult

123

consider nonlinear system x = f (x), and function V : Rn R : Rn R as V (z ) = V (z )T f (z ) we dene V (z ) gives d V (x(t)) when z = x(t), x = f (x) V dt as the we can think of V as generalized energy function, and V associated generalized dissipation function

124

a function V : Rn R is positive denite (PD) if V (z ) 0 for all z V (z ) = 0 if and only if z = 0 all sublevel sets of V are bounded last condition equivalent to V (z ) as z

125

Lyapunov theory

Lyapunov theory is used to make conclusions about trajectories of a system x = f (x) (e.g., G.A.S.) without nding the trajectories (i.e., solving the dierential equation) a typical Lyapunov theorem has the form: if there exists a function V : Rn R that satises some conditions on V and V then, trajectories of system satisfy some property if such a function V exists we call it a Lyapunov function (that proves the property holds for the trajectories) Lyapunov function V can be thought of as generalized energy function for system

126

suppose there is a function V that satises all sublevel sets of V are bounded (z ) 0 for all z V then, all trajectories are bounded, i.e., for each trajectory x there is an R such that x(t) R for all t 0

in this case, V is called a Lyapunov function (for the system) that proves the trajectories are bounded

127

t

V (x(t)) = V (x(0)) +

0

(x( )) d V (x(0)) V

so the whole trajectory lies in {z | V (z ) V (x(0))}, which is bounded also shows: every sublevel set {z | V (z ) a} is invariant

128

suppose there is a function V such that V is positive denite (z ) < 0 for all z = 0, V (0) = 0 V then, every trajectory of x = f (x) converges to zero as t (i.e., the system is globally asymptotically stable)

intepretation: V is positive denite generalized energy function energy is always dissipated, except at 0

129

Proof

suppose trajectory x(t) does not converge to zero.

Since x(t) doesnt converge to 0, we must have > 0, so for all t, V (x(t)) V (x(0)).

C = {z | V (z ) V (x(0))} is closed and bounded, hence compact. So V = a < 0. Since (assumed continuous) attains its supremum on C , i.e., supzC V (x(t)) a for all t, we have V V (x(T )) = V (x(0)) + Z

T 0

(x(t)) dt V (x(0)) aT V

which for T > V (x(0))/a implies V (x(0)) < 0, a contradiction. So every trajectory x(t) converges to 0, i.e., x = f (x) is G.A.S.

1210

suppose there is a function V and constant > 0 such that V is positive denite (z ) V (z ) for all z V then, there is an M such that every trajectory of x = f (x) satises x(t) M et/2 x(0) (this is called global exponential stability (G.E.S.))

1211

Example

consider system x 1 = x1 + g (x2), where |g (u)| |u|/2, |h(u)| |u|/2 two rst order systems with nonlinear cross-coupling 1 s+1 g () x2 1 s+1 x1 h() x 2 = x2 + h(x1)

1212

2 we use V = (x2 + x 1 2 )/2

2 = x2 1 x2 + x1 g (x2 ) + x2 h(x1 ) 2 x2 1 x2 + |x1 x2 | 2 + x (1/2)(x2 2) 1

= V

2 2 where we use |x1x2| (1/2)(x2 1 + x2 ) (derived from (|x1 | |x2 |) 0)

we conclude system is G.A.S. (in fact, G.E.S.) without knowing the trajectories

Basic Lyapunov theory 1213

Lasalles theorem

Lasalles theorem (1960) allows us to conclude G.A.S. of a system with 0, along with an observability type condition only V we consider x = f (x) suppose there is a function V : Rn R such that V is positive denite (z ) 0 V (w) = 0 is w(t) = 0 for all t the only solution of w = f (w), V then, the system x = f (x) is G.A.S.

1214

last condition means no nonzero trajectory can hide in the zero dissipation set unlike most other Lyapunov theorems, which extend to time-varying systems, Lasalles theorem requires time-invariance

1215

suppose there is a function V : Rn R such that (z ) 0 for all z (or just whenever V (z ) 0) V there is w such that V (w) < V (0) then, the trajectory of x = f (x) with x(0) = w does not converge to zero (and therefore, the system is not G.A.S.)

to show it, we note that V (x(t)) V (x(0)) = V (w) < V (0) for all t 0 but if x(t) 0, then V (x(t)) V (0); so we cannot have x(t) 0

1216

suppose there is a function V : Rn R such that (z ) < 0 whenever V (z ) < 0 V there is w such that V (w) < 0 then, the trajectory of x = f (x) with x(0) = w is unbounded, i.e., sup x(t) =

t0

1217

let x = f (x), x(0) = w. lets rst show that V (x(t)) V (w) for all t 0. if not, let T denote the smallest positive time for which V (x(T )) = V (w). then over (x(t)) < 0, and so [0, T ], we have V (x(t)) V (w) < 0, so V

Z

the lefthand side is also equal to

T 0

(x(t)) dt < 0 V

so we have a contradiction.

(x(t)) < 0 for all t. it follows that V (x(t)) V (x(0)) for all t, and therefore V

now suppose that x(t) R, i.e., the trajectory is bounded.

Basic Lyapunov theory 1218

1219

a typical converse Lyapunov theorem has the form if the trajectories of system satisfy some property then there exists a Lyapunov function that proves it a sharper converse Lyapunov theorem is more specic about the form of the Lyapunov function example: if the linear system x = Ax is G.A.S., then there is a quadratic Lyapunov function that proves it (well prove this later)

1220

suppose there is > 0 and M such that each trajectory of x = f (x) satises x(t) M et x(0) for all t 0 (called global exponential stability, and is stronger than G.A.S.) then, there is a Lyapunov function that proves the system is exponentially stable, i.e., there is a function V : Rn R and constant > 0 s.t. V is positive denite (z ) V (z ) for all z V

1221

suppose the hypotheses hold, and dene

V (z ) =

0

x(t)

dt

V (z ) =

0

x(t)

dt

0

M e

2 2t

M2 z dt = 2

1222

d lets nd V (z ) = dt

t=0

(z ) = V = =

t0

t0

lim (1/t)

t t

x( ) x( )

0 2

d

0

x( )

t0

lim (1/t)

2

= z

now lets verify properties of V V (z ) 0 and V (z ) = 0 z = 0 are clear (z ) = z T z V (z ), with = 2/M 2 nally, we have V

Basic Lyapunov theory 1223

there are many dierent types of Lyapunov theorems the key in all cases is to nd a Lyapunov function and verify that it has the required properties there are several approaches to nding Lyapunov functions and verifying the properties one common approach: decide form of Lyapunov function (e.g., quadratic), parametrized by some parameters (called a Lyapunov function candidate ) try to nd values of parameters so that the required hypotheses hold

1224

value function of a related optimal control problem linear-quadratic Lyapunov theory (next lecture) computational methods converse Lyapunov theorems graphical methods (really!) (as you might guess, these are all somewhat related)

1225

- The Great I am PowerPointUploaded byCristian Sirbu
- Above All - Michael W. SmithUploaded byLykke Anholm
- You Are the Alpha and Omega Sheet MusicUploaded byapi-26159086
- Israel Houghton - You Are GoodUploaded byapi-3716271
- Awesome God-Our God MedleyUploaded byaren0214
- JesusAtTheCenter CCUploaded bySean Waithe
- Great Are You Lord ChordsUploaded byBrad Daniels
- Don Moen -I WIll SingUploaded bymakopogi
- Applications of Second Order Differential EquationUploaded byMuddassir Ah
- 286_M_Lyap2_WMUploaded bySAN JUAN BAUTISTA
- Worthy is the LambUploaded byEnteng Lawrence Pineda
- Happy Birthday to You PianoUploaded byIoannis Sidiropoulos
- how great i amUploaded bySebastian
- Jesus at the Center PianoUploaded byPaolo Roel Ulangca Rodriguez
- You Are GreatUploaded bythewhitfields49243
- DON MOEN- GIVE THANKSUploaded byJosé Miguel Baute Rosado
- How Great is Our GodUploaded bySYC Worship Team
- How Great is Our GodUploaded byHolly Lowman Walsh
- God Be PraisedUploaded bySherelyn Balotabot
- Articol20Uploaded byCuno Florin
- My Tribute MedleyUploaded byLaurence Reodica
- Applications of Differential EquationsUploaded bymaths203
- Integral TestUploaded byblerb795
- Common Lyapunov FunctionsUploaded byChernet Tuge
- Differential EquationsUploaded byBeverly Paman
- Israel Houghton - Jesus at the Center - GuitarraUploaded byAlexander Díaz
- Construction of Lyapunov Functions for Some Fourth Order Nonlinear Ordinary Differential Equations by Method of IntegrationUploaded byIJSTR Research Publication
- Great I Am.docUploaded bytheresamarie0415
- Wonderful, MercifulUploaded byJadekaiser

- Cyclone 3Uploaded byDipanjan Das
- Anandamela_Pujabarshiki_1422__Amarboi.com_Uploaded bysunny_sigara
- TablesUploaded byDipanjan Das
- ShepardUploaded byDipanjan Das
- Shenoy PradeepUploaded byDipanjan Das
- SCMUploaded byDipanjan Das
- Power WallUploaded byDipanjan Das
- PCM BuckboostUploaded byDipanjan Das
- nonlinPIUploaded byDipanjan Das
- Midya ThesisUploaded byDipanjan Das
- Local ControlUploaded byDipanjan Das
- Kimball ThesisUploaded byDipanjan Das
- JosiahUploaded byDipanjan Das
- ISOP2Uploaded byDipanjan Das
- ISOP1Uploaded byDipanjan Das
- Diff Power Pro Dc SysUploaded byDipanjan Das
- Current Mode DcmUploaded byDipanjan Das
- CEME508IndiaUploaded byDipanjan Das
- cce98kUploaded byDipanjan Das
- 05513952Uploaded byDipanjan Das
- 04267738Uploaded byDipanjan Das
- 00572946Uploaded byDipanjan Das
- h7colorUploaded byDipanjan Das
- h1colorUploaded byDipanjan Das
- FilteringUploaded byDipanjan Das

- Turbine ControlUploaded bySpirit
- Dissertation TitlesUploaded byKliti
- Quan-graphs.pdfUploaded byvanaj123
- 455-170068-ws-simotics-sd-1le5-us-170407-online.pdfUploaded byAnonymous TTs1qdtV
- Daikin VRV IV-S Preview CatalogeUploaded byDenise Koh Chin Hui
- FTFS_HW_06Uploaded bySumantri Hatmoko
- week58Uploaded byslim_g911
- Collection 5Uploaded byohnestman4u
- Study of a solar powered solid adsorption–Uploaded byHatem Bentaher
- SRIM Tutorial 1 - Ion Ranges, Doses and DamageUploaded byValael1
- Evaporation Technology Juice Industry GEA Wiegand EnUploaded bySilvino Cruz
- How to Solve Word MathUploaded byAnubhav Verma
- typhon group easi - evaluation survey instrumentUploaded byapi-264047496
- stereoisomerism1-120824060050-phpapp01Uploaded byPhúc Bùi
- Lab- mass-spring system (2).docxUploaded bybassam shakaa
- MemristorUploaded byCaDell AlvarEs
- Ch 142 Exp 8 ElectroplatingUploaded byArely Cárdenas
- MPD Drill UndrillableUploaded byRuslan Zakirov
- cementación de pozosUploaded byJesus Bc
- 0 Course contents and presentation topics-2.pdfUploaded byJaveria Dawood
- Science Volume 324 Issue 5934 2009 [Doi 10.1126%2Fscience.1158877] Geim, A. K. -- Graphene- Status and ProspectsUploaded byAlejandra Resendiz Rosillo
- Modeling, Simulation, And Analysis of Grid Connected Dish-stirling Solar Power PlantsUploaded bycodered21
- reservoir drive mechanismsUploaded bynovia
- E19Uploaded bysara_ogl7
- LSH PresentationUploaded bymatthewriley123
- General Mathematics Midterm ABM STEMUploaded byRPONTEJO
- Myanmar Jade LrUploaded byOun Ginseng
- Well-Control-Simulation.pdfUploaded bySalem Halbaoui
- DOEpptUploaded byJeevanantham Kannan
- SABP-A-009.pdfUploaded byWalid Megahed

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.