Lyapunov small-gain theorems for not necessarily ISS hybrid systems
|
|
- Clyde O’Connor’
- 5 years ago
- Views:
Transcription
1 Lyapunov small-gain theorems for not necessarily ISS hybrid systems Andrii Mironchenko, Guosong Yang and Daniel Liberzon Institute of Mathematics University of Würzburg Coordinated Science Laboratory University of Illinois at Urbana-Champaign MTNS 2014 Groningen, 9 July 2014
2 Class of systems ẋ f (x, u), (x, u) C, x + g(x, u), (x, u) D. (Σ) E R + N is a compact hybrid time domain if E = J ([t j, t j+1 ], j) j=0 for some 0 = t 0 t 1 t J+1. E R + N is a hybrid time domain if (T, J) E, E ([0, T ] {0, 1,..., J}) is a compact hybrid time domain. A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
3 Comparison functions K := {γ { : R + R + γ(0) = 0, γ is continuous, increasing and unbounded } L := γ : R + R + γ is continuous, strictly decreasing and lim γ(t) = 0 t KL := {β : R + R + R + β(, t) K, t 0, β(r, ) L, r > 0} A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
4 Input-to-state stability Definition (ISS) A set of solution pairs S is pre-iss w.r.t. A : β KL, γ K : (x, u) S, (t, j) dom x x(t, j) A max { β( x(0, 0) A, t + j), γ( u (t,j) ) }. Σ is pre-iss w.r.t. A if S = { all solution pairs (x, u) of Σ} is pre-iss w.r.t. A. Σ is ISS w.r.t. A if Σ is pre-iss w.r.t. A and all solution pairs are complete. A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
5 Lyapunov functions Definition V is exponential ISS-LF w.r.t. A X : ψ 1, ψ 2 K, c, d R: ψ 1 ( x A ) V (x) ψ 2 ( x A ) x X { V (x; y) cv (x) (x, u) C, y f (x, u), V (x) χ( u ) V (y) e d V (x) (x, u) D, y g(x, u). A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
6 Lyapunov functions Definition V is exponential ISS-LF w.r.t. A X : ψ 1, ψ 2 K, c, d R: ψ 1 ( x A ) V (x) ψ 2 ( x A ) x X { V (x; y) cv (x) (x, u) C, y f (x, u), V (x) χ( u ) Proposition V (y) e d V (x) (x, u) D, y g(x, u). Let V be exp. ISS-LF for Σ w.r.t. A with d 0. µ 1, η, λ > 0, S[η, λ, µ] := set of solution pairs (x, u) satisfying (d η)(j i) (c λ)(t s) µ (t, j), (s, i) dom x. Then S[η, λ, µ] is pre-iss w.r.t. A. A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
7 Interconnected systems Definition ẋ i f i (x, u), (x, u) C, Σ Σ : i : x + i g i (x, u), (x, u) D, i = 1,..., n V i : X i R + is exponential ISS LF for Σ i w.r.t. A i X i : 1) χ ij, χ i K, c i, d i R: (x, u) C, y i f i (x, u), { } n V i (x i ) max max χ ij(v j (x j )), χ i ( u ) V i (x i ; y i ) c i (V i (x i )). j=1,j i 2) d i R: (x, u) D, y i g i (x, u) { } V i (y i ) max e d n i V i (x i ), max χ ij(v j (x j )), χ i ( u ). j=1,j i A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
8 Literature overview D. Liberzon, D. Nesic, A. Teel. Lyapunov-Based Small-Gain Theorems for Hybrid Systems, IEEE TAC, D. Liberzon, D. Nesic, A. Teel. Small-gain theorems of LaSalle type for hybrid systems, CDC Small-gain theorems for interconnections of 2 ISS systems Modification method for interconnections with not necessarily ISS subsystems. LaSalle-Krasovskii type theorem for hybrid systems A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
9 Literature overview D. Liberzon, D. Nesic, A. Teel. Lyapunov-Based Small-Gain Theorems for Hybrid Systems, IEEE TAC, D. Liberzon, D. Nesic, A. Teel. Small-gain theorems of LaSalle type for hybrid systems, CDC Small-gain theorems for interconnections of 2 ISS systems Modification method for interconnections with not necessarily ISS subsystems. LaSalle-Krasovskii type theorem for hybrid systems S. Dashkovskiy, A. Mironchenko. Input-to-State Stability of Nonlinear Impulsive Systems, SICON, S. Dashkovskiy, M. Kosmykov, A. Mironchenko, L. Naujok. Stability of interconnected impulsive systems with and without time delays, using Lyapunov methods, Nonlinear Analysis: Hybrid Systems, Small-gain theorems for interconnections of n impulsive systems with matched instabilities. Stability conditions for nonexponential Lyapunov functions A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
10 Literature overview D. Liberzon, D. Nesic, A. Teel. Lyapunov-Based Small-Gain Theorems for Hybrid Systems, IEEE TAC, D. Liberzon, D. Nesic, A. Teel. Small-gain theorems of LaSalle type for hybrid systems, CDC Small-gain theorems for interconnections of 2 ISS systems Modification method for interconnections with not necessarily ISS subsystems. LaSalle-Krasovskii type theorem for hybrid systems S. Dashkovskiy, A. Mironchenko. Input-to-State Stability of Nonlinear Impulsive Systems, SICON, S. Dashkovskiy, M. Kosmykov, A. Mironchenko, L. Naujok. Stability of interconnected impulsive systems with and without time delays, using Lyapunov methods, Nonlinear Analysis: Hybrid Systems, Small-gain theorems for interconnections of n impulsive systems with matched instabilities. Stability conditions for nonexponential Lyapunov functions A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
11 Interconnections of 2 systems ISS-LF for Σ i V i : X i R + is ISS-Lyapunov functions for Σ i, i = 1, 2 iff (x, u) C, y 1 f 1 (x, u) V 1 (x 1 ) max { χ 12 (V 2 (x 2 )), χ 1 ( u U ) } (x, u) D, y 1 g 1 (x, u) V 1 (y 1 ) max { e d 1V 1 (x 1 ), χ 12 (V 2 (x 2 )), χ 1 ( u ) }. V 1 (x 1 ; y 1 ) c 1 V 1 (x 1 ), (x, u) C, y 2 f 2 (x, u) V 2 (x 2 ) max { χ 21 (V 1 (x 1 )), χ 2 ( u U ) } (x, u) D, y 2 g 2 (x, u) V 2 (y 2 ) max { e d 2V 2 (x 2 ), χ 21 (V 1 (x 1 )), χ 2 ( u ) }. V 2 (x 2 ) c 2 V 2 (x 2 ), A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
12 Interconnections of 2 systems ISS-LF for Σ i V i : X i R + is ISS-Lyapunov functions for Σ i, i = 1, 2 iff (x, u) C, y 1 f 1 (x, u) V 1 (x 1 ) max { χ 12 (V 2 (x 2 )), χ 1 ( u U ) } (x, u) D, y 1 g 1 (x, u) V 1 (y 1 ) max { e d 1V 1 (x 1 ), χ 12 (V 2 (x 2 )), χ 1 ( u ) }. V 1 (x 1 ; y 1 ) c 1 V 1 (x 1 ), (x, u) C, y 2 f 2 (x, u) V 2 (x 2 ) max { χ 21 (V 1 (x 1 )), χ 2 ( u U ) } (x, u) D, y 2 g 2 (x, u) V 2 (y 2 ) max { e d 2V 2 (x 2 ), χ 21 (V 1 (x 1 )), χ 2 ( u ) }. V 2 (x 2 ) c 2 V 2 (x 2 ), How to use these two LFs to study ISS of the interconnection? A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
13 Interconnections of 2 systems ISS-LF for Σ i V i : X i R + is ISS-Lyapunov functions for Σ i, i = 1, 2 iff (x, u) C, y 1 f 1 (x, u) V 1 (x 1 ) max { χ 12 (V 2 (x 2 )), χ 1 ( u U ) } (x, u) D, y 1 g 1 (x, u) V 1 (y 1 ) max { e d 1V 1 (x 1 ), χ 12 (V 2 (x 2 )), χ 1 ( u ) }. V 1 (x 1 ; y 1 ) c 1 V 1 (x 1 ), (x, u) C, y 2 f 2 (x, u) V 2 (x 2 ) max { χ 21 (V 1 (x 1 )), χ 2 ( u U ) } (x, u) D, y 2 g 2 (x, u) V 2 (y 2 ) max { e d 2V 2 (x 2 ), χ 21 (V 1 (x 1 )), χ 2 ( u ) }. V 2 (x 2 ) c 2 V 2 (x 2 ), This depends on χ 12, χ 21 and coefficients c i, d i! A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
14 The case when c i > 0, d i > 0, i = 1, 2 Theorem (Liberzon, Nesic, Teel, IEEE TAC, 2014) Let V 1, V 2 be ISS-Lyapunov function for Σ 1, Σ 2 with gains χ 12, χ 21. Let also c 1, c 2, d 1, d 2 > 0. Then χ 12 χ 21 < id (SGC) Σ is ISS. V (x) := max{v 1 (x 1 ), ρ(v 2 (x 2 ))} is an ISS Lyapunov function for Σ. A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
15 The case when c i > 0, d i > 0, i = 1, 2 Theorem (Liberzon, Nesic, Teel, IEEE TAC, 2014) Let V 1, V 2 be ISS-Lyapunov function for Σ 1, Σ 2 with gains χ 12, χ 21. Let also c 1, c 2, d 1, d 2 > 0. Then χ 12 χ 21 < id (SGC) Σ is ISS. V (x) := max{v 1 (x 1 ), ρ(v 2 (x 2 ))} is an ISS Lyapunov function for Σ. If χ ij are linear, ρ can be chosen linear and s.t. V is an exponential LF. A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
16 The case when c i > 0, d i > 0, i = 1, 2 Theorem (Liberzon, Nesic, Teel, IEEE TAC, 2014) Let V 1, V 2 be ISS-Lyapunov function for Σ 1, Σ 2 with gains χ 12, χ 21. Let also c 1, c 2, d 1, d 2 > 0. Then χ 12 χ 21 < id (SGC) Σ is ISS. V (x) := max{v 1 (x 1 ), ρ(v 2 (x 2 ))} is an ISS Lyapunov function for Σ. If χ ij are linear, ρ can be chosen linear and s.t. V is an exponential LF. What to do if some of c i, d i are < 0? A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
17 Modification of "bad" subsystems when χ ij are linear Method due to Liberzon, Nesic, Teel, IEEE TAC, V i = LF for Σ i gains χ ij Restrict jumping rate of Σ i i : c i < 0 and i : d i < 0 W i = LF for Σ i gains χ ij The gains increase exponentially with chatter bound! SGT (for systems with ISS subsystems) W = LF for Σ Conditions for ISS of Σ A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
18 A new small-gain theorem Define Γ M := (χ ij ) n n. Theorem Let V i be exp. ISS LF for Σ i w.r.t. A i with d i 0 and linear gains χ ij. ρ(γ M ) < 1 V (x) := max n 1 i=1 s i V i (x i ) is an exp. ISS LF for Σ w.r.t. A = A 1... A n with rate coefficients { ( )} c := min n c sj i, d := min d i, ln χ ij. i=1 i,j:j i s i This LF can be used to prove ISS if all c i > 0 or all d i > 0. A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
19 Modification of "bad" subsystems when χ ij are linear Improved modification method V i = LF for Σ i gains χ ij Restrict jumping rate of Σ i i : c i < 0 or i : d i < 0 W i = LF for Σ i gains χ ij The gains increase exponentially with chatter bound! SGT (for systems with matched instabilities) W = LF for Σ Conditions for ISS of Σ A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
20 Making discrete dynamics ISS Define I d := {i {1,..., n} : d i < 0}. i I d restrict the frequency of jumps of Σ i by j k δ i (t s) + N i 0, (ADT) where δ i, N0 i > 0 and (t, j), (s, k) dom x. It can be modeled by the clock τ i [0, δ i ], τ i [0, N i 0 ], τ + i = τ i 1, τ i [1, N i 0 ]. LF for Σ i : W i (z i ) := { Vi (x i ), i / I d, e L i τ i V i (x i ), i I d. A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
21 Making discrete dynamics ISS Proposition: ISS LF for modified subsystems 1) (z, u) C and y i f i (z, u), { } n W i (z i ) max max χ ijw j (z j ), χ i u Ẇi(z i ; y i ) c i W i (z i ), j=1 where c i = c i for i / I d ; c i = c i L i δ i for i I d and χ i := χ i, χ ij := χ ij, i / I d, χ i := e L i N i 0 χi, χ ij := e L i N i 0 χij, i I d. 2) (z, u) D and y i g i (z, u), { } W i (y i ) max e d n i W i (z i ), max χ ijw j (z j ), χ i u, j=1 where d i = d i for i / I d and d i = d i + L i for i I d. A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
22 Example Let c 1 > 0, d 1 < 0, c 2 > 0 and d 2 < 0. Instabilities are matched no modification. SGT LF V for interconnection with c > 0 and d < 0. Let c 1 > 0, d 1 < 0, c 2 < 0 and d 2 > 0. Instabilities are not matched modify Σ 2. Γ = [ 0 χ12 χ 21 0 ] = [ 0 e L 1 N0 1 χ 12 χ 21 0 ]. SGT Since L 1 = d 1 + ε; χ 12 χ 21 < e L 1N 1 0. N χ 12 χ 21 e d 1. A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
23 Summary and Outlook Main results Outlook New small-gain theorem for hybrid systems. If instabilities are matched no modification is needed. Less restrictive modification method Extension to nonlinear χ ij, using ideas from S. Dashkovskiy and A.M. Input-to-State Stability of Nonlinear Impulsive Systems, SICON, A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
24 Summary and Outlook Main results Outlook New small-gain theorem for hybrid systems. If instabilities are matched no modification is needed. Less restrictive modification method Extension to nonlinear χ ij, using ideas from S. Dashkovskiy and A.M. Input-to-State Stability of Nonlinear Impulsive Systems, SICON, Can one avoid modifications if the instabilities are not matched? A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
25 Summary and Outlook Main results Outlook New small-gain theorem for hybrid systems. If instabilities are matched no modification is needed. Less restrictive modification method Extension to nonlinear χ ij, using ideas from S. Dashkovskiy and A.M. Input-to-State Stability of Nonlinear Impulsive Systems, SICON, Can one avoid modifications if the instabilities are not matched? Thank you for attention! A. Mironchenko, G. Yang, D. Liberzon ISS of hybrid systems MTNS / 18
Analysis 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 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 informationSTABILITY theory for nonlinear systems benefits immensely
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 6, JUNE 2014 1395 Lyapunov-Based Small-Gain Theorems for Hybrid Systems Daniel Liberzon, Fellow, IEEE, Dragan Nešić, Fellow, IEEE, and Andrew R. Teel,
More informationApplication of the LISS Lyapunov-Krasovskii small-gain theorem to autonomously controlled production networks with time-delays
Application of the LISS Lyapunov-Krasovskii small-gain theorem to autonomously controlled production networks with time-delays Sergey Dashkovskiy, Hamid Reza Karimi, Michael Kosmykov, Andrii Mironchenko,
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 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 informationDelay-independent stability via a reset loop
Delay-independent stability via a reset loop S. Tarbouriech & L. Zaccarian (LAAS-CNRS) Joint work with F. Perez Rubio & A. Banos (Universidad de Murcia) L2S Paris, 20-22 November 2012 L2S Paris, 20-22
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 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 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 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 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 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 informationNetworked Control Systems, Event-Triggering, Small-Gain Theorem, Nonlinear
EVENT-TRIGGERING OF LARGE-SCALE SYSTEMS WITHOUT ZENO BEHAVIOR C. DE PERSIS, R. SAILER, AND F. WIRTH Abstract. We present a Lyapunov based approach to event-triggering for large-scale systems using a small
More informationUniform weak attractivity and criteria for practical global asymptotic stability
Uniform weak attractivity and criteria for practical global asymptotic stability Andrii Mironchenko a a Faculty of Computer Science and Mathematics, University of Passau, Innstraße 33, 94032 Passau, Germany
More informationInput-to-state stability of infinite-dimensional control systems
Input-to-state stability of infinite-dimensional control systems von Andrii Mironchenko geboren am 5 Juli 1986 in Odessa, Ukraine Dissertation Zur Erlangung des Grades eines Doktors der Naturwissenschaften
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 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 informationNetworked Control Systems:
Networked Control Systems: an emulation approach to controller design Dragan Nesic The University of Melbourne Electrical and Electronic Engineering Acknowledgements: My collaborators: A.R. Teel, M. Tabbara,
More informationOn the uniform input-to-state stability of reaction-diffusion systems
49th IEEE Conference on Decision and Control December 15-17, 2010 Hilton Atlanta Hotel, Atlanta, GA, USA On the uniform input-to-state stability of reaction-diffusion systems Sergey Dashkovskiy and Andrii
More informationNONLINEAR CONTROL with LIMITED INFORMATION. Daniel Liberzon
NONLINEAR CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign Plenary talk, 2 nd Indian Control
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 informationInput-to-State Stability of Nonlinear Parabolic PDEs with Dirichlet Boundary Disturbances
23rd International Symposium on Mathematical Theory of Networks and Systems Hong Kong University of Science and Technology, Hong Kong, July 16-20, 2018 Input-to-State Stability of Nonlinear Parabolic PDEs
More informationA Multichannel IOpS Small-Gain Theorem for Large Scale Systems
Proceedings of the 19th International Symposium on Mathematical Theory of Networks Systems MTNS 2010 5 9 July, 2010 Budapest, Hungary A Multichannel IOpS Small-Gain Theorem for Large Scale Systems Rudolf
More informationarxiv: v2 [math.oc] 4 Nov 2009
SMALL GAIN THEOREMS FOR LARGE SCALE SYSTEMS AND CONSTRUCTION OF ISS LYAPUNOV FUNCTIONS SERGEY N. DASHKOVSKIY, BJÖRN S. RÜFFER, AND FABIAN R. WIRTH arxiv:0901.1842v2 [math.oc] 4 Nov 2009 Abstract. We consider
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 informationStability of Interconnected Switched Systems and Supervisory Control of Time-Varying Plants
Proceedings of the 46th IEEE Conference on Decision and Control New Orleans, LA, USA, Dec. 12-14, 2007 Stability of Interconnected Switched Systems and Supervisory Control of Time-Varying Plants L. Vu
More informationLyapunov Conditions for the Input-to-State Stability of Impulsive Systems
Lyapunov Conditions for the Input-to-State Stability of Impulsive Systems Technical Report João P. Hespanha a,1, Daniel Liberzon b, Andrew R. Teel a a University of California, Santa Barbara, CA 93106-9560,
More informationQUANTIZED SYSTEMS AND CONTROL. Daniel Liberzon. DISC HS, June Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign
QUANTIZED SYSTEMS AND CONTROL Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign DISC HS, June 2003 HYBRID CONTROL Plant: u y
More informationRobust Nonlinear Regulation: Continuous-time Internal Models and Hybrid Identifiers
53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA Robust Nonlinear Regulation: Continuous-time Internal Models and Hybrid Identifiers Francesco Forte, Lorenzo
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 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 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 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 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 informationOn a small-gain approach to distributed event-triggered control
On a small-gain approach to distributed event-triggered control Claudio De Persis, Rudolf Sailer Fabian Wirth Fac Mathematics & Natural Sciences, University of Groningen, 9747 AG Groningen, The Netherlands
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 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 informationA non-coercive Lyapunov framework for stability of distributed parameter systems
17 IEEE 56th Annual Conference on Decision and Control (CDC December 1-15, 17, Melbourne, Australia A non-coercive Lyapunov framework for stability of distributed parameter systems Andrii Mironchenko and
More informationGlobal Stability and Asymptotic Gain Imply Input-to-State Stability for State-Dependent Switched Systems
2018 IEEE Conference on Decision and Control (CDC) Miami Beach, FL, USA, Dec. 17-19, 2018 Global Stability and Asymptotic Gain Imply Input-to-State Stability for State-Dependent Switched Systems Shenyu
More informationCYCLIC PURSUIT WITHOUT COORDINATES: CONVERGENCE to REGULAR POLYGON FORMATIONS. Daniel Liberzon
CYCLIC PURSUIT WITHOUT COORDINATES: CONVERGENCE to REGULAR POLYGON FORMATIONS Daniel Liberzon Joint work with Maxim Arnold (now at UT Dallas) and Yuliy Baryshnikov University of Illinois, Urbana-Champaign,
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 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 informationADAPTIVE control of uncertain time-varying plants is a
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 56, NO. 1, JANUARY 2011 27 Supervisory Control of Uncertain Linear Time-Varying Systems Linh Vu, Member, IEEE, Daniel Liberzon, Senior Member, IEEE Abstract
More informationAutomatica. Input/output-to-state stability and state-norm estimators for switched nonlinear systems. Matthias A. Müller a,1, Daniel Liberzon b
Automatica 48 (2012) 2029 2039 Contents lists available at SciVerse ScienceDirect Automatica journal homepage: www.elsevier.com/locate/automatica Input/output-to-state stability and state-norm estimators
More informationOn Asymptotic Synchronization of Interconnected Hybrid Systems with Applications
On Asymptotic Synchronization of Interconnected Hybrid Systems with Applications Sean Phillips and Ricardo G. Sanfelice Abstract In this paper, we consider the synchronization of the states of a multiagent
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 informationDISCRETE-TIME TIME-VARYING ROBUST STABILIZATION FOR SYSTEMS IN POWER FORM. Dina Shona Laila and Alessandro Astolfi
DISCRETE-TIME TIME-VARYING ROBUST STABILIZATION FOR SYSTEMS IN POWER FORM Dina Shona Laila and Alessandro Astolfi Electrical and Electronic Engineering Department Imperial College, Exhibition Road, London
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 informationA small gain condition for interconnections of ISS systems with mixed ISS characterizations
A small gain condition for interconnections of ISS systems with mixed ISS characterizations Sergey Dashkovskiy, Michael Kosmykov, Fabian Wirth 1 arxiv:1006.2360v1 [math.ds] 11 Jun 2010 Abstract We consider
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 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 informationHybrid Systems Techniques for Convergence of Solutions to Switching Systems
Hybrid Systems Techniques for Convergence of Solutions to Switching Systems Rafal Goebel, Ricardo G. Sanfelice, and Andrew R. Teel Abstract Invariance principles for hybrid systems are used to derive invariance
More informationStrong Implication-Form ISS-Lyapunov Functions for Discontinuous Discrete-Time Systems
Strong Implication-Form ISS-Lyapunov Functions for Discontinuous Discrete-Time Systems Lars Grüne and Christopher M. Kellett Abstract Input-to-State Stability (ISS) and the ISS- Lyapunov function have
More informationDesign of hybrid control systems for continuous-time plants: from the Clegg integrator to the hybrid H controller
Design of hybrid control systems for continuous-time plants: from the Clegg integrator to the hybrid H controller Luca Zaccarian LAAS-CNRS, Toulouse and University of Trento University of Oxford November
More informationStabilization of a Chain of Exponential Integrators Using a Strict Lyapunov Function
Stabilization of a Chain of Exponential Integrators Using a Strict Lyapunov Function Michael Malisoff Miroslav Krstic Chain of Exponential Integrators { Ẋ = (Y Y )X Ẏ = (D D)Y, (X, Y ) (0, ) 2 X = pest
More informationInput-Output Stability with Input-to-State Stable Protocols for Quantized and Networked Control Systems
Proceedings of the 47th IEEE Conference on Decision and Control Cancun, Meico, Dec. 9-11, 2008 Input-Output Stability with Input-to-State Stable Protocols for Quantized and Networked Control Systems Mohammad
More informationI. D. Landau, A. Karimi: A Course on Adaptive Control Adaptive Control. Part 9: Adaptive Control with Multiple Models and Switching
I. D. Landau, A. Karimi: A Course on Adaptive Control - 5 1 Adaptive Control Part 9: Adaptive Control with Multiple Models and Switching I. D. Landau, A. Karimi: A Course on Adaptive Control - 5 2 Outline
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 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 informationEvent-Based Control of Nonlinear Systems with Partial State and Output Feedback
Event-Based Control of Nonlinear Systems with Partial State and Output Feedback Tengfei Liu a, Zhong-Ping Jiang b a State Key Laboratory of Synthetical Automation for Process Industries, Northeastern University,
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 informationLyapunov characterization of input-to-state stability for semilinear control systems over Banach spaces
Lyapunov caracterization of input-to-state stability for semilinear control systems over Banac spaces Andrii Mironcenko a, Fabian Wirt a a Faculty of Computer Science and Matematics, University of Passau,
More informationAQUANTIZER is a device that converts a real-valued
830 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 57, NO 4, APRIL 2012 Input to State Stabilizing Controller for Systems With Coarse Quantization Yoav Sharon, Member, IEEE, Daniel Liberzon, Senior Member,
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 informationc 2010 Society for Industrial and Applied Mathematics
SIAM J. CONTROL OPTIM. Vol. 48, No. 6, pp. 4089 4118 c 2010 Society for Industrial and Applied Mathematics SMALL GAIN THEOREMS FOR LARGE SCALE SYSTEMS AND CONSTRUCTION OF ISS LYAPUNOV FUNCTIONS SERGEY
More informationEvent-based Stabilization of Nonlinear Time-Delay Systems
Preprints of the 19th World Congress The International Federation of Automatic Control Event-based Stabilization of Nonlinear Time-Delay Systems Sylvain Durand Nicolas Marchand J. Fermi Guerrero-Castellanos
More informationDelay compensation in packet-switching network controlled systems
Delay compensation in packet-switching network controlled systems Antoine Chaillet and Antonio Bicchi EECI - L2S - Université Paris Sud - Supélec (France) Centro di Ricerca Piaggio - Università di Pisa
More informationGlobal Stability and Asymptotic Gain Imply Input-to-State Stability for State-Dependent Switched Systems
Global Stability and Asymptotic Gain Imply Input-to-State Stability for State-Dependent Switched Systems Shenyu Liu Daniel Liberzon Abstract In this paper we study several stability properties for state-dependent
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 informationSwitched Systems: Mixing Logic with Differential Equations
research supported by NSF Switched Systems: Mixing Logic with Differential Equations João P. Hespanha Center for Control Dynamical Systems and Computation Outline Logic-based switched systems framework
More informationNEW SUPERVISORY CONTROL USING CONTROL-RELEVANT SWITCHING
NEW SUPERVISORY CONTROL USING CONTROL-RELEVANT SWITCHING Tae-Woong Yoon, Jung-Su Kim Dept. of Electrical Engineering. Korea University, Anam-dong 5-ga Seongbuk-gu 36-73, Seoul, Korea, twy@korea.ac.kr,
More informationComputation of Local ISS Lyapunov Function Via Linear Programming
Computation of Local ISS Lyapunov Function Via Linear Programming Huijuan Li Joint work with Robert Baier, Lars Grüne, Sigurdur F. Hafstein and Fabian Wirth Institut für Mathematik, Universität Würzburg
More informationScaling to Preserve iiss Dissipation Inequalities for Nonlinear Systems
FNT215, Fukuoka, Japan December 13, 215, 9:5-1:2 1 Scaling to Preserve iiss Dissipation Inequalities for Nonlinear Systems Hiroshi Ito Dept. of Systems Design and Informatics Kyushu Institute of Technology,
More informationNonlinear Scaling of (i)iss-lyapunov Functions
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 61, NO. 4, APRIL 216 187 Nonlinear Scaling of (i)iss-lyapunov Functions Christopher M. Kellett and Fabian R. Wirth Abstract While nonlinear scalings of Lyapunov
More informationStability Theory for Nonnegative and Compartmental Dynamical Systems with Time Delay
1 Stability Theory for Nonnegative and Compartmental Dynamical Systems with Time Delay Wassim M. Haddad and VijaySekhar Chellaboina School of Aerospace Engineering, Georgia Institute of Technology, Atlanta,
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 informationAn ISS Small-Gain Theorem for General Networks
arxiv:math/0506434v1 [math.oc] 21 Jun 2005 An ISS Small-Gain Theorem for General Networks Sergey Dashkovskiy Björn S. Rüffer Fabian R. Wirth June 7, 2005 We provide a generalized version of the nonlinear
More informationSTABILITY ANALYSIS OF DETERMINISTIC AND STOCHASTIC SWITCHED SYSTEMS VIA A COMPARISON PRINCIPLE AND MULTIPLE LYAPUNOV FUNCTIONS
SIAM J. CONTROL OPTIM. Vol. 45, No. 1, pp. 174 206 c 2006 Society for Industrial and Applied Mathematics STABILITY ANALYSIS OF DETERMINISTIC AND STOCHASTIC SWITCHED SYSTEMS VIA A COMPARISON PRINCIPLE AND
More informationOn a small gain theorem for ISS networks in dissipative Lyapunov form
On a small gain theorem for ISS networks in dissipative Lyapunov form Sergey Dashkovskiy, Hiroshi Ito and Fabian Wirth Abstract In this paper we consider several interconnected ISS systems supplied with
More informationEstimating Lyapunov Exponents from Time Series. Gerrit Ansmann
Estimating Lyapunov Exponents from Time Series Gerrit Ansmann Example: Lorenz system. Two identical Lorenz systems with initial conditions; one is slightly perturbed (10 14 ) at t = 30: 20 x 2 1 0 20 20
More informationEXISTENCE AND EXPONENTIAL STABILITY OF ANTI-PERIODIC SOLUTIONS IN CELLULAR NEURAL NETWORKS WITH TIME-VARYING DELAYS AND IMPULSIVE EFFECTS
Electronic Journal of Differential Equations, Vol. 2016 2016, No. 02, pp. 1 14. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTENCE AND EXPONENTIAL
More informationStability of Delay Impulsive Systems with Application to Networked Control Systems
Stability of Delay Impulsive Systems with Application to Networked Control Systems Payam Naghshtabrizi, João P. Hespanha, and Andrew R. Teel Abstract We establish asymptotic and exponential stability theorems
More informationOutput Feedback Control for a Class of Piecewise Linear Systems
Proceedings of the 2007 American Control Conference Marriott Marquis Hotel at Times Square New York City, USA, July -3, 2007 WeB20.3 Output Feedback Control for a Class of Piecewise Linear Systems A. Lj.
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 III: Lyapunov functions and quantitative aspects ISS Consider with
More informationA nonsmooth hybrid invariance principle applied to robust event-triggered design
A nonsmooth hybrid invariance principle applied to robust event-triggered design Alexandre Seuret, Christophe Prieur, Sophie Tarbouriech, A Teel, Luca Zaccarian To cite this version: Alexandre Seuret,
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 informationNorm-controllability, or how a nonlinear system responds to large inputs
Norm-controllability, or how a nonlinear system responds to large inputs Matthias A. Müller Daniel Liberzon Frank Allgöwer Institute for Systems Theory and Automatic Control IST), University of Stuttgart,
More informationAn Asymmetric Small-Gain Technique to Construct Lyapunov-Krasovskii Functionals for Nonlinear Time-Delay Systems with Static Components
2011 American Control Conference on O'Farrell Street, San Francisco, CA, USA June 29 - July 01, 2011 An Asymmetric Small-Gain Technique to Construct Lyapunov-Krasovskii Functionals for Nonlinear Time-Delay
More informationChapter 2 Mathematical Preliminaries
Chapter 2 Mathematical Preliminaries 2.1 Introduction In this chapter, the fundamental mathematical concepts and analysis tools in systems theory are summarized, which will be used in control design and
More informationStabilizing Uncertain Systems with Dynamic Quantization
Proceedings of the 47th IEEE Conference on Decision and Control Cancun, Mexico, Dec. 9-11, 2008 Stabilizing Uncertain Systems with Dynamic Quantization Linh Vu Daniel Liberzon Abstract We consider state
More informationA Small Gain Condition for Interconnections of ISS Systems With Mixed ISS Characterizations
This article has been accepted for publication in a future issue of this ournal, but has not been fully edited Content may change prior to final publication A Small Gain Condition for Interconnections
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 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 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 informationOn Dwell Time Minimization for Switched Delay Systems: Free-Weighting Matrices Method
On Dwell Time Minimization for Switched Delay Systems: Free-Weighting Matrices Method Ahmet Taha Koru Akın Delibaşı and Hitay Özbay Abstract In this paper we present a quasi-convex minimization method
More informationBackstepping Design for Time-Delay Nonlinear Systems
Backstepping Design for Time-Delay Nonlinear Systems Frédéric Mazenc, Projet MERE INRIA-INRA, UMR Analyse des Systèmes et Biométrie, INRA, pl. Viala, 346 Montpellier, France, e-mail: mazenc@helios.ensam.inra.fr
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 informationPROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS
PROBABILITY: LIMIT THEOREMS II, SPRING 218. HOMEWORK PROBLEMS PROF. YURI BAKHTIN Instructions. You are allowed to work on solutions in groups, but you are required to write up solutions on your own. Please
More information