Lecture 8. Chapter 5: Input-Output Stability Chapter 6: Passivity Chapter 14: Passivity-Based Control. Eugenio Schuster.
|
|
- Harry Patrick
- 5 years ago
- Views:
Transcription
1 Lecture 8 Chapter 5: Input-Output Stability Chapter 6: Passivity Chapter 14: Passivity-Based Control Eugenio Schuster schuster@lehigh.edu Mechanical Engineering and Mechanics Lehigh University Lecture 8 p. 1/34
2 Input-Output Stability Broader concept that Input-State Stability (ISS). We consider a system with input-output relation y = Hu, u : [0, ] R m Space of piecewise continuous, bounded functions: L m : u L = sup t 0 u(t) < Space of piecewise continuous, square-integrable functions: L m 2 : u L 2 = 0 u T (t)u(t)dt < Lecture 8 p. 2/34
3 Input-Output Stability More generally, the space L m p for 1 p < : u Lp = ( 0 u(t) p dt) 1/p < Truncated norm for 1 p : u τ Lp = { ( τ 0 u(t) p dt ) 1/p p < sup t [0,τ] u(t) p = allows for the definition of the extended space L m p,e, i.e., L m p,e = {u u τ L m p, τ [0, )} Example: Exponential functions are in this space. Lecture 8 p. 3/34
4 Input-Output Stability Note: We use L to denote any L p norm/space without committing to any particular p. Definition: A mapping H : L m e L q e is L stable if there is a class K function α and a nonnegative constant β such that (Hu) τ L α( u τ L )+β for all u L m e and τ [0, ). It is finite-gain L stable if there are nonnegative constants γ and β such that for all u L m e and τ [0, ). (Hu) τ L γ u τ L +β Lecture 8 p. 4/34
5 Input-Output Stability Let us consider a linear system. Let y = Hu be described by the convolution operator y(t) = t 0 h(t σ)u(σ)dσ Theorem (Young s Convolution Theorem): (See Example 5.2) y τ Lp = (h u) τ Lp h τ L1 u τ Lp, p [1, ] Linear systems are finite-gain L p stable with gain equal to the L 1 norm of the impulse response. Holder s Inequality: If p,q [0, ] and 1 p + 1 q = 1, then τ 0 f(t)g(t) dt ( τ 0 f(t) p dt ) 1/p ( τ 0 g(t) q dt) 1/q, t 0 Proof: Lecture 8 p. 5/34
6 Input-Output Stability Theorem 5.4: Consider the linear time-invariant system ẋ = Ax+Bu y = Cx+Du where A is Hurwitz. Let G(s) = C(sI A) 1 B +D. Then, the L 2 gain of the system is G(jω) H = sup ω R G(jω) 2. Fourier Transform: Parseval s Theorem: Proof: 0 Y(jω) = 0 y T (t)y(t)dt = 1 2π y(t)e jωt dt + Y (jω)y(jω)dω Lecture 8 p. 6/34
7 Input-Output Stability Theorem 5.5: Consider the nonlinear time-invariant system ẋ = f(x)+g(x)u, x ( 0) = x 0, y = h(x) where f(x) is locally Lipschitz, and G(x), h(x) are continuous over R n. The matrix G is n m and h : R n R q. The function f and h vanish at the origin; that is, f(0) = 0 and h(0) = 0. Let γ be a positive number and suppose there is a continuously differentiable, positive semidefinite function V(x) that satisfies the Hamilton-Jacobi inequality def V H(V,f,G,h,γ) = x f(x)+ 1 V 2γ 2 x G(x)GT (x) ( V x ) T ht (x)h(x) 0 for all x R n. For each x 0 R n, the system is finite-gain L 2 stable and its L 2 gain is less than or equal to γ. Proof: Lecture 8 p. 7/34
8 Input-Output Stability Theorem (Alternative to Theorem 5.4): time-invariant system Consider the linear ẋ = Ax+Bu y = Cx Suppose there is a positive semidefinite solution P of the Riccati equation PA+A T P + 1 γ 2PBBT P +C T C = 0 for some γ > 0. Then, the system is L 2 stable and its L 2 gain is less than or equal to γ. Proof: Trivial application of Theorem 5.5. See Example Lecture 8 p. 8/34
9 Input-Output Stability Feedback Systems: Consider the linear time-invariant system Figure 1: Feedback Connection. Lecture 8 p. 9/34
10 Input-Output Stability Theorem 5.6 (Small-Gain Theorem): Suppose H 1 and H 2 are finite-gain L stable with constants (γ 1,β 1 ) and (γ 2,β 2 ) respectively. Then, the feedback connection is finite-gain L stable if γ 1 γ 2 < 1. Proof: Notes: Phase does NOT matter at all. Magnitude of one of the gains dos NOT matter at all as long as the other gain is small enough to satisfy γ 1 γ 2 < 1. This theorem is the foundation of Robust Control. Lecture 8 p. 10/34
11 Passivity Definition 6.3: The system ẋ = f(x,u) y = h(x,u) is said to be passive if there exists a continuously differentiable positive semidefinite function V(x) (called the storage function) such that u T y V = V x f(x,u), (x,u) Rn R p Moreover, it is said to be lossless if u T y = V. Lecture 8 p. 11/34
12 Passivity input-feedforward passive if u T y V +u T φ(u) for some function φ. input strictly passive if u T y V +u T φ(u) and u T φ(u) > 0, for all u 0. output-feedback passive if u T y V +y T ρ(y) for some function ρ. output strictly passive if u T y V +y T ρ(y) and y T ρ(y) > 0, for all y 0. strictly passive if u T y V +ψ(x) for some positive definite function ψ. In all cases the inequality should hold for all (x,u). Lecture 8 p. 12/34
13 Passivity It is useful to write the passivity condition as V ρψ(x) δy T y ǫu T u+u T y The term u T y contains the phase information. The system is: lossless if ρ = δ = ǫ = 0, i.e., V u T y input strictly passive if ǫ > 0 output strictly passive if δ > 0 state strictly passive if ρ > 0 Note: V is allowed to be positive semidefinite. Lecture 8 p. 13/34
14 Passivity Example: Khalil 6.2. Lecture 8 p. 14/34
15 Passivity Lemma 6.5: If the system ẋ = f(x,u) y = h(x,u) with f(0,0) = h(0,0) = 0 is output strictly passive with u T y V +δy T y, for some δ > 0, then it is finite-gain L 2 stable and its L 2 gain is less than or equal to 1/δ. Proof: Lecture 8 p. 15/34
16 Passivity Lemma 6.6: If the system ẋ = f(x,u) y = h(x,u) with f(0,0) = h(0,0) = 0 is passive with a positive definite storage function V(x), then the origin of ẋ = f(x,0) is stable. Proof: Note: To show asymptotic stability of the origin of ẋ = f(x,0), we need to either show that V is negative definite or apply the invariance theorem. Lecture 8 p. 16/34
17 Passivity Definition 6.5: (1) (2) The system ẋ = f(x,u) y = h(x,u) with f(0,0) = h(0,0) = 0 is said to be zero-state observable if no solution of ẋ = f(x,0) can stay identically in S = {x R n h(x,0) = 0}, other than x(t) = 0. Lemma 6.7: Consider the system (1)-((2). The origin of ẋ = f(x,0) is asymptotically stable if the system is strictly passive output strictly passive and zero-state observable If the storage function is radially unbounded, the origin will be globally asymptotically stable. Proof: Lecture 8 p. 17/34
18 Passivity Example: Khalil 6.6. Lecture 8 p. 18/34
19 Passivity Feedback Systems: Consider the linear time-invariant system Figure 2: Feedback Connection. Lecture 8 p. 19/34
20 Passivity Each system can be represented by a state-space model ẋ i = f i (x i,e i ) y i = h i (x i,e i ) The closed-loop state model is ẋ = f(x,u) y = h(x,u) with f(0,0) = h(0,0) = 0 (assumption), where [ ] [ ] [ ] x = x 1 x 2, u = u 1 u 2, y = y 1 y 2 Lecture 8 p. 20/34
21 Passivity Theorem 6.1: The feedback connection of two passive systems is passive. Proof: Lecture 8 p. 21/34
22 Passivity Lemma 6.8: The feedback connection of two output strictly passive systems with e T i y i V i +δ i y T i y i, δ i > 0 is finite-gain L 2 stable and its L 2 gain is less than or equal to 1/min{δ 1,δ 2 }. Theorem 6.2: Consider the feedback connection of two time-invariant dynamical systems that satisfy e T i y i V i +ǫ i e T i e i +δ i y T i y i, ǫ i,δ i > 0 for some storage function V i (x i ). Then, the closed-loop map from u to y is finite-gain L 2 stable if ǫ 1 +δ 2 > 0 and ǫ 2 +δ 1 > 0. Lecture 8 p. 22/34
23 Passivity Theorem 6.3: Consider the feedback connection of two time-invariant dynamical systems. The origin of the close loop system (when u=0) is asymptotically stable if both feedback components are strictly passive both feedback components are output strictly passive and zero-state observable one component is strictly passive and the other one is output strictly passive and zero state observable Furthermore, if the storage function for each component is radially unbounded, the origin is globally asymptotically stable. Proof: Lecture 8 p. 23/34
24 Passivity ISS: SS Pasive: V α( x )+ρ( u ) V α( x )+u T y Neither one implies the other Feedback Interconnections: Small gain: Two stable systems that do not increase amplitude remains stable Passivity: Two stable systems that do not invert phase (sign) remains stable Lecture 8 p. 24/34
25 Passivity-Based Control We consider the p-input-p-output system (3) (4) ẋ = f(x,u) y = h(x) We assume that f(0,0) = 0 so that the origin is an open-loop equilibrium, and h(0) = 0. The system is said to be passive if there exists a continuously differentiable positive semidefinite function V(x) (called the storage function) such that u T y V = V x f(x,u), (x,u) Rn R p The system is zero-state observable if no solution of ẋ = f(x,0) can stay identically in the set {h(x) = 0} other than the trivial solution. Lecture 8 p. 25/34
26 Passivity-Based Control Theorem 14.4: If the system (3)-(4) is passive with a radially unbounded positive definite storage function and zero-state observable the the origin x = 0 can be globally stabilized by u = φ(y), where φ is any locally Lipschitz function such that φ(0) = 0 and y T φ(y) > 0 for all y 0. Proof: Lecture 8 p. 26/34
27 Passivity-Based Control The utility of Theorem 14.4 can be increased by transforming nonpassive systems into passive ones. We consider a special case of (3), where (5) ẋ = f(x)+g(x)u Suppose a radially unbounded, positive definite, continuously differentiable function V(x) exists such that V x If we take f(x) 0, x (origin is open-loop stable) y = h(x) = [ ] T V x G(x), the system with input u and output y is passive. If it is also zero-state observable, we can apply Theorem 14.4 Lecture 8 p. 27/34
28 Passivity-Based Control Allowing ourselves the freedom to choose the output function is useful, but we are still limited to state equations for which the origin is open-loop stable. If a feedback control u = α(x)+β(x)v and a function h(x) exist such that the system ẋ = f(x)+g(x)α(x)+g(x)β(x)v y = h(x) with input v and output y, satisfies the conditions of Theorem 14.4, we can globally stabilize the origin by using v = φ(y). The use of feedback to convert a nonpassive system into a passive one is known as feedback passivation. Lecture 8 p. 28/34
29 Passivity-Based Control Example: Khalil Lecture 8 p. 29/34
30 Passivity-Based Control Let us consider the cascade system (6) (7) (8) ż = f a (z)+f(z,y)y ẋ = f(x)+g(x)u y = h(x) If the driving-system (7)-(8) is passive with a radially unbounded positive definite storage function V(x), and if the origin of the driven-system (6) with y = 0, i.e., the origin of ż = f a (z) is stable with a radially unbounded Lyapunov function W(z) that satisfies W z f a(z) 0 z. Lecture 8 p. 30/34
31 Passivity-Based Control Then, the feedback control u = ( ) T W z F(z,y) +v makes the system (9) (10) (11) ż = f a (z)+f(z,y)y ( ) T W ẋ = f(x) G(x) z F(z,y) +G(x)v y = h(x) with input v and output y passive with U(z,x) = W(z)+V(x) as the storage function. If the system (9)-(11) is zero-state observable, we can apply Theorem 14.4 to globally stabilize the origin. Lecture 8 p. 31/34
32 Passivity-Based Control Checking zero-state observability of the system (9)-(11) can be avoided by strengthening the assumption on W(z). If the driving-system (7)-(8) zero-state observable and passive with a radially unbounded positive definite storage function V(x), and if the origin of the driven-system (6) with y = 0, i.e., the origin of ż = f a (z), is globally asymptotically stable with a radially unbounded Lyapunov function W(z) that satisfies W z f W a(z) < 0 z 0, (0) = 0. z The feedback control ( ) T W u = z F(z,y) φ(y) globally stabilizes the origin (z = 0,x = 0). Lecture 8 p. 32/34
33 Passivity-Based Control Proof: Lecture 8 p. 33/34
34 Passivity-Based Control Example: Khalil Lecture 8 p. 34/34
Nonlinear Control. Nonlinear Control Lecture # 6 Passivity and Input-Output Stability
Nonlinear Control Lecture # 6 Passivity and Input-Output Stability Passivity: Memoryless Functions y y y u u u (a) (b) (c) Passive Passive Not passive y = h(t,u), h [0, ] Vector case: y = h(t,u), h T =
More informationNonlinear Control Systems
Nonlinear Control Systems António Pedro Aguiar pedro@isr.ist.utl.pt 5. Input-Output Stability DEEC PhD Course http://users.isr.ist.utl.pt/%7epedro/ncs2012/ 2012 1 Input-Output Stability y = Hu H denotes
More informationNonlinear Control Lecture 7: Passivity
Nonlinear Control Lecture 7: Passivity Farzaneh Abdollahi Department of Electrical Engineering Amirkabir University of Technology Fall 2011 Farzaneh Abdollahi Nonlinear Control Lecture 7 1/26 Passivity
More informationNonlinear Control Lecture # 14 Input-Output Stability. Nonlinear Control
Nonlinear Control Lecture # 14 Input-Output Stability L Stability Input-Output Models: y = Hu u(t) is a piecewise continuous function of t and belongs to a linear space of signals The space of bounded
More informationIntroduction 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 informationLecture 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 informationEG4321/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 informationNonlinear 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 informationNonlinear Control. Nonlinear Control Lecture # 25 State Feedback Stabilization
Nonlinear Control Lecture # 25 State Feedback Stabilization Backstepping η = f a (η)+g a (η)ξ ξ = f b (η,ξ)+g b (η,ξ)u, g b 0, η R n, ξ, u R Stabilize the origin using state feedback View ξ as virtual
More informationMathematics for Control Theory
Mathematics for Control Theory Outline of Dissipativity and Passivity Hanz Richter Mechanical Engineering Department Cleveland State University Reading materials Only as a reference: Charles A. Desoer
More informationNonlinear 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 informationNonlinear 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 informationNonlinear 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 informationIntroduction 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 informationTTK4150 Nonlinear Control Systems Solution 6 Part 2
TTK4150 Nonlinear Control Systems Solution 6 Part 2 Department of Engineering Cybernetics Norwegian University of Science and Technology Fall 2003 Solution 1 Thesystemisgivenby φ = R (φ) ω and J 1 ω 1
More informationHigh-Gain Observers in Nonlinear Feedback Control
High-Gain Observers in Nonlinear Feedback Control Lecture # 1 Introduction & Stabilization High-Gain ObserversinNonlinear Feedback ControlLecture # 1Introduction & Stabilization p. 1/4 Brief History Linear
More informationOutput Feedback and State Feedback. EL2620 Nonlinear Control. Nonlinear Observers. Nonlinear Controllers. ẋ = f(x,u), y = h(x)
Output Feedback and State Feedback EL2620 Nonlinear Control Lecture 10 Exact feedback linearization Input-output linearization Lyapunov-based control design methods ẋ = f(x,u) y = h(x) Output feedback:
More informationNonlinear Control. Nonlinear Control Lecture # 18 Stability of Feedback Systems
Nonlinear Control Lecture # 18 Stability of Feedback Systems Absolute Stability + r = 0 u y G(s) ψ( ) Definition 7.1 The system is absolutely stable if the origin is globally uniformly asymptotically stable
More informationConverse 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 informationNonlinear 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 informationL2 gains and system approximation quality 1
Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.242, Fall 24: MODEL REDUCTION L2 gains and system approximation quality 1 This lecture discusses the utility
More informationLecture 5: Linear Systems. Transfer functions. Frequency Domain Analysis. Basic Control Design.
ISS0031 Modeling and Identification Lecture 5: Linear Systems. Transfer functions. Frequency Domain Analysis. Basic Control Design. Aleksei Tepljakov, Ph.D. September 30, 2015 Linear Dynamic Systems Definition
More informationEN 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 informationRiccati Equations and Inequalities in Robust Control
Riccati Equations and Inequalities in Robust Control Lianhao Yin Gabriel Ingesson Martin Karlsson Optimal Control LP4 2014 June 10, 2014 Lianhao Yin Gabriel Ingesson Martin Karlsson (LTH) H control problem
More informationProf. 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 informationNonlinear Systems and Control Lecture # 19 Perturbed Systems & Input-to-State Stability
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 ẋ
More informationDissipativity. Outline. Motivation. Dissipative Systems. M. Sami Fadali EBME Dept., UNR
Dissipativity M. Sami Fadali EBME Dept., UNR 1 Outline Differential storage functions. QSR Dissipativity. Algebraic conditions for dissipativity. Stability of dissipative systems. Feedback Interconnections
More informationEN Nonlinear Control and Planning in Robotics Lecture 10: Lyapunov Redesign and Robust Backstepping April 6, 2015
EN530.678 Nonlinear Control and Planning in Robotics Lecture 10: Lyapunov Redesign and Robust Backstepping April 6, 2015 Prof: Marin Kobilarov 1 Uncertainty and Lyapunov Redesign Consider the system [1]
More informationLMI 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 informationNonlinear 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 informationLecture 9 Nonlinear Control Design
Lecture 9 Nonlinear Control Design Exact-linearization Lyapunov-based design Lab 2 Adaptive control Sliding modes control Literature: [Khalil, ch.s 13, 14.1,14.2] and [Glad-Ljung,ch.17] Course Outline
More informationHigh-Gain Observers in Nonlinear Feedback Control. Lecture # 3 Regulation
High-Gain Observers in Nonlinear Feedback Control Lecture # 3 Regulation High-Gain ObserversinNonlinear Feedback ControlLecture # 3Regulation p. 1/5 Internal Model Principle d r Servo- Stabilizing u y
More informationCDS 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 informationModeling 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 informationConvergent systems: analysis and synthesis
Convergent systems: analysis and synthesis Alexey Pavlov, Nathan van de Wouw, and Henk Nijmeijer Eindhoven University of Technology, Department of Mechanical Engineering, P.O.Box. 513, 5600 MB, Eindhoven,
More informationLyapunov 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 informationOutline. 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 informationPassivity-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 informationGlobal output regulation through singularities
Global output regulation through singularities Yuh Yamashita Nara Institute of Science and Techbology Graduate School of Information Science Takayama 8916-5, Ikoma, Nara 63-11, JAPAN yamas@isaist-naraacjp
More informationTopic # /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 informationNonlinear 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 information1 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 informationStabilization and Passivity-Based Control
DISC Systems and Control Theory of Nonlinear Systems, 2010 1 Stabilization and Passivity-Based Control Lecture 8 Nonlinear Dynamical Control Systems, Chapter 10, plus handout from R. Sepulchre, Constructive
More information1 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 informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationẋ n = f n (x 1,...,x n,u 1,...,u m ) (5) y 1 = g 1 (x 1,...,x n,u 1,...,u m ) (6) y p = g p (x 1,...,x n,u 1,...,u m ) (7)
EEE582 Topical Outline A.A. Rodriguez Fall 2007 GWC 352, 965-3712 The following represents a detailed topical outline of the course. It attempts to highlight most of the key concepts to be covered and
More informationMCE693/793: Analysis and Control of Nonlinear Systems
MCE693/793: Analysis and Control of Nonlinear Systems Input-Output and Input-State Linearization Zero Dynamics of Nonlinear Systems Hanz Richter Mechanical Engineering Department Cleveland State University
More informationRobust Multivariable Control
Lecture 2 Anders Helmersson anders.helmersson@liu.se ISY/Reglerteknik Linköpings universitet Today s topics Today s topics Norms Today s topics Norms Representation of dynamic systems Today s topics Norms
More informationSolution 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 informationLecture 5 Input output stability
Lecture 5 Input output stability or How to make a circle out of the point 1+0i, and different ways to stay away from it... k 2 yf(y) r G(s) y k 1 y y 1 k 1 1 k 2 f( ) G(iω) Course Outline Lecture 1-3 Lecture
More informationLyapunov 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 informationLecture 15: H Control Synthesis
c A. Shiriaev/L. Freidovich. March 12, 2010. Optimal Control for Linear Systems: Lecture 15 p. 1/14 Lecture 15: H Control Synthesis Example c A. Shiriaev/L. Freidovich. March 12, 2010. Optimal Control
More information44 Input Output Stability
44 Input Output Stability A.R. Teel University of Minnesota T.T. Georgiou University of Minnesota L. Praly Mines Paris Institute of Technology Eduardo D. Sontag Rutgers University 44.1 Introduction...44-1
More information5. Observer-based Controller Design
EE635 - Control System Theory 5. Observer-based Controller Design Jitkomut Songsiri state feedback pole-placement design regulation and tracking state observer feedback observer design LQR and LQG 5-1
More information2006 Fall. G(s) y = Cx + Du
1 Class Handout: Chapter 7 Frequency Domain Analysis of Feedback Systems 2006 Fall Frequency domain analysis of a dynamic system is very useful because it provides much physical insight, has graphical
More informationPassivity Indices for Symmetrically Interconnected Distributed Systems
9th Mediterranean Conference on Control and Automation Aquis Corfu Holiday Palace, Corfu, Greece June 0-3, 0 TuAT Passivity Indices for Symmetrically Interconnected Distributed Systems Po Wu and Panos
More informationHybrid Control and Switched Systems. Lecture #11 Stability of switched system: Arbitrary switching
Hybrid Control and Switched Systems Lecture #11 Stability of switched system: Arbitrary switching João P. Hespanha University of California at Santa Barbara Stability under arbitrary switching Instability
More informationModel reduction for linear systems by balancing
Model reduction for linear systems by balancing Bart Besselink Jan C. Willems Center for Systems and Control Johann Bernoulli Institute for Mathematics and Computer Science University of Groningen, Groningen,
More informationMultivariable Control. Lecture 03. Description of Linear Time Invariant Systems. John T. Wen. September 7, 2006
Multivariable Control Lecture 3 Description of Linear Time Invariant Systems John T. Wen September 7, 26 Outline Mathematical description of LTI Systems Ref: 3.1-3.4 of text September 7, 26Copyrighted
More informationNonlinear Control Lecture # 1 Introduction. Nonlinear Control
Nonlinear Control Lecture # 1 Introduction Nonlinear State Model ẋ 1 = f 1 (t,x 1,...,x n,u 1,...,u m ) ẋ 2 = f 2 (t,x 1,...,x n,u 1,...,u m ).. ẋ n = f n (t,x 1,...,x n,u 1,...,u m ) ẋ i denotes the derivative
More informationBalanced Truncation 1
Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.242, Fall 2004: MODEL REDUCTION Balanced Truncation This lecture introduces balanced truncation for LTI
More informationLecture 3. Chapter 4: Elements of Linear System Theory. Eugenio Schuster. Mechanical Engineering and Mechanics Lehigh University.
Lecture 3 Chapter 4: Eugenio Schuster schuster@lehigh.edu Mechanical Engineering and Mechanics Lehigh University Lecture 3 p. 1/77 3.1 System Descriptions [4.1] Let f(u) be a liner operator, u 1 and u
More informationNonlinear Control Systems
Nonlinear Control Systems António Pedro Aguiar pedro@isr.ist.utl.pt 7. Feedback Linearization IST-DEEC PhD Course http://users.isr.ist.utl.pt/%7epedro/ncs1/ 1 1 Feedback Linearization Given a nonlinear
More informationDISSIPATION CONTROL OF AN N-SPECIES FOOD CHAIN SYSTEM
INTERNATIONAL JOURNAL OF INFORMATION AND SYSTEMS SCIENCES Volume 1 Number 3-4 Pages 48 440 c 005 Institute for Scientific Computing and Information DISSIPATION CONTROL OF AN N-SPECIES FOOD CHAIN SYSTEM
More informationMCE693/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 informationObserver-based quantized output feedback control of nonlinear systems
Proceedings of the 17th World Congress The International Federation of Automatic Control Observer-based quantized output feedback control of nonlinear systems Daniel Liberzon Coordinated Science Laboratory,
More information3 Gramians and Balanced Realizations
3 Gramians and Balanced Realizations In this lecture, we use an optimization approach to find suitable realizations for truncation and singular perturbation of G. It turns out that the recommended realizations
More informationHybrid Control and Switched Systems. Lecture #7 Stability and convergence of ODEs
Hybrid Control and Switched Systems Lecture #7 Stability and convergence of ODEs João P. Hespanha University of California at Santa Barbara Summary Lyapunov stability of ODEs epsilon-delta and beta-function
More informationIntroduction to Modern Control MT 2016
CDT Autonomous and Intelligent Machines & Systems Introduction to Modern Control MT 2016 Alessandro Abate Lecture 2 First-order ordinary differential equations (ODE) Solution of a linear ODE Hints to nonlinear
More informationJosé C. Geromel. Australian National University Canberra, December 7-8, 2017
5 1 15 2 25 3 35 4 45 5 1 15 2 25 3 35 4 45 5 55 Differential LMI in Optimal Sampled-data Control José C. Geromel School of Electrical and Computer Engineering University of Campinas - Brazil Australian
More informationH 2 Optimal State Feedback Control Synthesis. Raktim Bhattacharya Aerospace Engineering, Texas A&M University
H 2 Optimal State Feedback Control Synthesis Raktim Bhattacharya Aerospace Engineering, Texas A&M University Motivation Motivation w(t) u(t) G K y(t) z(t) w(t) are exogenous signals reference, process
More information1. 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 informationEECE Adaptive Control
EECE 574 - Adaptive Control Model-Reference Adaptive Control - Part I Guy Dumont Department of Electrical and Computer Engineering University of British Columbia January 2010 Guy Dumont (UBC EECE) EECE
More informationAnalysis of systems containing nonlinear and uncertain components by using Integral Quadratic Constraints
Analysis of systems containing nonlinear and uncertain components by using Integral Quadratic Constraints Tamas Peni MTA-SZTAKI October 2, 2012 Tamas Peni (MTA-SZTAKI) Seminar October 2, 2012 1 / 42 Contents
More informationSome solutions of the written exam of January 27th, 2014
TEORIA DEI SISTEMI Systems Theory) Prof. C. Manes, Prof. A. Germani Some solutions of the written exam of January 7th, 0 Problem. Consider a feedback control system with unit feedback gain, with the following
More informationSemidefinite Programming Duality and Linear Time-invariant Systems
Semidefinite Programming Duality and Linear Time-invariant Systems Venkataramanan (Ragu) Balakrishnan School of ECE, Purdue University 2 July 2004 Workshop on Linear Matrix Inequalities in Control LAAS-CNRS,
More information7.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 informationIN [1], an Approximate Dynamic Inversion (ADI) control
1 On Approximate Dynamic Inversion Justin Teo and Jonathan P How Technical Report ACL09 01 Aerospace Controls Laboratory Department of Aeronautics and Astronautics Massachusetts Institute of Technology
More informationOn the Exponential Stability of Moving Horizon Observer for Globally N-Detectable Nonlinear Systems
Asian Journal of Control, Vol 00, No 0, pp 1 6, Month 008 Published online in Wiley InterScience (wwwintersciencewileycom) DOI: 10100/asjc0000 - On the Exponential Stability of Moving Horizon Observer
More informationA differential Lyapunov framework for contraction analysis
A differential Lyapunov framework for contraction analysis F. Forni, R. Sepulchre University of Liège Reykjavik, July 19th, 2013 Outline Incremental stability d(x 1 (t),x 2 (t)) 0 Differential Lyapunov
More informationSolution 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 informationZeros and zero dynamics
CHAPTER 4 Zeros and zero dynamics 41 Zero dynamics for SISO systems Consider a linear system defined by a strictly proper scalar transfer function that does not have any common zero and pole: g(s) =α p(s)
More informationControl Systems I. Lecture 5: Transfer Functions. Readings: Emilio Frazzoli. Institute for Dynamic Systems and Control D-MAVT ETH Zürich
Control Systems I Lecture 5: Transfer Functions Readings: Emilio Frazzoli Institute for Dynamic Systems and Control D-MAVT ETH Zürich October 20, 2017 E. Frazzoli (ETH) Lecture 5: Control Systems I 20/10/2017
More informationESC794: Special Topics: Model Predictive Control
ESC794: Special Topics: Model Predictive Control Discrete-Time Systems Hanz Richter, Professor Mechanical Engineering Department Cleveland State University Discrete-Time vs. Sampled-Data Systems A continuous-time
More informationUNIVERSITY OF MANITOBA
Question Points Score INSTRUCTIONS TO STUDENTS: This is a 6 hour examination. No extra time will be given. No texts, notes, or other aids are permitted. There are no calculators, cellphones or electronic
More informationRaktim Bhattacharya. . AERO 632: Design of Advance Flight Control System. Norms for Signals and Systems
. AERO 632: Design of Advance Flight Control System Norms for Signals and. Raktim Bhattacharya Laboratory For Uncertainty Quantification Aerospace Engineering, Texas A&M University. Norms for Signals ...
More informationStability 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 informationBIBO STABILITY AND ASYMPTOTIC STABILITY
BIBO STABILITY AND ASYMPTOTIC STABILITY FRANCESCO NORI Abstract. In this report with discuss the concepts of bounded-input boundedoutput stability (BIBO) and of Lyapunov stability. Examples are given to
More informationFormula Sheet for Optimal Control
Formula Sheet for Optimal Control Division of Optimization and Systems Theory Royal Institute of Technology 144 Stockholm, Sweden 23 December 1, 29 1 Dynamic Programming 11 Discrete Dynamic Programming
More informationLecture 7 (Weeks 13-14)
Lecture 7 (Weeks 13-14) Introduction to Multivariable Control (SP - Chapters 3 & 4) Eugenio Schuster schuster@lehigh.edu Mechanical Engineering and Mechanics Lehigh University Lecture 7 (Weeks 13-14) p.
More informationL 2 -induced Gains of Switched Systems and Classes of Switching Signals
L 2 -induced Gains of Switched Systems and Classes of Switching Signals Kenji Hirata and João P. Hespanha Abstract This paper addresses the L 2-induced gain analysis for switched linear systems. We exploit
More informationMCE/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 informationDissipative Systems Analysis and Control
Bernard Brogliato, Rogelio Lozano, Bernhard Maschke and Olav Egeland Dissipative Systems Analysis and Control Theory and Applications 2nd Edition With 94 Figures 4y Sprin er 1 Introduction 1 1.1 Example
More informationBalancing of Lossless and Passive Systems
Balancing of Lossless and Passive Systems Arjan van der Schaft Abstract Different balancing techniques are applied to lossless nonlinear systems, with open-loop balancing applied to their scattering representation.
More informationMinimum-Phase Property of Nonlinear Systems in Terms of a Dissipation Inequality
Minimum-Phase Property of Nonlinear Systems in Terms of a Dissipation Inequality Christian Ebenbauer Institute for Systems Theory in Engineering, University of Stuttgart, 70550 Stuttgart, Germany ce@ist.uni-stuttgart.de
More information10 Transfer Matrix Models
MIT EECS 6.241 (FALL 26) LECTURE NOTES BY A. MEGRETSKI 1 Transfer Matrix Models So far, transfer matrices were introduced for finite order state space LTI models, in which case they serve as an important
More informationAn homotopy method for exact tracking of nonlinear nonminimum phase systems: the example of the spherical inverted pendulum
9 American Control Conference Hyatt Regency Riverfront, St. Louis, MO, USA June -, 9 FrA.5 An homotopy method for exact tracking of nonlinear nonminimum phase systems: the example of the spherical inverted
More information1 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 informationOn finite gain L p stability of nonlinear sampled-data systems
Submitted for publication in Systems and Control Letters, November 6, 21 On finite gain L p stability of nonlinear sampled-data systems Luca Zaccarian Dipartimento di Informatica, Sistemi e Produzione
More informationME Fall 2001, Fall 2002, Spring I/O Stability. Preliminaries: Vector and function norms
I/O Stability Preliminaries: Vector and function norms 1. Sup norms are used for vectors for simplicity: x = max i x i. Other norms are also okay 2. Induced matrix norms: let A R n n, (i stands for induced)
More information