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

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

High-Gain Observers in Nonlinear Feedback Control

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

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

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

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

Input to state Stability

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

High-Gain Observers in Nonlinear Feedback Control. Lecture # 2 Separation Principle

Input to state Stability

Stability of Nonlinear Systems An Introduction

Stabilization in spite of matched unmodelled dynamics and An equivalent definition of input-to-state stability

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

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

A small-gain type stability criterion for large scale networks of ISS systems

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

Nonlinear Control Systems

Nonlinear Control Lecture # 14 Tracking & Regulation. Nonlinear Control

Converse Lyapunov theorem and Input-to-State Stability

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

High-Gain Observers in Nonlinear Feedback Control. Lecture # 3 Regulation

Nonlinear Control Lecture # 36 Tracking & Regulation. Nonlinear Control

arxiv: v3 [math.ds] 22 Feb 2012

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

Bounded uniformly continuous functions

Time-varying Consumption Tax, Productive Government Spending, and Aggregate Instability.

Nonlinear Control Lecture 5: Stability Analysis II

IN [1], an Approximate Dynamic Inversion (ADI) control

STABILITY ANALYSIS OF DYNAMIC SYSTEMS

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

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

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

Tonelli Full-Regularity in the Calculus of Variations and Optimal Control

Nonlinear Dynamical Systems Lecture - 01

Lecture 10: Singular Perturbations and Averaging 1

Introduction to Nonlinear Control Lecture # 4 Passivity

Input-to-state stability and interconnected Systems

Convexity of the Reachable Set of Nonlinear Systems under L 2 Bounded Controls

Nonlinear Control Systems

Computation of Local ISS Lyapunov Function Via Linear Programming

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

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

Solution of Additional Exercises for Chapter 4

Event-based Stabilization of Nonlinear Time-Delay Systems

On the Well-Posedness of the Cauchy Problem for a Neutral Differential Equation with Distributed Prehistory

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

First Order Initial Value Problems

CDS Solutions to the Midterm Exam

Control design with guaranteed ultimate bound for feedback linearizable systems

Stability of Stochastic Differential Equations

ξ,i = x nx i x 3 + δ ni + x n x = 0. x Dξ = x i ξ,i = x nx i x i x 3 Du = λ x λ 2 xh + x λ h Dξ,

LMI Methods in Optimal and Robust Control

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

The Poincare map for randomly perturbed periodic mo5on

Robust Stabilization of Non-Minimum Phase Nonlinear Systems Using Extended High Gain Observers

2 Statement of the problem and assumptions

Stability of Parameter Adaptation Algorithms. Big picture

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

Further Equivalences and Semiglobal Versions of Integral Input to State Stability

On the representation of switched systems with inputs by perturbed control systems

Modeling & Control of Hybrid Systems Chapter 4 Stability

Traveling waves in a one-dimensional heterogeneous medium

Singular Perturbations of Stochastic Control Problems with Unbounded Fast Variables

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

Chapter III. Stability of Linear Systems

EG4321/EG7040. Nonlinear Control. Dr. Matt Turner

Input to state dynamical stability and its Lyapunov function characterization

Lecture 2: Controllability of nonlinear systems

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Autonomous Helicopter Landing A Nonlinear Output Regulation Perspective

Student Solutions Manual for. Design of Nonlinear Control Systems with the Highest Derivative in Feedback

On the dynamics of strongly tridiagonal competitive-cooperative system

A Simple Self-triggered Sampler for Nonlinear Systems

Relative Controllability of Fractional Dynamical Systems with Multiple Delays in Control

for all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true

Qualifying Exam in Probability and Statistics.

Lecture No 1 Introduction to Diffusion equations The heat equat

Unbounded energy growth in Hamiltonian systems with a slowly varying parameter

UNCERTAINTY FUNCTIONAL DIFFERENTIAL EQUATIONS FOR FINANCE

Convergent systems: analysis and synthesis

Norm-controllability, or how a nonlinear system responds to large inputs

Lecture 3: Random variables, distributions, and transformations

Controlling Human Heart Rate Response During Treadmill Exercise

2.152 Course Notes Contraction Analysis MIT, 2005

Modelling and Mathematical Methods in Process and Chemical Engineering

New ideas in the non-equilibrium statistical physics and the micro approach to transportation flows

ECEEN 5448 Fall 2011 Homework #5 Solutions

DISCRETE-TIME TIME-VARYING ROBUST STABILIZATION FOR SYSTEMS IN POWER FORM. Dina Shona Laila and Alessandro Astolfi

From convergent dynamics to incremental stability

ASTATISM IN NONLINEAR CONTROL SYSTEMS WITH APPLICATION TO ROBOTICS

