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

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

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

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

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

Nonlinear Control Lecture 5: Stability Analysis II

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

Converse Lyapunov theorem and Input-to-State Stability

Nonlinear Control Systems

Georgia Institute of Technology Nonlinear Controls Theory Primer ME 6402

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

Lecture 8. Chapter 5: Input-Output Stability Chapter 6: Passivity Chapter 14: Passivity-Based Control. Eugenio Schuster.

Lyapunov stability ORDINARY DIFFERENTIAL EQUATIONS

Lyapunov Theory for Discrete Time Systems

Solution of Additional Exercises for Chapter 4

Hybrid Control and Switched Systems. Lecture #11 Stability of switched system: Arbitrary switching

Nonlinear Control. Nonlinear Control Lecture # 6 Passivity and Input-Output Stability

Nonlinear Systems and Control Lecture # 19 Perturbed Systems & Input-to-State Stability

Nonlinear Control Lecture # 1 Introduction. Nonlinear Control

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

Modeling & Control of Hybrid Systems Chapter 4 Stability

Nonlinear Control Lecture # 14 Input-Output Stability. Nonlinear Control

Stability of Nonlinear Systems An Introduction

Solution of Linear State-space Systems

1 Lyapunov theory of stability

High-Gain Observers in Nonlinear Feedback Control

Lyapunov Stability Theory

MCE693/793: Analysis and Control of Nonlinear Systems

An asymptotic ratio characterization of input-to-state stability

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

Hybrid Systems - Lecture n. 3 Lyapunov stability

Stability and Control of dc Micro-grids

Nonlinear Systems Theory

Existence and uniqueness: Picard s theorem

Hybrid Systems Course Lyapunov stability

Nonlinear systems. Lyapunov stability theory. G. Ferrari Trecate

Chapter 2 Mathematical Preliminaries

Input to state Stability

Nonlinear Control Systems

Lyapunov Stability Stability of Equilibrium Points

Convergence Rate of Nonlinear Switched Systems

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

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

Introduction to Nonlinear Control Lecture # 4 Passivity

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

LMI Methods in Optimal and Robust Control

1 The Observability Canonical Form

STABILITY ANALYSIS OF DYNAMIC SYSTEMS

Lecture 10: Singular Perturbations and Averaging 1

arxiv: v3 [math.ds] 22 Feb 2012

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

Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction

EG4321/EG7040. Nonlinear Control. Dr. Matt Turner

Input-to-state stability and interconnected Systems

Chapter III. Stability of Linear Systems

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

Hybrid Control and Switched Systems. Lecture #7 Stability and convergence of ODEs

Modeling and Analysis of Dynamic Systems

Lecture 7 Monotonicity. September 21, 2008

EN Nonlinear Control and Planning in Robotics Lecture 10: Lyapunov Redesign and Robust Backstepping April 6, 2015

L 2 -induced Gains of Switched Systems and Classes of Switching Signals

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

Mechanical Translational Systems

Using Lyapunov Theory I

Stability of Stochastic Differential Equations

AN ALGORITHM FOR CONSTRUCTING LYAPUNOV FUNCTIONS

Finite-time stability and input-to-state stability of stochastic nonlinear systems

Passivity-based Stabilization of Non-Compact Sets

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.

Lyapunov Stability Analysis: Open Loop

Nonlinear Control. Nonlinear Control Lecture # 25 State Feedback Stabilization

On Characterizations of Input-to-State Stability with Respect to Compact Sets

3 Stability and Lyapunov Functions

The Porous Medium Equation

EECE Adaptive Control

A non-coercive Lyapunov framework for stability of distributed parameter systems

Nonlinear Control. Nonlinear Control Lecture # 18 Stability of Feedback Systems

Stability lectures. Stability of Linear Systems. Stability of Linear Systems. Stability of Continuous Systems. EECE 571M/491M, Spring 2008 Lecture 5

Minimum-Phase Property of Nonlinear Systems in Terms of a Dissipation Inequality

STABILITY ANALYSIS OF DETERMINISTIC AND STOCHASTIC SWITCHED SYSTEMS VIA A COMPARISON PRINCIPLE AND MULTIPLE LYAPUNOV FUNCTIONS

