Nonlinear systems. Lyapunov stability theory. G. Ferrari Trecate

Size: px
Start display at page:

Download "Nonlinear systems. Lyapunov stability theory. G. Ferrari Trecate"

Transcription

1 Nonlinear systems Lyapunov stability theory G. Ferrari Trecate Dipartimento di Ingegneria Industriale e dell Informazione Università degli Studi di Pavia Advanced automation and control Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control / 36

2 Aleksandr Mikhailovich Lyapunov (857-98) Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control / 36

3 Stability of differential equations Torricelli s principle (644). A mechanical system composed by two rigid bodies subject to the gravitational force is at a stable equilibrium if the total energy is (locally) minimal. Laplace (784), Lagrange (788). If the total energy of a system of masses is conserved, then a state corresponding to zero kinetic energy is stable. Lyapunov (89). Student of Chebyshev at the St. Petersburg university. 89 PhD The general problem of the stability of motion. In the 960 s. Kalman brings Lyapunov theory to the field of automatic control (Kalman and Bertram Control system analysis and design via the second method of Lyapunov ) Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 3 / 36

4 Stability of the origin System We consider the autonomous NL time-invariant system ẋ = f (x) () Let x be an equilibrium state. Hereafter we assume, f C and, without loss of generality, x = 0 If x 0 is an equilibrium state, set z = x x and, from (), obtain z = 0 is an equilibrium state for () ż = f (z + x ) () x(t) = φ(t, x 0 ) is a state trajectory for () z(t) = x(t) x is a state trajectory of () with z(0) = x 0 x Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 4 / 36

5 Review: stability of an equilibrium state Let x = 0 be an equilibrium state for the NL time-invariant system ẋ = f (x) Ball centered in z R n of radius δ > 0 B δ ( z) = {z R n : z z < δ} Definition (Lyapunov stability) The equilibrium state x = 0 is Stable if ɛ > 0 δ > 0, x(0) B δ (0) x(t) B ɛ (0), t 0 Asymptotically Stable (AS) if it is stable and γ > 0 such that x(0) B γ (0) Unstable if it is not stable lim φ(t, x(0)) = 0 t + Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 5 / 36

6 Review: stability of an equilibrium state x = 0 stable x = 0 AS x = 0 unstable x x x x(0) x(0) x(0) x x x If x = 0 is AS, B γ (0) is a region of attraction, i.e. a set X R n such that Remark x(0) X lim φ(t, x(0)) = 0 t + THE region of attraction of x = 0 is the maximal region of attraction Even if x = 0 is AS, φ(t, x(0)) might converge very slowly to x Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 6 / 36

7 Exponential stability Definition x = 0 is Exponentially Stable (ES) if there are δ, α, λ > 0 such that x(0) B δ (0) x(t) αe λt x(0) The quantity λ is an estimate of the exponential convergence rate. Remark ES AS stability. All the opposite implications are false. Example: ẋ = x x(t) = x(0) + tx(0) x = 0 is AS (check at home!) but not ES. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 7 / 36