Asymptotic behaviour of solutions of third order nonlinear differential equations

Chap. 3. Controlled Systems, Controllability

An asymptotic ratio characterization of input-to-state stability

Reflected Brownian Motion

Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games

Chain differentials with an application to the mathematical fear operator

Logistic Map, Euler & Runge-Kutta Method and Lotka-Volterra Equations

Eddy-diffusivity fields in turbulent transport: explicit expressions

Nonlinear Systems Theory

NONLINEAR CONTROLLER DESIGN FOR ACTIVE SUSPENSION SYSTEMS USING THE IMMERSION AND INVARIANCE METHOD

Transcription:

p. 1/1 Nonlinear Systems and Control Lecture # 19 Perturbed Systems & Input-to-State Stability

p. 2/1 Perturbed Systems: Nonvanishing Perturbation Nominal System: Perturbed System: ẋ = f(x), f(0) = 0 ẋ = f(x) + g(t, x), g(t, 0) 0 Case 1: The origin of ẋ = f(x) is exponentially stable c 1 x 2 V (x) c 2 x 2 V x f(x) c 3 x 2, x B r = { x r} V x c 4 x

p. 3/1 Use V (x) to investigate ultimate boundedness of the perturbed system Assume V (t, x) = V x g(t, x) δ, V (t, x) c 3 x 2 + f(x) + V x V x g(t, x) t 0, x B r g(t, x) c 3 x 2 + c 4 δ x = (1 θ)c 3 x 2 θc 3 x 2 + c 4 δ x 0 < θ < 1 (1 θ)c 3 x 2, x δc 4 /(θc 3 ) def = µ

p. 4/1 Apply Theorem 4.18 x(t 0 ) α 1 2 (α 1(r)) x(t 0 ) r c1 µ < α 1 2 (α 1(r)) δc 4 c1 < r δ < c 3 c1 θr θc 3 c 2 c 4 c 2 b = α 1 c2 1 (α 2(µ)) b = µ b = δc 4 c2 c 1 θc 3 c 1 For all x(t 0 ) r c 1 /c 2, the solutions of the perturbed system are ultimately bounded by b c 2

p. 5/1 Example ẋ 1 = x 2, ẋ 2 = 4x 1 2x 2 + βx 3 2 + d(t) β 0, d(t) δ, t 0 V (x) = x T Px = x T 3 2 1 8 1 8 5 16 x (Lecture 13) V (t, x) = x 2 + 2βx 2 ( 1 2 8 x 1x 2 + 5 ) 16 x2 2 + 2d(t) ( 1 8 x 1 + 5 16 x ) 2 29 29δ x 2 + 8 βk2 2 x 2 + x 8

p. 6/1 k 2 = max x T P x c x 2 = 1.8194 c Suppose β 8(1 ζ)/( 29k2 2 ) (0 < ζ < 1) V (t, x) ζ x 2 + 29δ 8 x (1 θ)ζ x 2, x 29δ 8ζθ def = µ (0 < θ < 1) If µ 2 λ max (P) < c, then all solutions of the perturbed system, starting in Ω c, are uniformly ultimately bounded by 29δ λ max (P) b = 8ζθ λ min (P)

p. 7/1 Case 2: The origin of ẋ = f(x) is asymptotically stable α 1 ( x ) V (x) α 2 ( x ) V x f(x) α 3( x ), V x k x B r = { x r}, α i K, i = 1, 2, 3 V (t, x) α 3 ( x ) + V x g(t, x) α 3 ( x ) + δk (1 θ)α 3 ( x ) θα 3 ( x ) + δk (1 θ)α 3 ( x ), x α 1 3 0 < θ < 1 ( δk θ ) def = µ

Apply Theorem 4.18 µ < α 1 2 (α 1(r)) α 1 3 ( ) δk θ < α 1 2 (α 1(r)) δ < θα 3(α 1 2 (α 1(r))) k Example V (x) = x 4 Compare with δ < c 3 c1 θr c 4 c 2 ẋ = x 1 + x 2 V [ x ] x 1 + x 2 = 4x4 1 + x 2 α 1 ( x ) = α 2 ( x ) = x 4 ; α 3 ( x ) = 4 x 4 1 + x 2; k = 4r3 p. 8/1

p. 9/1 The origin is globally asymptotically stable θα 3 (α 1 2 (α 1(r))) k = θα 3(r) k rθ 1 + r 2 0 as r ẋ = x 1 + x 2 + δ, δ > 0 δ > 1 2 lim t x(t) = = rθ 1 + r 2

