Converse Lyapunov theorem and Input-to-State Stability
|
|
- Bathsheba Stewart
- 5 years ago
- Views:
Transcription
1 Converse Lyapunov theorem and Input-to-State Stability April 6, Converse Lyapunov theorem In the previous lecture, we have discussed few examples of nonlinear control systems and stability concepts using Lyapunov theory. In this lecture, we will cover the Converse Lyapunov theorem (i.e., the existence of (smooth Lyapunov function and the concept of input-to-state stability. The course material is mainly based on the expositions presented in [3, 4, 5]. Terminologies (from the previous lecture. Consider a nonlinear system described by ẋ = f(t, x, x(t 0 = x 0 R n (1 where f : [0, R n R n is piecewise-continuous in t and locally Lipschitz in x. The point x R n is an equilibrium point for (1 if f(t, x = 0 for all t t 0. Definition 1.1. The origin ( x = 0 is 1. stable if for every ɛ > 0, there exists δ(ɛ, t 0 > 0 such that x 0 < δ(ɛ, t 0 x(t, x 0 < ɛ t t 0 ; 2. asymptotically stable if it is stable and there exists c(t 0 > 0 such that x 0 < c(t 0 lim t x(t, x 0 = 0; 3. exponentially stable if it is stable and there exist k, λ, c(t 0 > 0 such that x 0 < c(t 0 x(t, x 0 k x 0 e λ(t t 0 ; 4. uniformly stable if for every ɛ > 0, there exists δ(ɛ > 0 such that x 0 < δ(ɛ x(t, x 0 < ɛ t t 0 ; 1
2 5. uniformly asymptotically stable if it is uniformly stable and there exists c > 0 such that x 0 < c lim t x(t, x 0 = 0 uniformly in t uniformly exponentially stable if it is uniformly stable and there exist k, λ, c > 0 such that x 0 < c x(t, x 0 k x 0 e λ(t t 0 uniformly in t 0. Consider a continuously-differentiable (C 1 function V : [0, B d R which satisfies α 1 ( x V (t, x α 2 ( x (t, x [0, B d, where α 1, α 2 K. Using such V, it has been shown in the previous lecture that the following implications hold: (P1 t + f(t, x 0 (t, x [0, B d the origin of (1 is uniformly stable; (P2 t + f(t, x α( x (t, x [0, B d, α K the origin of (1 is uniformly asymptotically stable. When we restrict ourselves to the autonomous system ẋ = f(x with the associated function V : B d R satisfying α 1 ( x V (x α 2 ( x x B d, where α 1, α 2 K, then the following implications hold: (P3 f(x 0 x B d the origin is stable; (P4 f(x α( x x B d, α K the origin is asymptotically stable. Note that if the function V is radially unbounded, then the above implications on the asymptotic stability hold globally. In the present note, we will discuss the reverse implications. More precisely, we are interested to establish that if the origin of (1 is uniformly asymptotically stable then there exists a smooth function V : [0, B d [0, such that the antecedent in (P2 holds. Similar reverse implication can be made with regards to the asymptotic stability of an autonomous system (c.f., (P4 2
3 Such converse results are useful when one wants to deduce or obtain other stability properties that are derived from the asymptotic stability property. For example, they have been used to obtain robustness property of nonlinear systems via the input-to-state stability (ISS concept which we will discuss further later. However, we still need to obtain or to calculate such a Lyapunov function when we are going to analyze the stability of an interconnected systems using Lyapunov analysis. In the past decade, a numerical algorithm based on the sum-of-squares programming has been developed and widely used to find a polynomial Lyapunov function, see, for example, [1]. The following theorem provides the converse Lyapunov theorem for systems that are exponentially stable. Theorem 1.2. Consider the nonlinear system in (1 with x = 0 and with bounded Jacobian matrix f/ on B d. If the system is uniformly locally exponentially stable, i.e., there exist positive constants k, λ, d 0 such that x(t k x(t 0 e λ(t t 0 x(t 0 B d0, d 0 < d, t t 0, then there exists a C 1 function V : [0, B d0 [0, satisfying c 1 x 2 V (t, x c 2 x 2 + t f(t, x c 3 x 2 c4 x, with c 1, c 2, c 3, c 4 > 0. Moreover, if d = and the origin is uniformly globally exponentially stable, then the function V is defined and satisfies the above inequalities on R n. Proof. We will show that the Lyapunov function V (t, x satisfying the above inequalities is constructed based on the solutions of the differential equation. Let V (t, x = t+δ t z(τ, t, x 2 dτ, where δ is a positive constant (to be chosen later and z(τ, t, x is the solution of (1 with x 0 = x B d0 and t 0 = t. By the exponential stability of the solution, it follows that t+δ V (t, x x 2 k 2 e 2λ(τ t dτ = k2 2λ t ( 1 e 2λδ x 2. By the boundedness of the Jacobian matrix of f and by the assumption that f(t, 0 = 0, we have that f(t, x L x for some L > 0 and for all x B d0. This implies that z(τ, t, x 2 x 2 e 2L(τ t. 3
4 In other words, V (t, x x 2 t+δ t e 2L(τ t dτ = 1 ( 1 e 2Lδ x 2 2L holds for all x B d0. Hence the first inequalities hold with c 1 = 1 e 2Lδ 2L c 2 = k2 (1 e 2λδ. 2λ Now, it remains to calculate the time derivative of V (t, x. By direct computation, we have t + f(t, x = z(t + δ, t, x 2 z(t, t, x 2 + t+δ t+δ t 2z T (τ, t, x + 2z T z(τ, t, x (τ, t, x dτf(t, x t = z(t + δ, t, x 2 x 2 (1 k 2 e 2λδ x 2. and z(τ, t, x dτ t By taking δ = ln(2k 2 /(2λ, the second inequality in the theorem holds with c 3 = 1/2. The last claim on the boundedness of the gradient of V can be obtained in a similar way (see also the proof of Theorem 4.15 in [3]. As an example, consider the following system ẋ = x 3 x, x(0 = x 0. The analytical solution of the system s trajectory is given by 1 x(t = x 0 (e 2t (x x 2 0. It is immediate to see that the trajectory x(t converges exponentially to zero for all initial conditions x 0, i.e., the origin is exponentially stable. Using a simple quadratic function V (x = 1 2 x2 as a Lyapunov function, we can also conclude the exponential convergence of the system to zero. Let us construct the Lyapunov function as used in the proof of the converse Lyapunov theorem above. For this purpose, the corresponding constants k, λ are given by k = 1, λ = 1. Now if we use the same Lyapunov construction as in the converse Lyapunov theorem, then the corresponding Lyapunov function is given by V (x = δ 0 x 2 (e 2τ (x x 2 dτ 1 The solution can be found by using standard numerical software such as Mathematica, Maple, Matlab, or the free web-based symbolic tools in 4
5 where δ = ln(2/2. A routine computation to the time-derivative of this Lyapunov function with x B d, d > 0 gives us δ (x ( x3 x = ( x 3 x ( δ = ( x 3 x 0 x 2 (e 2τ (x x 2 dτ 2x 0 (e 2τ (x x 2 x2 (2xe 2τ 2x (e 2τ (x x 2 dτ 2 ( δ = ( 2x 4 2x (e 2τ (x x 2 x 2 (e 2τ 1 (e 2τ (x x 2 dτ 2 ( δ = ( 2x 4 2x 2 e 2τ 0 (e 2τ (x x 2 dτ 2 ( δ ( 2x 4 2x 2 1 (e 2δ (x x 2 dτ 2 = ( 2x 4 2x 2 ln(2/2 (x c 3 x 2, 0 where c 3 = ln(2. (d Theorem 1.2 shows the converse Lyapunov theorem for exponentially stable systems. In the following theorems, we will present two standard results on the converse Lyapunov theorems. The first one is related to the existence of Lyapunov function for uniform asymptotic stable (non-autonomous systems and the second one is related to the existence of radially unbounded Lyapunov function for asymptotic stable (autonomous systems. Theorem 1.3. [3, Theorem 4.16] Consider the nonlinear system in (1 with x = 0 and with bounded Jacobian matrix f/ on B d (uniformly in t. Let β be a KL function and d 0 > 0 is such that β(d 0, 0 < d. If the system is uniformly asymptotically stable, i.e., x(t β( x(t 0, t t 0 x(t 0 B d0, t t 0, then there exists a C 1 function V : [0, B d0 [0, satisfying α 1 ( x V (t, x α 2 ( x + f(t, x α t 3( x α 4 ( x, with α 1, α 2, α 3, α 4 are K functions defined on [0, d 0 ]. Theorem 1.4. [3, Theorem 4.17] Consider an autonomous system ẋ = f(x with a locally Lipschitz f. If the origin is asymptotically stable with the domain of attraction of R A then there exists a smooth positive definite function V (x and a continuous positive definite function W (x, both defined for all x R A, such that V (x as x R A f(x W (x x R A 5
6 and for any c > 0, the set {x V (x c} is a compact subset of R A. The function V (x is radially unbounded if R A = R n. Other related result on the converse Lyapunov theorem can be found in [4, 8]. In [4], the authors consider stability with respect to a compact set, rather than an equilibrium point. In [8], the converse theorem is discussed for nonlinear systems whose state convergence is described by a modified (but more general KL estimate. 2 Input-to-State Stability So far, we have discussed the asymptotic stability characterization of an equilibrium of nonlinear systems which can be time-varying. Such characterization is fairly limited (for the control design since we do not have any estimation on the properties of the state trajectories when external (such as, reference, disturbance or control signals are affecting the systems. Of course, for a given signal, we can write the systems as a time-varying system and analyze the stability of the equilibrium as before. However, this does not allow us to conclude the stability of the equilibrium if a different external signal is applied. On the other hand, one can naively think that if an exponentially converging external input is applied affinely to an autonomous system whose origin is globally exponentially stable (and hence, there exists a radially unbounded Lyapunov function then the origin remains globally attractive. This claim is not true in general and is shown in the following simple counter-example. Example 2.1. [7] Consider the following affine nonlinear system { ẋ1 = g(x Σ : 1 x 2 x 1 ẋ 2 = 2x 2 + u, where x 1, x 2, u R. Let the function g be continuous, g(s 1 for all s, g(s = 1 for all s < 0.5 and for all s > 1.5, and g(1 = 1. Under such an assumption, it has been shown in [7] that if d = 0, the system Σ is GES. In particular, it satisfies x(t 9e t x(0. Now, if u(t = x 2 (0e t, x 1 (0 0 and x 2 (0 = x 1 (0 1, we have that the solution to the differential equation is given by x 1 (t = e t x 1 (0 x 2 (t = e t x 2 (0. This shows that the state x 1 becomes unbounded as t. 6
7 This example shows that an exponential exogeneous signal, which is typically not expected to destroy the stability of a system, can create a problem to a GES system, which is intuitively a robust system. It is shown above that even in the neighborhood of the origin, we can introduce a small exponentially decaying input signals (where the initial condition u(0 is equal to x 2 (0 such that the system becomes unstable. Let us now consider a nonlinear system with external input described by where x(t R n, u(t R m and f is locally Lipschitz. ẋ = f(x, u x(t 0 = x 0, (2 As shown before that the global exponential stability property of the autonomous system (i.e., when u = 0 does not guarantee the stability of the origin when an exponentially converging input u is applied to the system. We will now study the input-to-state property by investigating whether one of the following properties is satisfied. u L x L u L 2 x L. For linear systems described by ẋ = Ax + Bu with x(t 0 = x 0, the input-to-state properties above are described in the following ways: u L x L u L 2 x L : x(t, x 0 k x 0 e λ(t t0 + c sup s [t0,t] u(s : x(t, x 0 k x 0 e λ(t t0 + t t 0 c u(s 2 ds. The first term of the inequality describes the influence of initial condition to the state estimate which decays exponentially to zero. When the influence of the initial condition has become small, the last term of the inequality, which represents the influence of the input to the state estimate, will become dominant. A natural generalization of the first notion to the nonlinear systems is to consider a KL function that substitutes the exponential decaying term, and a K function that replaces the constant gain c in the second term. In other words, we have the following notion of input-to-state stability, or ISS, in short. Definition 2.2. The system (2 is input-to-state stable if there exist a KL function β and a K function γ such that the trajectory x(t of (2 satisfies ( for all t t 0. x(t β( x 0, t t 0 + γ sup u(s s [t 0,t] Similarly, for the second notion, we have the generalization of L 2 L from the linear systems to the nonlinear ones by replacing the exponential decaying term by a KL function and the constant c by a K function. 7
8 Definition 2.3. The system (2 is integral input-to-state stable (or iiss if there exist a KL function β, a K function α and a K function γ such that the trajectory x(t of (2 satisfies ( t x(t β( x 0, t t 0 + α γ( u(s ds t 0 for all t 0. The following theorems give the Lyapunov characterization of ISS and iiss systems. Theorem 2.4. [5, 6] The nonlinear system (2 is ISS if and only if there exists a smooth ISS Lyapunov function V (x satisfying α 1 ( x V (x α 2 ( x f(x, u α 3( x + γ( u for all x R n, u R m where α 1, α 2, α 3 and γ are K functions. (3 Proof. Sufficiency part. By the bounds on V (x, it follows directly that α 3 ( x α 3 (α 1 2 (V (x. Hence, where α := α 3 α 1 2. V (x α(v (x + γ( u, For all x M := {x R n 1 α(v (x γ( u }, we have 2 V (x 1 ( 2 α(v (x + γ( u 1 2 α(v (x 1 α(v (x. 2 By the comparison lemma, it follows immediately that for all x 0 M, there exists a KL function β such that V (x(t β(v (x 0, t. On the other hand, for all x(t such that 1 α(v (x(t < γ( u(t, we have 2 V (x(t α 1 (2γ( u(t α (2γ( 1 sup u(s s [t 0,t] Combining the above two inequalities, we arrive at ( {β(v (x 0, t, α 1 V (x(t max 8 2γ( sup u(s s [t 0,t]. }.
9 Using the lower- and upper estimate of V (x, { x(t α 1 1 (V (x(t max β( x 0, t + γ ( sup u(s s [t 0,t] β( x 0, t, γ ( sup u(s s [t 0,t] where β(s, t := α 1 1 (β(α 2 (s, t and γ(s := α 1 1 ( α 1 (2γ(s. Note that in the above theorem, the ISS Lyapunov function under consideration is assumed to be smooth. However, as can be seen in the proof of sufficiency, it is sufficient to assume that V (x is continuously differentiable. The theorem provides in fact a strong statement that for ISS systems, there exists a smooth (and not only continuously differentiable ISS Lyapunov function. Theorem 2.5. [2, 5] The nonlinear system (2 is iiss if and only if there exists a smooth iiss Lyapunov function V (x satisfying α 1 ( x V (x α 2 ( x f(x, u α 3( x + γ( u for all x R n, u R m where α 1, α 2, γ are K functions and the function α 3 : [0, [0, is positive-definite (thus, it does not have to be of K. Consider the following simple example. Let the system be given by } (4 ẋ = x 3 + u. (5 By using V (x = x 2, it can be checked that the origin of the autonomous part of the system, i.e., ẋ = x 3, is globally asymptotically stable. Now, if we use the same function V (x = x 2 as a candidate for an ISS Lyapunov function, the time-derivative of V along the trajectory of the system is (x ( x3 = 2 x 4 + 2xu ( x 2 x x u 4/3, u 4/3 4 where the second inequality is due to the application of Young s inequality. It shows that the function V (x is an ISS Lyapunov function where α 1 (s = α 2 (s = s 2, α 3 (s = 3 2 s4 and γ(s = 3 2 s4/3. In other words, the system (5 is ISS. Another simple example is the following simple mechanical systems with a nonlinear spring and is described by mÿ + dẏ + ky + ka 2 y 3 = u, (6 9
10 where m, d, k are the mass, damping and spring constants, respectively and a > 0 is a positive constant. The system can be written into state-space equations as follows ẋ 1 = x 2 ẋ 2 = 1 ( dx m 2 kx 1 ka 2 x u, (7 where x 1 = y and x 2 = ẏ. If we consider u = 0, the origin is globally asymptotically stable with the Lyapunov function given by V (x { = 1 2 kx ka2 x c 1 x 1 x mk, 2 mx2 2 2mkd where c 1 > 0 is chosen such that c 1 < min }. Using the same 2mk+d 2 function V (x, it can be checked that it can be used as an ISS Lyapunov function. In the above results, we have not established the relation between the global asymptotic stability of the autonomous system to the ISS property. The following result from [6] has established an important result towards this endeavour. Proposition 2.6. [6, Theorem 1] The nonlinear system (2 is ISS if and only if the origin of the autonomous system is globally asymptotically stable and there exist a continuous, non-decreasing function γ : [0, [0, with γ(0 = 0 such that for all x 0 R n and for all bounded input signal u, lim x(t γ( sup u(s. t s [0, The last property is usually called in the literature as the asymptotic gain property. References [1] A.A. Ahmadi, P.A. Parrilo, Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions, [2] D. Angeli, E. Sontag, Y. Wang, A characterization of integral input-to-state stability, IEEE Trans. Aut. Contr., vol. 45, no. 6, pp , [3] H.K. Khalil, Nonlinear Systems, Prentice-Hall, Upper Saddle River, NJ, [4] Y. Lin, E.D. Sontag, Y. Wang, A smooth converse Lyapunov theorem for robust stability, SIAM J. Contr. Optim., vol. 34, pp , [5] E.D. Sontag, Input-to-state stability: basic concepts and results, Nonlinear and Optimal Control Theory, P. Nistri & G. Stefani (eds., Prentice-Hall, pp , Springer-Verlag, Berlin, [6] E.D. Sontag, Y. Wang, New characterizations of input-to-state stability, IEEE Trans. Aut. Contr., vol. 41, no. 9, pp ,
11 [7] A.R. Teel, J. Hespanha, Examples of GES systems that can be driven to infinity by arbitrarily small additive decaying exponentials, IEEE Trans. Aut. Contr., vol. 49, no. 8, pp , [8] A.R. Teel, L. Praly, A smooth Lyapunov function from a class-kl estimage involving two positive semidefinite functions, ESAIM: Contr. Opt. Calc. Var., vol. 5, pp ,
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 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 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 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 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 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 informationAn asymptotic ratio characterization of input-to-state stability
1 An asymptotic ratio characterization of input-to-state stability Daniel Liberzon and Hyungbo Shim Abstract For continuous-time nonlinear systems with inputs, we introduce the notion of an asymptotic
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 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 information3 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 informationFrom convergent dynamics to incremental stability
51st IEEE Conference on Decision Control December 10-13, 01. Maui, Hawaii, USA From convergent dynamics to incremental stability Björn S. Rüffer 1, Nathan van de Wouw, Markus Mueller 3 Abstract This paper
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 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 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 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 informationOn Input-to-State Stability of Impulsive Systems
On Input-to-State Stability of Impulsive Systems João P. Hespanha Electrical and Comp. Eng. Dept. Univ. California, Santa Barbara Daniel Liberzon Coordinated Science Lab. Univ. of Illinois, Urbana-Champaign
More informationContinuous and Piecewise Affine Lyapunov Functions using the Yoshizawa Construction
Continuous and Piecewise Affine Lyapunov Functions using the Yoshizawa Construction Sigurður Hafstein, Christopher M Kellett, Huijuan Li Abstract We present a novel numerical technique for the computation
More informationGeorgia 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 informationA small-gain type stability criterion for large scale networks of ISS systems
A small-gain type stability criterion for large scale networks of ISS systems Sergey Dashkovskiy Björn Sebastian Rüffer Fabian R. Wirth Abstract We provide a generalized version of the nonlinear small-gain
More informationarxiv: v3 [math.ds] 22 Feb 2012
Stability of interconnected impulsive systems with and without time-delays using Lyapunov methods arxiv:1011.2865v3 [math.ds] 22 Feb 2012 Sergey Dashkovskiy a, Michael Kosmykov b, Andrii Mironchenko b,
More informationNonlinear Systems Theory
Nonlinear Systems Theory Matthew M. Peet Arizona State University Lecture 2: Nonlinear Systems Theory Overview Our next goal is to extend LMI s and optimization to nonlinear systems analysis. Today we
More informationChapter 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 informationSmall Gain Theorems on Input-to-Output Stability
Small Gain Theorems on Input-to-Output Stability Zhong-Ping Jiang Yuan Wang. Dept. of Electrical & Computer Engineering Polytechnic University Brooklyn, NY 11201, U.S.A. zjiang@control.poly.edu Dept. of
More informationON INPUT-TO-STATE STABILITY OF IMPULSIVE SYSTEMS
ON INPUT-TO-STATE STABILITY OF IMPULSIVE SYSTEMS EXTENDED VERSION) João P. Hespanha Electrical and Comp. Eng. Dept. Univ. California, Santa Barbara Daniel Liberzon Coordinated Science Lab. Univ. of Illinois,
More informationL -Bounded Robust Control of Nonlinear Cascade Systems
L -Bounded Robust Control of Nonlinear Cascade Systems Shoudong Huang M.R. James Z.P. Jiang August 19, 2004 Accepted by Systems & Control Letters Abstract In this paper, we consider the L -bounded robust
More informationLyapunov-based methods in control
Dr. Alexander Schaum Lyapunov-based methods in control Selected topics of control engineering Seminar Notes Stand: Summer term 2018 c Lehrstuhl für Regelungstechnik Christian Albrechts Universität zu Kiel
More informationComputation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction
Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction Jóhann Björnsson 1, Peter Giesl 2, Sigurdur Hafstein 1, Christopher M. Kellett
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 informationConverse Lyapunov-Krasovskii Theorems for Systems Described by Neutral Functional Differential Equation in Hale s Form
Converse Lyapunov-Krasovskii Theorems for Systems Described by Neutral Functional Differential Equation in Hale s Form arxiv:1206.3504v1 [math.ds] 15 Jun 2012 P. Pepe I. Karafyllis Abstract In this paper
More informationOn Input-to-State Stability of Impulsive Systems
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005 TuC16.5 On Input-to-State Stability of Impulsive Systems João
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 informationNonlinear systems. Lyapunov stability theory. G. Ferrari Trecate
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
More informationOn Sontag s Formula for the Input-to-State Practical Stabilization of Retarded Control-Affine Systems
On Sontag s Formula for the Input-to-State Practical Stabilization of Retarded Control-Affine Systems arxiv:1206.4240v1 [math.oc] 19 Jun 2012 P. Pepe Abstract In this paper input-to-state practically stabilizing
More informationOn integral-input-to-state stabilization
On integral-input-to-state stabilization Daniel Liberzon Dept. of Electrical Eng. Yale University New Haven, CT 652 liberzon@@sysc.eng.yale.edu Yuan Wang Dept. of Mathematics Florida Atlantic University
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 informationLecture 8. Chapter 5: Input-Output Stability Chapter 6: Passivity Chapter 14: Passivity-Based Control. Eugenio Schuster.
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
More informationState-norm estimators for switched nonlinear systems under average dwell-time
49th IEEE Conference on Decision and Control December 15-17, 2010 Hilton Atlanta Hotel, Atlanta, GA, USA State-norm estimators for switched nonlinear systems under average dwell-time Matthias A. Müller
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 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 informationAnti-synchronization of a new hyperchaotic system via small-gain theorem
Anti-synchronization of a new hyperchaotic system via small-gain theorem Xiao Jian( ) College of Mathematics and Statistics, Chongqing University, Chongqing 400044, China (Received 8 February 2010; revised
More informationOn the construction of ISS Lyapunov functions for networks of ISS systems
Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, Kyoto, Japan, July 24-28, 2006 MoA09.1 On the construction of ISS Lyapunov functions for networks of ISS
More informationConvergence 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 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 informationLocal ISS of large-scale interconnections and estimates for stability regions
Local ISS of large-scale interconnections and estimates for stability regions Sergey N. Dashkovskiy,1,a,2, Björn S. Rüffer 1,b a Zentrum für Technomathematik, Universität Bremen, Postfach 330440, 28334
More informationFinite-time stability and input-to-state stability of stochastic nonlinear systems
Finite-time stability and input-to-state stability of stochastic nonlinear systems KANG Yu, ZHAO Ping,. Department of Automation, University of Science and Technology of China, Hefei 36, Anhui, P. R. China
More informationComments on integral variants of ISS 1
Systems & Control Letters 34 (1998) 93 1 Comments on integral variants of ISS 1 Eduardo D. Sontag Department of Mathematics, Rutgers University, Piscataway, NJ 8854-819, USA Received 2 June 1997; received
More informationHybrid 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 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 informationCONTROL SYSTEMS, ROBOTICS AND AUTOMATION - Vol. XII - Lyapunov Stability - Hassan K. Khalil
LYAPUNO STABILITY Hassan K. Khalil Department of Electrical and Computer Enigneering, Michigan State University, USA. Keywords: Asymptotic stability, Autonomous systems, Exponential stability, Global asymptotic
More informationASTATISM IN NONLINEAR CONTROL SYSTEMS WITH APPLICATION TO ROBOTICS
dx dt DIFFERENTIAL EQUATIONS AND CONTROL PROCESSES N 1, 1997 Electronic Journal, reg. N P23275 at 07.03.97 http://www.neva.ru/journal e-mail: diff@osipenko.stu.neva.ru Control problems in nonlinear systems
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 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 informationA Globally Stabilizing Receding Horizon Controller for Neutrally Stable Linear Systems with Input Constraints 1
A Globally Stabilizing Receding Horizon Controller for Neutrally Stable Linear Systems with Input Constraints 1 Ali Jadbabaie, Claudio De Persis, and Tae-Woong Yoon 2 Department of Electrical Engineering
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 informationStabilization in spite of matched unmodelled dynamics and An equivalent definition of input-to-state stability
Stabilization in spite of matched unmodelled dynamics and An equivalent definition of input-to-state stability Laurent Praly Centre Automatique et Systèmes École des Mines de Paris 35 rue St Honoré 7735
More information1. 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 informationGlobal stabilization of feedforward systems with exponentially unstable Jacobian linearization
Global stabilization of feedforward systems with exponentially unstable Jacobian linearization F Grognard, R Sepulchre, G Bastin Center for Systems Engineering and Applied Mechanics Université catholique
More informationInput-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 informationAnalysis of different Lyapunov function constructions for interconnected hybrid systems
Analysis of different Lyapunov function constructions for interconnected hybrid systems Guosong Yang 1 Daniel Liberzon 1 Andrii Mironchenko 2 1 Coordinated Science Laboratory University of Illinois at
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 informationA 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 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 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 informationOn Characterizations of Input-to-State Stability with Respect to Compact Sets
On Characterizations of Input-to-State Stability with Respect to Compact Sets Eduardo D. Sontag and Yuan Wang Department of Mathematics, Rutgers University, New Brunswick, NJ 08903, USA Department of Mathematics,
More informationA Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems
53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA A Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems Seyed Hossein Mousavi 1,
More informationResults on Input-to-Output and Input-Output-to-State Stability for Hybrid Systems and their Interconnections
Results on Input-to-Output and Input-Output-to-State Stability for Hybrid Systems and their Interconnections Ricardo G. Sanfelice Abstract We present results for the analysis of input/output properties
More informationA LaSalle version of Matrosov theorem
5th IEEE Conference on Decision Control European Control Conference (CDC-ECC) Orlo, FL, USA, December -5, A LaSalle version of Matrosov theorem Alessro Astolfi Laurent Praly Abstract A weak version of
More informationStability lectures. Stability of Linear Systems. Stability of Linear Systems. Stability of Continuous Systems. EECE 571M/491M, Spring 2008 Lecture 5
EECE 571M/491M, Spring 2008 Lecture 5 Stability of Continuous Systems http://courses.ece.ubc.ca/491m moishi@ece.ubc.ca Dr. Meeko Oishi Electrical and Computer Engineering University of British Columbia,
More informationEE363 homework 7 solutions
EE363 Prof. S. Boyd EE363 homework 7 solutions 1. Gain margin for a linear quadratic regulator. Let K be the optimal state feedback gain for the LQR problem with system ẋ = Ax + Bu, state cost matrix Q,
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 informationStrong Lyapunov Functions for Systems Satisfying the Conditions of La Salle
06 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 49, NO. 6, JUNE 004 Strong Lyapunov Functions or Systems Satisying the Conditions o La Salle Frédéric Mazenc and Dragan Ne sić Abstract We present a construction
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 THROUGH HYBRID CONTROL
STABILIZATION THROUGH HYBRID CONTROL João P. Hespanha, Department of Electrical and Computer Engineering, University of California, Santa Barbara, CA 93106-9560, USA. Keywords: Hybrid Systems; Switched
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 informationComplex 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 informationLyapunov 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 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 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 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 informationA conjecture on sustained oscillations for a closed-loop heat equation
A conjecture on sustained oscillations for a closed-loop heat equation C.I. Byrnes, D.S. Gilliam Abstract The conjecture in this paper represents an initial step aimed toward understanding and shaping
More informationCan we prove stability by using a positive definite function with non sign-definite derivative?
IMA Journal of Mathematical Control and Information (2012), 147 170 doi:10.1093/imamci/dnr035 Advance Access publication on November 28, 2011 Can we prove stability by using a positive definite function
More informationStability of Nonlinear Systems An Introduction
Stability of Nonlinear Systems An Introduction Michael Baldea Department of Chemical Engineering The University of Texas at Austin April 3, 2012 The Concept of Stability Consider the generic nonlinear
More informationHybrid 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 informationTrajectory Tracking Control of Bimodal Piecewise Affine Systems
25 American Control Conference June 8-1, 25. Portland, OR, USA ThB17.4 Trajectory Tracking Control of Bimodal Piecewise Affine Systems Kazunori Sakurama, Toshiharu Sugie and Kazushi Nakano Abstract This
More informationInput to state Stability
Input to state Stability Mini course, Universität Stuttgart, November 2004 Lars Grüne, Mathematisches Institut, Universität Bayreuth Part IV: Applications ISS Consider with solutions ϕ(t, x, w) ẋ(t) =
More informationPostface to Model Predictive Control: Theory and Design
Postface to Model Predictive Control: Theory and Design J. B. Rawlings and D. Q. Mayne August 19, 2012 The goal of this postface is to point out and comment upon recent MPC papers and issues pertaining
More informationOUTPUT FEEDBACK STABILIZATION FOR COMPLETELY UNIFORMLY OBSERVABLE NONLINEAR SYSTEMS. H. Shim, J. Jin, J. S. Lee and Jin H. Seo
OUTPUT FEEDBACK STABILIZATION FOR COMPLETELY UNIFORMLY OBSERVABLE NONLINEAR SYSTEMS H. Shim, J. Jin, J. S. Lee and Jin H. Seo School of Electrical Engineering, Seoul National University San 56-, Shilim-Dong,
More informationExplicit computation of the sampling period in emulation of controllers for nonlinear sampled-data systems
Explicit computation of the sampling period in emulation of controllers for nonlinear sampled-data systems D. Nešić, A.R. Teel and D. Carnevale Abstract The purpose of this note is to apply recent results
More informationCopyright 2002 IFAC 15th Triennial World Congress, Barcelona, Spain
Copyright 2002 IFAC 15th Triennial World Congress, Barcelona, Spain ON SUPERVISORY CONTROL OF LINEAR SYSTEMS WITH INPUT CONSTRAINTS C. De Persis, R. De Santis, A.S. Morse Dept. of Electric al Engineering,
More informationc 2002 Society for Industrial and Applied Mathematics
SIAM J. CONTROL OPTIM. Vol. 4, No. 6, pp. 888 94 c 22 Society for Industrial and Applied Mathematics A UNIFYING INTEGRAL ISS FRAMEWORK FOR STABILITY OF NONLINEAR CASCADES MURAT ARCAK, DAVID ANGELI, AND
More informationAnalysis of Input to State Stability for Discrete Time Nonlinear Systems via Dynamic Programming
Analysis of Input to State Stability for Discrete Time Nonlinear Systems via Dynamic Programming Shoudong Huang Matthew R. James Dragan Nešić Peter M. Dower April 8, 4 Abstract The Input-to-state stability
More informationInput-to-state stability of time-delay systems: criteria and open problems
217 IEEE 56th Annual Conference on Decision and Control (CDC) December 12-15, 217, Melbourne, Australia Input-to-state stability of time-delay systems: criteria and open problems Andrii Mironchenko and
More informationNonlinear 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 informationChaos Synchronization of Nonlinear Bloch Equations Based on Input-to-State Stable Control
Commun. Theor. Phys. (Beijing, China) 53 (2010) pp. 308 312 c Chinese Physical Society and IOP Publishing Ltd Vol. 53, No. 2, February 15, 2010 Chaos Synchronization of Nonlinear Bloch Equations Based
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 informationModeling & 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 informationStability 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 informationUsing 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 informationA generalization of Zubov s method to perturbed systems
A generalization of Zubov s method to perturbed systems Fabio Camilli, Dipartimento di Matematica Pura e Applicata, Università dell Aquila 674 Roio Poggio (AQ), Italy, camilli@ing.univaq.it Lars Grüne,
More information