f(s)ds, i.e. to write down the general solution in

Stability in the sense of Lyapunov

2 2 + x =

Chap. 3. Controlled Systems, Controllability

Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games

Observability for deterministic systems and high-gain observers

MATH 5640: Fourier Series

Decentralized Event-Triggering for Control of Nonlinear Systems

3 rd class Mech. Eng. Dept. hamdiahmed.weebly.com Fourier Series

SUM-OF-SQUARES BASED STABILITY ANALYSIS FOR SKID-TO-TURN MISSILES WITH THREE-LOOP AUTOPILOT

Solution via Laplace transform and matrix exponential

Nonlinear Observers. Jaime A. Moreno. Eléctrica y Computación Instituto de Ingeniería Universidad Nacional Autónoma de México

Automatic Control 2. Nonlinear systems. Prof. Alberto Bemporad. University of Trento. Academic year

STABILIZATION THROUGH HYBRID CONTROL

CDS Solutions to the Midterm Exam

Nash Equilibrium Seeking with Output Regulation. Andrew R. Romano

Anti-synchronization of a new hyperchaotic system via small-gain theorem

Nonlinear D-set contraction mappings in partially ordered normed linear spaces and applications to functional hybrid integral equations

Formula Sheet for Optimal Control

ASTATISM IN NONLINEAR CONTROL SYSTEMS WITH APPLICATION TO ROBOTICS

Math 331 Homework Assignment Chapter 7 Page 1 of 9

Transcription:

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 is an equilibrium point at t = 0 if f(t,0) = 0, t 0 While the solution of the time-invariant system ẋ = f(x), x(t 0 ) = x 0 depends only on (t t 0 ), the solution of may depend on both t and t 0 ẋ = f(t,x), x(t 0 ) = x 0

Comparison Functions A scalar continuous function α(r), defined for r [0,a), belongs to class K if it is strictly increasing and α(0) = 0. It belongs to class K if it is defined for all r 0 and α(r) as r A scalar continuous function β(r,s), defined for r [0,a) and s [0, ), belongs to class KL if, for each fixed s, the mapping β(r,s) belongs to class K with respect to r and, for each fixed r, the mapping β(r,s) is decreasing with respect to s and β(r,s) 0 as s

Example 4.1 α(r) = tan 1 (r) is strictly increasing since α (r) = 1/(1+r 2 ) > 0. It belongs to class K, but not to class K since lim r α(r) = π/2 < α(r) = r c, c > 0, is strictly increasing since α (r) = cr c 1 > 0. Moreover, lim r α(r) = ; thus, it belongs to class K α(r) = min{r,r 2 } is continuous, strictly increasing, and lim r α(r) =. Hence, it belongs to class K. It is not continuously differentiable at r = 1. Continuous differentiability is not required for a class K function

β(r,s) = r/(ksr+1), for any positive constant k, is strictly increasing in r since β r = 1 (ksr +1) > 0 2 and strictly decreasing in s since β s = kr2 (ksr +1) 2 < 0 β(r,s) 0 as s. It belongs to class KL β(r,s) = r c e as, with positive constants a and c, belongs to class KL

Lemma 4.1 Let α 1 and α 2 be class K functions on [0,a 1 ) and [0,a 2 ), respectively, with a 1 lim r a2 α 2 (r), and β be a class KL function defined on [0,lim r a2 α 2 (r)) [0, ) with a 1 lim r a2 β(α 2 (r),0). Let α 3 and α 4 be class K functions. Denote the inverse of α i by α 1 i. Then, α1 1 is defined on [0,lim r a1 α 1 (r)) and belongs to class K α 1 3 is defined on [0, ) and belongs to class K α 1 α 2 is defined on [0,a 2 ) and belongs to class K α 3 α 4 is defined on [0, ) and belongs to class K σ(r,s) = α 1 (β(α 2 (r),s)) is defined on [0,a 2 ) [0, ) and belongs to class KL