8 Global stability Remarks Stability, AS, ES: local concepts ( for x(0) sufficiently close to x ) Global asymptotic stability If x = 0 is stable and x(0) R n then x = 0 is Globally AS (GAS) Global exponential stability If there are α, λ > 0such that lim φ(t, x(0) = 0 t + x(0) R n x(t) αe λt x(0) then x = 0 is Globally ES (GES) Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 8 / 36

9 Remarks on stability Example: x = 0 is GAS (but not GES). ẋ = x x(t) = x(0) + tx(0) Problems How to check the stability properties of x = 0 WITHOUT computing state trajectories? If x = 0 is AS, how to compute a region of attraction? The analysis of the linearized system around x = 0 MIGHT allow one to check local stability. How to proceeed when no conclusion can be drawn using the linearized system? Need of a more complete approach: Lyapunov direct method Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 9 / 36

10 Remarks on stability Example x = 0 is an equilibrium state. Linearized system: δx = aδx a < 0 x = 0 is AS a > 0 x = 0 is unstable a = 0? ẋ = ax x 5 For a = 0 one has ẋ = x 5 and with the Lyapunov direct method one can show that x = 0 is AS. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 0 / 36

11 Lyapunov direct method: a first example Model Mẍ = bẋ ẋ ( k }{{} 0 x + k x 3) }{{} NL damping NL elastic force b, k 0, k > 0 Defining x = x, x = ẋ ẋ = x ] [ [ x 0 ẋ = b M x x k 0 M x k x = = is stab./as/es? M x 3 x 0] 0 D x f = k 0 M 3k M x b M x D x f = 0 sgn (x ) x= x k 0 M 0 Eigenvalues: λ, = ±j k 0 /M No conclusion on x = 0 using the linearized system Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control / 36

12 Lyapunov direct method: a first example Consider the total energy of the system: V (x) = Mx + }{{} kinetic x 0 k 0 ξ + k ξ 3 dξ = Mx + k 0x + 4 k x 4 } {{ } potential Remark: zero energy x = x = 0 (equilibrium state) Instantaneous energy change: V (x(t)) = D x V dx [ V dt = x ] dx V dt x dx = ( k 0 x + k x 3 ) ẋ + Mx ẋ = dt ) = ( k 0 x + k x 3 ) x + Mx ( b M x x k 0 M x k M x 3 = bx x bx (t) x (t) 0 independently of x(0) the energy can only decrease with time independently of x(0) Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control / 36

13 Lyapunov direct method: a first example Energy V (x) Phase plane V x x 0 x x Energy is a measure of the distance of x from the origin if it can only decrease, then x = 0 should be stable Lyapunov direct method is based on energy-like functions V (x) and the analysis of the function t V (x(t)) Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 3 / 36

14 Positive definite functions In the previous example, V (x) has two key properties V (x) > 0, x 0 and V (0) = 0 t V (x(t)) decreases for x(t) = φ(t, x 0 ) Definition A scalar and continuous function V (x) is positive definite (pd) in B δ (0) if V (0) = 0 and x B δ (0)\ {0} V (x) > 0 positive semidefinite (psd) in B δ (0) if V (0) = 0 and V (x) 0, x B δ (0) negative definite (nd) [resp. negative semidefinite (nsd)] if V (x) is pd [resp. psd] Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 4 / 36

15 Globally positive definite functions Definition The scalar and continuous function V (x) is pd/psd/nd/nsd if it has the same property in some B δ (0) Definition If, in the previous definitions B δ (0) is replaced with R n, one defines functions globally positive definite (gpd) globally positive semidefinite (gpsd) globally negative definite (gnd) globally negative semidefinite (gnsd) Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 5 / 36

16 Examples of positive definite functions V (x)=sin( x ), pd V (x)= x, gpd V 3 (x)= x, gpsd V 0.5 V V x 0 x 0 0 x 0 x 0 0 x 0 x V (x) pd V (x) gpd V 3 (x) gpsd x 0 x 0 x x x x Level surfaces: V α = {x R n : V (x) = α} they do not intersect Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 6 / 36

17 Computation of V Given ẋ = f (x) and a scalar function V (x) of class C dv (x(t)) V = = D x V ẋ = dt [ V x ] ẋ V. = x n ẋ n n i= V x i f i (x) (3) Remark (3) is called Lie derivative of V along f it measures how much V decreases along state trajectories Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 7 / 36

18 Lyapunov theory Lyapunov theorems The typical statement has the following skeleton: If there exists a function V : R n R such that V and V verify suitable conditions, then the equilibrium x = 0 has some key properties If such a function V exists, it is called the Lyapunov function that certifies the properties of x = 0 Remark As it will be clear in the sequel, Lyapunov can be viewed as generalized energy functions Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 8 / 36

19 Invariance Lyapunov Theorem Theorem Let V (x) C be pd in B δ (0). If V (x) is nsd in B δ (0), then the level sets V m = {x : V (x) < m}, m > 0 (4) included in B δ (0) are invariant. If, in addition V (x) is gpd and V (x) is gnsd then the sets (4) are invariant for all m > 0. Proof By contradiciton, assume x(0) V m and let t m > 0 be the first instant such that V (x(t m )) m a. One has V (x(t m )) m > V (x(0)) that is a contradition because V (x(t)) 0 for t [0, t m ). The proof of the second part of the theorem is identical. V m x x a Such an instant exists because x(t) is continuous in t. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 9 / 36

20 Stability Lyapunov theorem Theorem If there is V (x) C such that it is pd in B δ (0) and V is nsd in B δ (0), then x = 0 is stable. If in addition V (x) is nd in B δ (0) then x = 0 is AS. Extremely useful! Not necessary to compute state trajectories: it is enough to check the sign of V and V in a neighborhood of the origin The theorem precises the properties that an energy function must have Several results in nonlinear control are based on this theorem There are several versions of the theorem, e.g. for discrete-time systems, when f is piecewise continuous, when is V continuous only in x = 0,... Key issue: Cheking if x = 0 is AS has been just recast into the problem of finding a suitable Lyapunov function. How to compute it? Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 0 / 36

21 Proof of the theorem Theorem If there is V (x) C such that it is pd in B δ (0) and V is nsd in B δ (0), then x = 0 is stable. If in addition V (x) is nd in B δ (0) then x = 0 is AS. Proof of stability ( ɛ > 0 γ > 0 : x(0) B γ (0) t 0 x(t) B ɛ (0)) Without loss of generality, assume ɛ < δ. Let m = min x =ɛ V (x)a Let V m = {x : V (x) < m} b. There is γ > 0 : B γ (0) V m c. V m x x a m exists since V is continuous and the boundary of B ɛ(0) is bounded and closed. b m > 0 because V is pd. In particular, V m is not empty. c Continuity of V (x) in x = 0: ɛ > 0, δ > 0 : x B δ (0) V (x) 0 < ɛ. Pick ɛ < m and set γ = δ. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control / 36

22 Proof of the theorem From the Lyapunov invariance theorem, one has that V m is invariant. Since B γ (0) V m, one has that x(0) < γ implies x(t) < ɛ, t 0. V m x x Proof of AS Let ɛ and γ be chosen as in the proof of stability (in particular, ɛ < δ). One has x(0) B γ (0) φ(t, x(0)) B ɛ (0), t 0 We now show that B γ (0) is a region of attraction for x = 0. If x(0) B γ (0), since V is nd in B ɛ (0) one has that V (x(t)) is decreasing. V (x(t)) is also lower bounded by 0. Therefore V (x(t)) has a limit L 0 for t +. Since V (x) = 0 x = 0, in order to conclude we have only to show that L = 0. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control / 36

23 Proof of the theorem By contradiction, assume that L > 0. V continuous d > 0 : B d (0) V L and since V (x(t)) L, t 0 one has that x(t) never enters in B d (0). Let η = max d x ɛ V (x) a. Since V is nd, it follows η < 0. One has b V (x(t)) = V (x(0))+ t 0 V (x(τ)) dτ V (x(0)) ηt Therefore, for a sufficiently large t one has V (x(t)) < L that is a contradiction. x V L d x a η exists because V is continuous and the constraints of the maximum problem define a bounded and closed set. b For the fundamental theorem of calculus and the fact that x(t) B ɛ(0), t 0. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 3 / 36

24 Example System ẋ = x ( x + x ) 4x x ẋ = 4x x + x ( x + x ) Study the stability of the equilibrium state x = 0. Candidate Lyapunov function: V (x) = x + x (pd in R ) V = V x f (x) + V x f (x) = ( ( = x x x + x ) 4x x ) ( ( + x 4x x + x x + x )) = = ( x + x ) ( x + x ) In B (0) one has ( x + x ) < 0 and therefore V is nd in B (0) x = 0 is AS. Key remark The choice of the Lyapunov function is not unique! For instance V (x) = α ( x + x ), α > 0 are all Lyapunov functions for the example. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 4 / 36

25 Example: damped pendolum System ẋ = x ẋ = x sin(x ) Study the stability of x = [ 0 0 ] T. Lyapunov candidate function: V (x) = ( cos(x )) + x }{{}}{{} potential en. kinetic en. V is pd? In which region? V (0) = 0 V (x) > 0 if x ( π, π), x 0 Then, V is pd in B π (0) Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 5 / 36

26 Example: damped pendolum System ẋ = x ẋ = x sin(x ) Study the stability of x = [ 0 0 ] T. Lyapunov candidate function: V (x) = ( cos(x )) + x }{{}}{{} potential en. kinetic en. V is nsd? In which region? V = V x f (x) + V x f (x) = sin(x )x + x ( x sin(x )) = x V is nsd in R (and then in B π (0)) x = 0 is stable. Physical intuition tells us the equilibrium is AS but the chosen Lyapunov function certifies only stability Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 6 / 36

27 Global asymptotic stability If V (x) is globally pd and V is globally nd, is it possible to deduce that x = 0 is GAS? NO! Example: V (x) = x + x + x is globally pd but the level surfaces V α are not bounded for α >. Then V (x(t)) can decrease but x(t) can diverge. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 7 / 36

28 Lyapunov theorem for global asymptotic stability Definition A function V (x) pd is radially unbounded if V (x) + for x +. Remark The behavior in the previous example cannot happen if V is radially unbounded Theorem (GAS) If there is V (x) C gpd and radially unbounded such that V is gnd then x = 0 is GAS. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 8 / 36

29 Example c(x) x First-order system ẋ = c(x) where c(x) C and x 0 xc(x) > 0 Study the stability of x = 0. Candidate Lyapunov function: V (x) = x (gpd and radially unbounded) V is gnd x = 0 is GAS V (x) = xẋ = xc(x) Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 9 / 36

30 Lyapunov theorem for exponential stability Theorem (ES/GES) If there exists a ball B δ (0) and a function V (x) C such that, for all x B δ (0) one has k x a V (x) k x a (5) V (x(t)) k 3 x a (6) where k, k, k 3, a > 0 are suitable constants, then x = 0 is ES. Moreover, if (5) and (6) hold for all x R n, then x = 0 is GES. Remarks (5) V (x) is pd. The opposite implication does not hold. (5) + (6) V is nd. The opposite implication does not hold. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 30 / 36

31 Lyapunov theorem for exponential stability Proof of ES From the Lyapunov theorem, (5) and (6) imply that x = 0 is AS. Moreover V (x(t)) }{{} k 3 x a from (6) }{{} from (5) k 3 k V (x(t)) In particular, the last inequality follows from V (x) k x a. If equalities hold, one gets the LTI system V = k 3 k V and therefore V (x(t)) = V (x(0))e k 3 k t It is possible to show that if V k 3 V then V (x(t)) V (x(0))e k 3 k k t Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 3 / 36

32 Lyapunov theorem for exponential stability Therefore x(t) }{{} from (5) = ( ) a k k [ V (x(t)) k ] a x(0) e k 3 ak t V (x(0))e k k 3 k t a k x(0) a e }{{} k from (5) k 3 t k a = Remark λ = k 3 ak is an estimate of the exponential convergence rate Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 3 / 36

33 Example c(x) x System ẋ = c(x) where c(x) C and verifies xc(x) x Study the stability of x = 0. Candidate Lyapunov function: V (x) = x k x a V (x) k x a with k = k = and a =, x R V (x) = xẋ = xc(x) k 3 x a with k 3 = a = x R Then, x = 0 is GES. Estimate of the exponential convergence rate: λ = k 3 ak = Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 33 / 36

34 Lyapunov instability theorem Theorem (instability) If in a set B δ (0) there is a scalar function V (x) C such that V is pd in B δ (0) and V is pd in B δ (0), then x = 0 is unstable. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 34 / 36

35 Lyapunov instability theorem Example Study the stability of x = 0. Linearized system around x = 0 { δx = δx Σ : δx = δx ( ẋ = x + x x + x 4 ) ( ẋ = x + x x + x 4 ) No conclusion on stability of x = 0 using Σ. eigenvalues: ± j Candidate Lyapunov function: V (x) = ( x + x ) (pd in R ) ( ( V = x x + x x + x 4 )) ( ( + x x + x x + x 4 )) = = ( x + x ) ( x + x 4 ) pd in R Then, x = 0 is unstable. Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 35 / 36

36 Conclusions Summary of Lyapunov theorems Conditions on V (x) C Conditions on V Stab. of x = 0 pd in B δ (0) nsd in B δ (0) stable pd in B δ (0) nd in B δ (0) AS pd in R n and rad. unbounded nd in R n GAS k x α V (x) k x α in B δ (0) V k3 x α in B δ (0) ES k x α V (x) k x α in R n V k 3 x α in R n GES pd in B δ (0) pd in B δ (0) unstable Remarks All Lyapunov theorems are only sufficient conditions. Moreover for a given system there can be multiple Lyapunov functions certifying different stability properties of x = 0 Ferrari Trecate (DIS) Nonlinear systems Advanced autom. and control 36 / 36

MCE/EEC 647/747: Robot Dynamics and Control. Lecture 8: Basic Lyapunov Stability Theory

MCE/EEC 647/747: Robot Dynamics and Control. Lecture 8: Basic Lyapunov Stability Theory MCE/EEC 647/747: Robot Dynamics and Control Lecture 8: Basic Lyapunov Stability Theory Reading: SHV Appendix Mechanical Engineering Hanz Richter, PhD MCE503 p.1/17 Stability in the sense of Lyapunov A

More information

Topic # /31 Feedback Control Systems. Analysis of Nonlinear Systems Lyapunov Stability Analysis

Topic # /31 Feedback Control Systems. Analysis of Nonlinear Systems Lyapunov Stability Analysis Topic # 16.30/31 Feedback Control Systems Analysis of Nonlinear Systems Lyapunov Stability Analysis Fall 010 16.30/31 Lyapunov Stability Analysis Very general method to prove (or disprove) stability of

More information

Georgia Institute of Technology Nonlinear Controls Theory Primer ME 6402

Georgia Institute of Technology Nonlinear Controls Theory Primer ME 6402 Georgia Institute of Technology Nonlinear Controls Theory Primer ME 640 Ajeya Karajgikar April 6, 011 Definition Stability (Lyapunov): The equilibrium state x = 0 is said to be stable if, for any R > 0,

More information

Nonlinear Control. Nonlinear Control Lecture # 2 Stability of Equilibrium Points

Nonlinear Control. Nonlinear Control Lecture # 2 Stability of Equilibrium Points Nonlinear Control Lecture # 2 Stability of Equilibrium Points Basic Concepts ẋ = f(x) f is locally Lipschitz over a domain D R n Suppose x D is an equilibrium point; that is, f( x) = 0 Characterize and

More information

Lecture 4. Chapter 4: Lyapunov Stability. Eugenio Schuster. Mechanical Engineering and Mechanics Lehigh University.

Lecture 4. Chapter 4: Lyapunov Stability. Eugenio Schuster. Mechanical Engineering and Mechanics Lehigh University. Lecture 4 Chapter 4: Lyapunov Stability Eugenio Schuster schuster@lehigh.edu Mechanical Engineering and Mechanics Lehigh University Lecture 4 p. 1/86 Autonomous Systems Consider the autonomous system ẋ

More information

MCE693/793: Analysis and Control of Nonlinear Systems

MCE693/793: Analysis and Control of Nonlinear Systems MCE693/793: Analysis and Control of Nonlinear Systems Lyapunov Stability - I Hanz Richter Mechanical Engineering Department Cleveland State University Definition of Stability - Lyapunov Sense Lyapunov

More information

Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1

Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1 Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems p. 1/1 p. 2/1 Converse Lyapunov Theorem Exponential Stability Let x = 0 be an exponentially stable equilibrium

More information

EN Nonlinear Control and Planning in Robotics Lecture 3: Stability February 4, 2015

EN Nonlinear Control and Planning in Robotics Lecture 3: Stability February 4, 2015 EN530.678 Nonlinear Control and Planning in Robotics Lecture 3: Stability February 4, 2015 Prof: Marin Kobilarov 0.1 Model prerequisites Consider ẋ = f(t, x). We will make the following basic assumptions

More information

Solution of Additional Exercises for Chapter 4

Solution of Additional Exercises for Chapter 4 1 1. (1) Try V (x) = 1 (x 1 + x ). Solution of Additional Exercises for Chapter 4 V (x) = x 1 ( x 1 + x ) x = x 1 x + x 1 x In the neighborhood of the origin, the term (x 1 + x ) dominates. Hence, the

More information

Converse Lyapunov theorem and Input-to-State Stability

Converse Lyapunov theorem and Input-to-State Stability Converse Lyapunov theorem and Input-to-State Stability April 6, 2014 1 Converse Lyapunov theorem In the previous lecture, we have discussed few examples of nonlinear control systems and stability concepts

More information

Nonlinear Control Lecture 5: Stability Analysis II

Nonlinear Control Lecture 5: Stability Analysis II Nonlinear Control Lecture 5: Stability Analysis II Farzaneh Abdollahi Department of Electrical Engineering Amirkabir University of Technology Fall 2010 Farzaneh Abdollahi Nonlinear Control Lecture 5 1/41

More information

2 Lyapunov Stability. x(0) x 0 < δ x(t) x 0 < ɛ

2 Lyapunov Stability. x(0) x 0 < δ x(t) x 0 < ɛ 1 2 Lyapunov Stability Whereas I/O stability is concerned with the effect of inputs on outputs, Lyapunov stability deals with unforced systems: ẋ = f(x, t) (1) where x R n, t R +, and f : R n R + R n.

More information

1. Find the solution of the following uncontrolled linear system. 2 α 1 1

1. Find the solution of the following uncontrolled linear system. 2 α 1 1 Appendix B Revision Problems 1. Find the solution of the following uncontrolled linear system 0 1 1 ẋ = x, x(0) =. 2 3 1 Class test, August 1998 2. Given the linear system described by 2 α 1 1 ẋ = x +

More information

Chapter III. Stability of Linear Systems

Chapter III. Stability of Linear Systems 1 Chapter III Stability of Linear Systems 1. Stability and state transition matrix 2. Time-varying (non-autonomous) systems 3. Time-invariant systems 1 STABILITY AND STATE TRANSITION MATRIX 2 In this chapter,

More information

Complex Dynamic Systems: Qualitative vs Quantitative analysis

Complex Dynamic Systems: Qualitative vs Quantitative analysis Complex Dynamic Systems: Qualitative vs Quantitative analysis Complex Dynamic Systems Chiara Mocenni Department of Information Engineering and Mathematics University of Siena (mocenni@diism.unisi.it) Dynamic

More information

Lyapunov Stability Theory

Lyapunov Stability Theory Lyapunov Stability Theory Peter Al Hokayem and Eduardo Gallestey March 16, 2015 1 Introduction In this lecture we consider the stability of equilibrium points of autonomous nonlinear systems, both in continuous

More information

Prof. Krstic Nonlinear Systems MAE281A Homework set 1 Linearization & phase portrait

Prof. Krstic Nonlinear Systems MAE281A Homework set 1 Linearization & phase portrait Prof. Krstic Nonlinear Systems MAE28A Homework set Linearization & phase portrait. For each of the following systems, find all equilibrium points and determine the type of each isolated equilibrium. Use

More information

1 Lyapunov theory of stability

1 Lyapunov theory of stability M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability

More information

STABILITY ANALYSIS OF DYNAMIC SYSTEMS

STABILITY ANALYSIS OF DYNAMIC SYSTEMS C. Melchiorri (DEI) Automatic Control & System Theory 1 AUTOMATIC CONTROL AND SYSTEM THEORY STABILITY ANALYSIS OF DYNAMIC SYSTEMS Claudio Melchiorri Dipartimento di Ingegneria dell Energia Elettrica e

More information

E209A: Analysis and Control of Nonlinear Systems Problem Set 6 Solutions

E209A: Analysis and Control of Nonlinear Systems Problem Set 6 Solutions E9A: Analysis and Control of Nonlinear Systems Problem Set 6 Solutions Michael Vitus Gabe Hoffmann Stanford University Winter 7 Problem 1 The governing equations are: ẋ 1 = x 1 + x 1 x ẋ = x + x 3 Using

More information

Modeling and Analysis of Dynamic Systems

Modeling and Analysis of Dynamic Systems Modeling and Analysis of Dynamic Systems Dr. Guillaume Ducard Fall 2017 Institute for Dynamic Systems and Control ETH Zurich, Switzerland G. Ducard c 1 / 57 Outline 1 Lecture 13: Linear System - Stability

More information

Stability in the sense of Lyapunov

Stability in the sense of Lyapunov CHAPTER 5 Stability in the sense of Lyapunov Stability is one of the most important properties characterizing a system s qualitative behavior. There are a number of stability concepts used in the study

More information

Nonlinear Control. Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems

Nonlinear Control. Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems Time-varying Systems ẋ = f(t,x) f(t,x) is piecewise continuous in t and locally Lipschitz in x for all t 0 and all x D, (0 D). The origin

More information

3 Stability and Lyapunov Functions

3 Stability and Lyapunov Functions CDS140a Nonlinear Systems: Local Theory 02/01/2011 3 Stability and Lyapunov Functions 3.1 Lyapunov Stability Denition: An equilibrium point x 0 of (1) is stable if for all ɛ > 0, there exists a δ > 0 such

More information

Lyapunov stability ORDINARY DIFFERENTIAL EQUATIONS

Lyapunov stability ORDINARY DIFFERENTIAL EQUATIONS Lyapunov stability ORDINARY DIFFERENTIAL EQUATIONS An ordinary differential equation is a mathematical model of a continuous state continuous time system: X = < n state space f: < n! < n vector field (assigns

More information

Nonlinear Control Lecture 4: Stability Analysis I

Nonlinear Control Lecture 4: Stability Analysis I Nonlinear Control Lecture 4: Stability Analysis I Farzaneh Abdollahi Department of Electrical Engineering Amirkabir University of Technology Fall 2010 Farzaneh Abdollahi Nonlinear Control Lecture 4 1/70

More information

Outline. Input to state Stability. Nonlinear Realization. Recall: _ Space. _ Space: Space of all piecewise continuous functions

Outline. Input to state Stability. Nonlinear Realization. Recall: _ Space. _ Space: Space of all piecewise continuous functions Outline Input to state Stability Motivation for Input to State Stability (ISS) ISS Lyapunov function. Stability theorems. M. Sami Fadali Professor EBME University of Nevada, Reno 1 2 Recall: _ Space _

More information

Nonlinear Control. Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems

Nonlinear Control. Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems Time-varying Systems ẋ = f(t,x) f(t,x) is piecewise continuous in t and locally Lipschitz in x for all t 0 and all x D, (0 D). The origin

More information

Nonlinear Control. Nonlinear Control Lecture # 3 Stability of Equilibrium Points

Nonlinear Control. Nonlinear Control Lecture # 3 Stability of Equilibrium Points Nonlinear Control Lecture # 3 Stability of Equilibrium Points The Invariance Principle Definitions Let x(t) be a solution of ẋ = f(x) A point p is a positive limit point of x(t) if there is a sequence

More information

6 Linear Equation. 6.1 Equation with constant coefficients

6 Linear Equation. 6.1 Equation with constant coefficients 6 Linear Equation 6.1 Equation with constant coefficients Consider the equation ẋ = Ax, x R n. This equating has n independent solutions. If the eigenvalues are distinct then the solutions are c k e λ

More information

Lyapunov Theory for Discrete Time Systems

Lyapunov Theory for Discrete Time Systems Università degli studi di Padova Dipartimento di Ingegneria dell Informazione Nicoletta Bof, Ruggero Carli, Luca Schenato Technical Report Lyapunov Theory for Discrete Time Systems This work contains a

More information

3 rd Tutorial on EG4321/EG7040 Nonlinear Control

3 rd Tutorial on EG4321/EG7040 Nonlinear Control 3 rd Tutorial on EG4321/EG7040 Nonlinear Control Lyapunov Stability Dr Angeliki Lekka 1 1 Control Systems Research Group Department of Engineering, University of Leicester arch 9, 2017 Dr Angeliki Lekka

More information

CDS Solutions to the Midterm Exam

CDS Solutions to the Midterm Exam CDS 22 - Solutions to the Midterm Exam Instructor: Danielle C. Tarraf November 6, 27 Problem (a) Recall that the H norm of a transfer function is time-delay invariant. Hence: ( ) Ĝ(s) = s + a = sup /2

More information

Stability theory is a fundamental topic in mathematics and engineering, that include every

Stability theory is a fundamental topic in mathematics and engineering, that include every Stability Theory Stability theory is a fundamental topic in mathematics and engineering, that include every branches of control theory. For a control system, the least requirement is that the system is

More information

LMI Methods in Optimal and Robust Control

LMI Methods in Optimal and Robust Control LMI Methods in Optimal and Robust Control Matthew M. Peet Arizona State University Lecture 15: Nonlinear Systems and Lyapunov Functions Overview Our next goal is to extend LMI s and optimization to nonlinear

More information

Dynamical Systems & Lyapunov Stability

Dynamical Systems & Lyapunov Stability Dynamical Systems & Lyapunov Stability Harry G. Kwatny Department of Mechanical Engineering & Mechanics Drexel University Outline Ordinary Differential Equations Existence & uniqueness Continuous dependence

More information

There is a more global concept that is related to this circle of ideas that we discuss somewhat informally. Namely, a region R R n with a (smooth)

There is a more global concept that is related to this circle of ideas that we discuss somewhat informally. Namely, a region R R n with a (smooth) 82 Introduction Liapunov Functions Besides the Liapunov spectral theorem, there is another basic method of proving stability that is a generalization of the energy method we have seen in the introductory

More information

Introduction to Nonlinear Control Lecture # 3 Time-Varying and Perturbed Systems

Introduction to Nonlinear Control Lecture # 3 Time-Varying and Perturbed Systems p. 1/5 Introduction to Nonlinear Control Lecture # 3 Time-Varying and Perturbed Systems p. 2/5 Time-varying Systems ẋ = f(t, x) f(t, x) is piecewise continuous in t and locally Lipschitz in x for all t

More information

1. The Transition Matrix (Hint: Recall that the solution to the linear equation ẋ = Ax + Bu is

1. The Transition Matrix (Hint: Recall that the solution to the linear equation ẋ = Ax + Bu is ECE 55, Fall 2007 Problem Set #4 Solution The Transition Matrix (Hint: Recall that the solution to the linear equation ẋ Ax + Bu is x(t) e A(t ) x( ) + e A(t τ) Bu(τ)dτ () This formula is extremely important

More information

Passivity-based Stabilization of Non-Compact Sets

Passivity-based Stabilization of Non-Compact Sets Passivity-based Stabilization of Non-Compact Sets Mohamed I. El-Hawwary and Manfredi Maggiore Abstract We investigate the stabilization of closed sets for passive nonlinear systems which are contained

More information

Name: AK-Nummer: Ergänzungsprüfung January 29, 2016

Name: AK-Nummer: Ergänzungsprüfung January 29, 2016 INSTRUCTIONS: The test has a total of 32 pages including this title page and 9 questions which are marked out of 10 points; ensure that you do not omit a page by mistake. Please write your name and AK-Nummer

More information

STABILITY. Phase portraits and local stability

STABILITY. Phase portraits and local stability MAS271 Methods for differential equations Dr. R. Jain STABILITY Phase portraits and local stability We are interested in system of ordinary differential equations of the form ẋ = f(x, y), ẏ = g(x, y),

More information

DOMAIN OF ATTRACTION: ESTIMATES FOR NON-POLYNOMIAL SYSTEMS VIA LMIS. Graziano Chesi

DOMAIN OF ATTRACTION: ESTIMATES FOR NON-POLYNOMIAL SYSTEMS VIA LMIS. Graziano Chesi DOMAIN OF ATTRACTION: ESTIMATES FOR NON-POLYNOMIAL SYSTEMS VIA LMIS Graziano Chesi Dipartimento di Ingegneria dell Informazione Università di Siena Email: chesi@dii.unisi.it Abstract: Estimating the Domain

More information

Lyapunov Stability Analysis: Open Loop

Lyapunov Stability Analysis: Open Loop Copyright F.L. Lewis 008 All rights reserved Updated: hursday, August 8, 008 Lyapunov Stability Analysis: Open Loop We know that the stability of linear time-invariant (LI) dynamical systems can be determined

More information

Solution via Laplace transform and matrix exponential

Solution via Laplace transform and matrix exponential EE263 Autumn 2015 S. Boyd and S. Lall Solution via Laplace transform and matrix exponential Laplace transform solving ẋ = Ax via Laplace transform state transition matrix matrix exponential qualitative

More information

Chapter 13 Internal (Lyapunov) Stability 13.1 Introduction We have already seen some examples of both stable and unstable systems. The objective of th

Chapter 13 Internal (Lyapunov) Stability 13.1 Introduction We have already seen some examples of both stable and unstable systems. The objective of th Lectures on Dynamic Systems and Control Mohammed Dahleh Munther A. Dahleh George Verghese Department of Electrical Engineering and Computer Science Massachuasetts Institute of Technology 1 1 c Chapter

More information

Nonlinear Control Systems

Nonlinear Control Systems Nonlinear Control Systems António Pedro Aguiar pedro@isr.ist.utl.pt 3. Fundamental properties IST-DEEC PhD Course http://users.isr.ist.utl.pt/%7epedro/ncs2012/ 2012 1 Example Consider the system ẋ = f

More information

1 Controllability and Observability

1 Controllability and Observability 1 Controllability and Observability 1.1 Linear Time-Invariant (LTI) Systems State-space: Dimensions: Notation Transfer function: ẋ = Ax+Bu, x() = x, y = Cx+Du. x R n, u R m, y R p. Note that H(s) is always

More information

Hybrid Systems - Lecture n. 3 Lyapunov stability

Hybrid Systems - Lecture n. 3 Lyapunov stability OUTLINE Focus: stability of equilibrium point Hybrid Systems - Lecture n. 3 Lyapunov stability Maria Prandini DEI - Politecnico di Milano E-mail: prandini@elet.polimi.it continuous systems decribed by

More information

CDS 101/110a: Lecture 2.1 Dynamic Behavior

CDS 101/110a: Lecture 2.1 Dynamic Behavior CDS 11/11a: Lecture 2.1 Dynamic Behavior Richard M. Murray 6 October 28 Goals: Learn to use phase portraits to visualize behavior of dynamical systems Understand different types of stability for an equilibrium

More information

Solution of Linear State-space Systems

Solution of Linear State-space Systems Solution of Linear State-space Systems Homogeneous (u=0) LTV systems first Theorem (Peano-Baker series) The unique solution to x(t) = (t, )x 0 where The matrix function is given by is called the state

More information

Half of Final Exam Name: Practice Problems October 28, 2014

Half of Final Exam Name: Practice Problems October 28, 2014 Math 54. Treibergs Half of Final Exam Name: Practice Problems October 28, 24 Half of the final will be over material since the last midterm exam, such as the practice problems given here. The other half

More information

Hybrid Systems Course Lyapunov stability

Hybrid Systems Course Lyapunov stability Hybrid Systems Course Lyapunov stability OUTLINE Focus: stability of an equilibrium point continuous systems decribed by ordinary differential equations (brief review) hybrid automata OUTLINE Focus: stability

More information

Control Systems. Internal Stability - LTI systems. L. Lanari

Control Systems. Internal Stability - LTI systems. L. Lanari Control Systems Internal Stability - LTI systems L. Lanari outline LTI systems: definitions conditions South stability criterion equilibrium points Nonlinear systems: equilibrium points examples stable

More information

Modeling & Control of Hybrid Systems Chapter 4 Stability

Modeling & Control of Hybrid Systems Chapter 4 Stability Modeling & Control of Hybrid Systems Chapter 4 Stability Overview 1. Switched systems 2. Lyapunov theory for smooth and linear systems 3. Stability for any switching signal 4. Stability for given switching

More information

1.7. Stability and attractors. Consider the autonomous differential equation. (7.1) ẋ = f(x),

1.7. Stability and attractors. Consider the autonomous differential equation. (7.1) ẋ = f(x), 1.7. Stability and attractors. Consider the autonomous differential equation (7.1) ẋ = f(x), where f C r (lr d, lr d ), r 1. For notation, for any x lr d, c lr, we let B(x, c) = { ξ lr d : ξ x < c }. Suppose

More information

Nonlinear Autonomous Systems of Differential

Nonlinear Autonomous Systems of Differential Chapter 4 Nonlinear Autonomous Systems of Differential Equations 4.0 The Phase Plane: Linear Systems 4.0.1 Introduction Consider a system of the form x = A(x), (4.0.1) where A is independent of t. Such

More information

16.30/31, Fall 2010 Recitation # 13

16.30/31, Fall 2010 Recitation # 13 16.30/31, Fall 2010 Recitation # 13 Brandon Luders December 6, 2010 In this recitation, we tie the ideas of Lyapunov stability analysis (LSA) back to previous ways we have demonstrated stability - but

More information

Input-to-state stability and interconnected Systems

Input-to-state stability and interconnected Systems 10th Elgersburg School Day 1 Input-to-state stability and interconnected Systems Sergey Dashkovskiy Universität Würzburg Elgersburg, March 5, 2018 1/20 Introduction Consider Solution: ẋ := dx dt = ax,

More information

Module 06 Stability of Dynamical Systems

Module 06 Stability of Dynamical Systems Module 06 Stability of Dynamical Systems Ahmad F. Taha EE 5143: Linear Systems and Control Email: ahmad.taha@utsa.edu Webpage: http://engineering.utsa.edu/ataha October 10, 2017 Ahmad F. Taha Module 06

More information

Handout 2: Invariant Sets and Stability

Handout 2: Invariant Sets and Stability Engineering Tripos Part IIB Nonlinear Systems and Control Module 4F2 1 Invariant Sets Handout 2: Invariant Sets and Stability Consider again the autonomous dynamical system ẋ = f(x), x() = x (1) with state

More information

Nonlinear Dynamical Systems Lecture - 01

Nonlinear Dynamical Systems Lecture - 01 Nonlinear Dynamical Systems Lecture - 01 Alexandre Nolasco de Carvalho August 08, 2017 Presentation Course contents Aims and purpose of the course Bibliography Motivation To explain what is a dynamical

More information

EML5311 Lyapunov Stability & Robust Control Design

EML5311 Lyapunov Stability & Robust Control Design EML5311 Lyapunov Stability & Robust Control Design 1 Lyapunov Stability criterion In Robust control design of nonlinear uncertain systems, stability theory plays an important role in engineering systems.

More information

Using Lyapunov Theory I

Using Lyapunov Theory I Lecture 33 Stability Analysis of Nonlinear Systems Using Lyapunov heory I Dr. Radhakant Padhi Asst. Professor Dept. of Aerospace Engineering Indian Institute of Science - Bangalore Outline Motivation Definitions

More information

CDS 101/110a: Lecture 2.1 Dynamic Behavior

CDS 101/110a: Lecture 2.1 Dynamic Behavior CDS 11/11a: Lecture.1 Dynamic Behavior Richard M. Murray 6 October 8 Goals: Learn to use phase portraits to visualize behavior of dynamical systems Understand different types of stability for an equilibrium

More information

(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively);

(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively); STABILITY OF EQUILIBRIA AND LIAPUNOV FUNCTIONS. By topological properties in general we mean qualitative geometric properties (of subsets of R n or of functions in R n ), that is, those that don t depend

More information

1 The Observability Canonical Form

1 The Observability Canonical Form NONLINEAR OBSERVERS AND SEPARATION PRINCIPLE 1 The Observability Canonical Form In this Chapter we discuss the design of observers for nonlinear systems modelled by equations of the form ẋ = f(x, u) (1)

More information

Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games

Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,

More information

Control of Mobile Robots

Control of Mobile Robots Control of Mobile Robots Regulation and trajectory tracking Prof. Luca Bascetta (luca.bascetta@polimi.it) Politecnico di Milano Dipartimento di Elettronica, Informazione e Bioingegneria Organization and

More information

Department of Mathematics IIT Guwahati

Department of Mathematics IIT Guwahati Stability of Linear Systems in R 2 Department of Mathematics IIT Guwahati A system of first order differential equations is called autonomous if the system can be written in the form dx 1 dt = g 1(x 1,

More information

7.1 Linear Systems Stability Consider the Continuous-Time (CT) Linear Time-Invariant (LTI) system

7.1 Linear Systems Stability Consider the Continuous-Time (CT) Linear Time-Invariant (LTI) system 7 Stability 7.1 Linear Systems Stability Consider the Continuous-Time (CT) Linear Time-Invariant (LTI) system ẋ(t) = A x(t), x(0) = x 0, A R n n, x 0 R n. (14) The origin x = 0 is a globally asymptotically

More information

Robotics. Control Theory. Marc Toussaint U Stuttgart

Robotics. Control Theory. Marc Toussaint U Stuttgart Robotics Control Theory Topics in control theory, optimal control, HJB equation, infinite horizon case, Linear-Quadratic optimal control, Riccati equations (differential, algebraic, discrete-time), controllability,

More information

Math 4B Notes. Written by Victoria Kala SH 6432u Office Hours: T 12:45 1:45pm Last updated 7/24/2016

Math 4B Notes. Written by Victoria Kala SH 6432u Office Hours: T 12:45 1:45pm Last updated 7/24/2016 Math 4B Notes Written by Victoria Kala vtkala@math.ucsb.edu SH 6432u Office Hours: T 2:45 :45pm Last updated 7/24/206 Classification of Differential Equations The order of a differential equation is the

More information

y = x 3 and y = 2x 2 x. 2x 2 x = x 3 x 3 2x 2 + x = 0 x(x 2 2x + 1) = 0 x(x 1) 2 = 0 x = 0 and x = (x 3 (2x 2 x)) dx

y = x 3 and y = 2x 2 x. 2x 2 x = x 3 x 3 2x 2 + x = 0 x(x 2 2x + 1) = 0 x(x 1) 2 = 0 x = 0 and x = (x 3 (2x 2 x)) dx Millersville University Name Answer Key Mathematics Department MATH 2, Calculus II, Final Examination May 4, 2, 8:AM-:AM Please answer the following questions. Your answers will be evaluated on their correctness,

More information

Control of Robotic Manipulators

Control of Robotic Manipulators Control of Robotic Manipulators Set Point Control Technique 1: Joint PD Control Joint torque Joint position error Joint velocity error Why 0? Equivalent to adding a virtual spring and damper to the joints

More information

EG4321/EG7040. Nonlinear Control. Dr. Matt Turner

EG4321/EG7040. Nonlinear Control. Dr. Matt Turner EG4321/EG7040 Nonlinear Control Dr. Matt Turner EG4321/EG7040 [An introduction to] Nonlinear Control Dr. Matt Turner EG4321/EG7040 [An introduction to] Nonlinear [System Analysis] and Control Dr. Matt

More information

2.3 Calculus of variations

2.3 Calculus of variations 2.3 Calculus of variations 2.3.1 Euler-Lagrange equation The action functional S[x(t)] = L(x, ẋ, t) dt (2.3.1) which maps a curve x(t) to a number, can be expanded in a Taylor series { S[x(t) + δx(t)]

More information

STABILITY OF PLANAR NONLINEAR SWITCHED SYSTEMS

STABILITY OF PLANAR NONLINEAR SWITCHED SYSTEMS LABORATOIRE INORMATIQUE, SINAUX ET SYSTÈMES DE SOPHIA ANTIPOLIS UMR 6070 STABILITY O PLANAR NONLINEAR SWITCHED SYSTEMS Ugo Boscain, régoire Charlot Projet TOpModel Rapport de recherche ISRN I3S/RR 2004-07

More information

A Generalization of Barbalat s Lemma with Applications to Robust Model Predictive Control

A Generalization of Barbalat s Lemma with Applications to Robust Model Predictive Control A Generalization of Barbalat s Lemma with Applications to Robust Model Predictive Control Fernando A. C. C. Fontes 1 and Lalo Magni 2 1 Officina Mathematica, Departamento de Matemática para a Ciência e

More information

Nonlinear Dynamical Systems Eighth Class

Nonlinear Dynamical Systems Eighth Class Nonlinear Dynamical Systems Eighth Class Alexandre Nolasco de Carvalho September 19, 2017 Now we exhibit a Morse decomposition for a dynamically gradient semigroup and use it to prove that a dynamically

More information

Nonlinear System Analysis

Nonlinear System Analysis Nonlinear System Analysis Lyapunov Based Approach Lecture 4 Module 1 Dr. Laxmidhar Behera Department of Electrical Engineering, Indian Institute of Technology, Kanpur. January 4, 2003 Intelligent Control

More information

3. Fundamentals of Lyapunov Theory

3. Fundamentals of Lyapunov Theory Applied Nonlinear Control Nguyen an ien -.. Fundamentals of Lyapunov heory he objective of this chapter is to present Lyapunov stability theorem and illustrate its use in the analysis and the design of

More information

Poincaré Map, Floquet Theory, and Stability of Periodic Orbits

Poincaré Map, Floquet Theory, and Stability of Periodic Orbits Poincaré Map, Floquet Theory, and Stability of Periodic Orbits CDS140A Lecturer: W.S. Koon Fall, 2006 1 Poincaré Maps Definition (Poincaré Map): Consider ẋ = f(x) with periodic solution x(t). Construct

More information

EE222 - Spring 16 - Lecture 2 Notes 1

EE222 - Spring 16 - Lecture 2 Notes 1 EE222 - Spring 16 - Lecture 2 Notes 1 Murat Arcak January 21 2016 1 Licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. Essentially Nonlinear Phenomena Continued

More information

AC&ST AUTOMATIC CONTROL AND SYSTEM THEORY SYSTEMS AND MODELS. Claudio Melchiorri

AC&ST AUTOMATIC CONTROL AND SYSTEM THEORY SYSTEMS AND MODELS. Claudio Melchiorri C. Melchiorri (DEI) Automatic Control & System Theory 1 AUTOMATIC CONTROL AND SYSTEM THEORY SYSTEMS AND MODELS Claudio Melchiorri Dipartimento di Ingegneria dell Energia Elettrica e dell Informazione (DEI)

More information

Nonlinear Control. Nonlinear Control Lecture # 24 State Feedback Stabilization

Nonlinear Control. Nonlinear Control Lecture # 24 State Feedback Stabilization Nonlinear Control Lecture # 24 State Feedback Stabilization Feedback Lineaization What information do we need to implement the control u = γ 1 (x)[ ψ(x) KT(x)]? What is the effect of uncertainty in ψ,

More information

Convergence Rate of Nonlinear Switched Systems

Convergence Rate of Nonlinear Switched Systems Convergence Rate of Nonlinear Switched Systems Philippe JOUAN and Saïd NACIRI arxiv:1511.01737v1 [math.oc] 5 Nov 2015 January 23, 2018 Abstract This paper is concerned with the convergence rate of the

More information

B5.6 Nonlinear Systems

B5.6 Nonlinear Systems B5.6 Nonlinear Systems 5. Global Bifurcations, Homoclinic chaos, Melnikov s method Alain Goriely 2018 Mathematical Institute, University of Oxford Table of contents 1. Motivation 1.1 The problem 1.2 A

More information

Introduction to Nonlinear Control Lecture # 4 Passivity

Introduction to Nonlinear Control Lecture # 4 Passivity p. 1/6 Introduction to Nonlinear Control Lecture # 4 Passivity È p. 2/6 Memoryless Functions ¹ y È Ý Ù È È È È u (b) µ power inflow = uy Resistor is passive if uy 0 p. 3/6 y y y u u u (a) (b) (c) Passive

More information

B5.6 Nonlinear Systems

B5.6 Nonlinear Systems B5.6 Nonlinear Systems 4. Bifurcations Alain Goriely 2018 Mathematical Institute, University of Oxford Table of contents 1. Local bifurcations for vector fields 1.1 The problem 1.2 The extended centre

More information

Impulsive Stabilization and Application to a Population Growth Model*

Impulsive Stabilization and Application to a Population Growth Model* Nonlinear Dynamics and Systems Theory, 2(2) (2002) 173 184 Impulsive Stabilization and Application to a Population Growth Model* Xinzhi Liu 1 and Xuemin Shen 2 1 Department of Applied Mathematics, University

More information

Autonomous system = system without inputs

Autonomous system = system without inputs Autonomous system = system without inputs State space representation B(A,C) = {y there is x, such that σx = Ax, y = Cx } x is the state, n := dim(x) is the state dimension, y is the output Polynomial representation

More information

ENERGY DECAY ESTIMATES FOR LIENARD S EQUATION WITH QUADRATIC VISCOUS FEEDBACK

ENERGY DECAY ESTIMATES FOR LIENARD S EQUATION WITH QUADRATIC VISCOUS FEEDBACK Electronic Journal of Differential Equations, Vol. 00(00, No. 70, pp. 1 1. ISSN: 107-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp ENERGY DECAY ESTIMATES

More information

11 Chaos in Continuous Dynamical Systems.

11 Chaos in Continuous Dynamical Systems. 11 CHAOS IN CONTINUOUS DYNAMICAL SYSTEMS. 47 11 Chaos in Continuous Dynamical Systems. Let s consider a system of differential equations given by where x(t) : R R and f : R R. ẋ = f(x), The linearization

More information

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R

More information

Chapter 6 Nonlinear Systems and Phenomena. Friday, November 2, 12

Chapter 6 Nonlinear Systems and Phenomena. Friday, November 2, 12 Chapter 6 Nonlinear Systems and Phenomena 6.1 Stability and the Phase Plane We now move to nonlinear systems Begin with the first-order system for x(t) d dt x = f(x,t), x(0) = x 0 In particular, consider

More information

LECTURE 8: DYNAMICAL SYSTEMS 7

LECTURE 8: DYNAMICAL SYSTEMS 7 15-382 COLLECTIVE INTELLIGENCE S18 LECTURE 8: DYNAMICAL SYSTEMS 7 INSTRUCTOR: GIANNI A. DI CARO GEOMETRIES IN THE PHASE SPACE Damped pendulum One cp in the region between two separatrix Separatrix Basin

More information

Video 8.1 Vijay Kumar. Property of University of Pennsylvania, Vijay Kumar

Video 8.1 Vijay Kumar. Property of University of Pennsylvania, Vijay Kumar Video 8.1 Vijay Kumar 1 Definitions State State equations Equilibrium 2 Stability Stable Unstable Neutrally (Critically) Stable 3 Stability Translate the origin to x e x(t) =0 is stable (Lyapunov stable)

More information

ADMISSION TEST INDUSTRIAL AUTOMATION ENGINEERING

ADMISSION TEST INDUSTRIAL AUTOMATION ENGINEERING UNIVERSITÀ DEGLI STUDI DI PAVIA ADMISSION TEST INDUSTRIAL AUTOMATION ENGINEERING September 26, 2016 The candidates are required to answer the following multiple choice test which includes 30 questions;

More information

Polynomial level-set methods for nonlinear dynamical systems analysis

Polynomial level-set methods for nonlinear dynamical systems analysis Proceedings of the Allerton Conference on Communication, Control and Computing pages 64 649, 8-3 September 5. 5.7..4 Polynomial level-set methods for nonlinear dynamical systems analysis Ta-Chung Wang,4

More information