p. 10/1 Input-to-State Stability (ISS) Definition: The system ẋ = f(x, u) is input-to-state stable if there exist β KL and γ K such that for any initial state x(t 0 ) and any bounded input u(t) ( ) x(t) β( x(t 0 ), t t 0 ) + γ ISS of ẋ = f(x, u) implies BIBS stability sup t 0 τ t u(τ) x(t) is ultimately bounded by a class K function of sup t t0 u(t) lim t u(t) = 0 lim t x(t) = 0 The origin of ẋ = f(x, 0) is GAS

p. 11/1 Theorem (Special case of Thm 4.19): Let V (x) be a continuously differentiable function such that V α 1 ( x ) V (x) α 2 ( x ) x f(x, u) W 3(x), x ρ( u ) > 0 x R n, u R m, where α 1, α 2 K, ρ K, and W 3 (x) is a continuous positive definite function. Then, the system ẋ = f(x, u) is ISS with γ = α 1 1 α 2 ρ Proof: Let µ = ρ(sup τ t0 u(τ) ); then V x f(x, u) W 3(x), x µ

p. 12/1 Choose ε and c such that V x f(x, u) W 3(x), x Λ = {ε V (x) c} Suppose x(t 0 ) Λ and x(t) reaches Ω ε at t = t 0 + T. For t 0 t t 0 + T, V satisfies the conditions for the uniform asymptotic stability. Therefore, the trajectory behaves as if the origin was uniformly asymptotically stable and satisfies x(t) β( x(t 0 ), t t 0 ), for some β KL For t t 0 + T, x(t) α 1 1 (α 2(µ))

p. 13/1 x(t) β( x(t 0 ), t t 0 ) + α 1 1 (α 2(µ)), t t 0 x(t) β( x(t 0 ), t t 0 ) + γ ( sup u(τ) τ t 0 ), t t 0 Since x(t) depends only on u(τ) for t 0 τ t, the supremum on the right-hand side can be taken over [t 0, t]

p. 14/1 Example ẋ = x 3 + u The origin of ẋ = x 3 is globally asymptotically stable V = 1 2 x2 V = x 4 + xu = (1 θ)x 4 θx 4 + xu (1 θ)x 4, x ( u θ ) 1/3 0 < θ < 1 The system is ISS with γ(r) = (r/θ) 1/3

p. 15/1 Example ẋ = x 2x 3 + (1 + x 2 )u 2 The origin of ẋ = x 2x 3 is globally exponentially stable V = 1 2 x2 V = x 2 2x 4 + x(1 + x 2 )u 2 = x 4 x 2 (1 + x 2 ) + x(1 + x 2 )u 2 x 4, x u 2 The system is ISS with γ(r) = r 2

p. 16/1 Example ẋ 1 = x 1 + x 2 2, ẋ 2 = x 2 + u Investigate GAS of ẋ 1 = x 1 + x 2 2, ẋ 2 = x 2 V (x) = 1 2 x2 1 + 1 4 x4 2 V = x 2 1 + x 1x 2 2 x4 2 = (x 1 1 2 x2 2 )2 ( 1 1 4 ) x 4 2 Now u 0, V = 1 2 (x 1 x 2 2 )2 1 2 (x2 1 + x4 2 ) + x3 2 u 1 2 (x2 1 + x4 2 ) + x 2 3 u V 1 2 (1 θ)(x2 1 + x4 2 ) 1 2 θ(x2 1 + x4 2 ) + x 2 3 u (0 < θ < 1)

p. 17/1 1 2 θ(x2 1 + x4 2 ) + x 2 3 u 0 if x 2 2 u or x 2 2 u and x 1 θ θ if x 2 u ( ) 2 u 2 1 + θ θ ρ(r) = 2r ( ) 2r 2 1 + θ θ ( 2 u θ ) 2 V 1 2 (1 θ)(x2 1 + x4 2 ), x ρ( u ) The system is ISS

p. 18/1 Find γ For x 2 x 1, For x 2 x 1, min { 1 4 x 2, V (x) = 1 2 x2 1 + 1 4 x4 2 1 4 (x2 1 + x2 2 ) 1 4 x2 1 + 1 4 x2 1 = 1 2 x2 1 V (x) 1 16 (x2 1 +x2 2 )2 1 16 (x2 2 +x2 2 )2 = 1 4 x4 2 V (x) 1 16 x 4} V (x) 1 2 x 2 + 1 4 x 4 α 1 (r) = 1 4 min { r 2, 1 4 r4}, α 1 1 (s) = { γ = α 1 1 α 2 ρ α 2 (r) = 1 2 r2 + 1 4 r4 2(s) 1 4, if s 1 2 s, if s 1