Lemma 4.2 Let V : D R be a continuous positive definite function defined on a domain D R n that contains the origin. Let B r D for some r > 0. Then, there exist class K functions α 1 and α 2, defined on [0,r], such that α 1 ( x ) V(x) α 2 ( x ) for all x B r. If D = R n and V(x) is radially unbounded, then there exist class K functions α 1 and α 2 such that the foregoing inequality holds for all x R n

Definition 4.2 The equilibrium point x = 0 of ẋ = f(t,x) is uniformly stable if there exist a class K function α and a positive constant c, independent of t 0, such that x(t) α( x(t 0 ) ), t t 0 0, x(t 0 ) < c uniformly asymptotically stable if there exist a class KL function β and a positive constant c, independent of t 0, such that x(t) β( x(t 0 ),t t 0 ), t t 0 0, x(t 0 ) < c globally uniformly asymptotically stable if the foregoing inequality is satisfied for any initial state x(t 0 )

exponentially stable if there exist positive constants c, k, and λ such that x(t) k x(t 0 ) e λ(t t 0), x(t 0 ) < c globally exponentially stable if the foregoing inequality is satisfied for any initial state x(t 0 )

Theorem 4.1 Let the origin x = 0 be an equilibrium point of ẋ = f(t,x) and D R n be a domain containing x = 0. Suppose f(t,x) is piecewise continuous in t and locally Lipschitz in x for all t 0 and x D. Let V(t,x) be a continuously differentiable function such that W 1 (x) V(t,x) W 2 (x) V t + V x f(t,x) 0 for all t 0 and x D, where W 1 (x) and W 2 (x) are continuous positive definite functions on D. Then, the origin is uniformly stable

Theorem 4.2 Suppose the assumptions of the previous theorem are satisfied with V t + V x f(t,x) W 3(x) for all t 0 and x D, where W 3 (x) is a continuous positive definite function on D. Then, the origin is uniformly asymptotically stable. Moreover, if r and c are chosen such that B r = { x r} D and c < min x =r W 1 (x), then every trajectory starting in {W 2 (x) c} satisfies x(t) β( x(t 0 ),t t 0 ), t t 0 0 for some class KL function β. Finally, if D = R n and W 1 (x) is radially unbounded, then the origin is globally uniformly asymptotically stable

Theorem 4.3 Suppose the assumptions of the previous theorem are satisfied with k 1 x a V(t,x) k 2 x a V t + V x f(t,x) k 3 x a for all t 0 and x D, where k 1, k 2, k 3, and a are positive constants. Then, the origin is exponentially stable. If the assumptions hold globally, the origin will be globally exponentially stable

Terminology: A function V(t,x) is said to be positive semidefinite if V(t,x) 0 positive definite if V(t,x) W 1 (x) for some positive definite function W 1 (x) radially unbounded if V(t,x) W 1 (x) and W 1 (x) is radially unbounded decrescent if V(t,x) W 2 (x) negative definite (semidefinite) if V(t, x) is positive definite (semidefinite)

Theorems 4.1 and 4.2 say that the origin is uniformly stable if there is a continuously differentiable, positive definite, decrescent function V(t, x), whose derivative along the trajectories of the system is negative semidefinite. It is uniformly asymptotically stable if the derivative is negative definite, and globally uniformly asymptotically stable if the conditions for uniform asymptotic stability hold globally with a radially unbounded V(t, x)

Example 4.2 ẋ = [1+g(t)]x 3, g(t) 0, t 0 V(x) = 1 2 x2 V(t,x) = [1+g(t)]x 4 x 4, x R, t 0 The origin is globally uniformly asymptotically stable Example 4.3 ẋ 1 = x 1 g(t)x 2, ẋ 2 = x 1 x 2 0 g(t) k and ġ(t) g(t), t 0

V(t,x) = x 2 1 +[1+g(t)]x2 2 x 2 1 +x 2 2 V(t,x) x 2 1 +(1+k)x 2 2, x R 2 V(t,x) = 2x 2 1 +2x 1x 2 [2+2g(t) ġ(t)]x 2 2 2+2g(t) ġ(t) 2+2g(t) g(t) 2 V(t,x) 2x 2 1 +2x 1x 2 2x 2 2 = xt [ 2 1 1 2 The origin is globally exponentially stable ] x