TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon...
-
Upload
melina-moody -
Category
Documents
-
view
213 -
download
0
Transcript of TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon...
![Page 1: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/1.jpg)
TOWARDS ROBUST LIE-ALGEBRAIC STABILITY
CONDITIONS for SWITCHED LINEAR SYSTEMS
Daniel Liberzon
Coordinated Science Laboratory andDept. of Electrical & Computer Eng.,Univ. of Illinois at Urbana-Champaign
European Control Conference, Budapest, Aug 2009
![Page 2: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/2.jpg)
SWITCHED SYSTEMSSwitched system:
• is a family of systems
• is a switching signal
Switching can be:
• State-dependent or time-dependent• Autonomous or controlled
Details of discrete behavior are “abstracted away”
: stabilityProperties of the continuous state
Discrete dynamics classes of switching signals
![Page 3: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/3.jpg)
STABILITY ISSUE
unstable
Asymptotic stability of each subsystem is
not sufficient for stability under arbitrary switching
![Page 4: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/4.jpg)
KNOWN RESULTS: LINEAR SYSTEMS
Lie algebra w.r.t.
No further extension based on Lie algebra only
Quadratic common Lyapunov function exists in all these cases
Assuming GES of all modes, GUES is guaranteed for:
• commuting subsystems:
[Narendra–Balakrishnan,
• nilpotent Lie algebras (suff. high-order Lie brackets are 0)e.g.
Gurvits,
• solvable Lie algebras (triangular up to coord. transf.)
Kutepov, L–Hespanha–Morse,
• solvable + compact (purely imaginary eigenvalues)
Agrachev–L]
![Page 5: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/5.jpg)
KNOWN RESULTS: NONLINEAR SYSTEMS
• Linearization (Lyapunov’s indirect method)
Can prove by trajectory analysis [Mancilla-Aguilar ’00]
or common Lyapunov function [Shim et al. ’98, Vu–L ’05]
• Global results beyond commuting case
Recently obtained using optimal control approach
[Margaliot–L ’06, Sharon–Margaliot ’07]
• Commuting systems
GUAS
![Page 6: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/6.jpg)
REMARKS on LIE-ALGEBRAIC CRITERIA
• Checkable conditions
• In terms of the original data
• Independent of representation
• Not robust to small perturbations
In any neighborhood of any pair of matricesthere exists a pair of matrices generating the entire Lie algebra [Agrachev–L ’01]
How to measure closeness to a “nice” Lie algebra?
![Page 7: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/7.jpg)
EXAMPLE
(discrete time, or cont. time periodic switching: )
Suppose .
Fact 1 Stable for dwell time :
Fact 2 If then always stable:
This generalizes Fact 1 (didn’t need ) and Fact 2 ( )
Switching between and
Schur
Fact 3 Stable if where is small enough s.t.
When we have where
![Page 8: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/8.jpg)
EXAMPLE
(discrete time, or cont. time periodic switching: )
Suppose .
Fact 1 Stable for dwell time :
Fact 2 If then always stable:
Switching between and
Schur
When we have where
![Page 9: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/9.jpg)
MORE GENERAL FORMULATION
Assume switching period :
![Page 10: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/10.jpg)
MORE GENERAL FORMULATION
Find smallest s.t.
Assume switching period
![Page 11: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/11.jpg)
MORE GENERAL FORMULATION
Assume switching period
Intuitively, captures:
• how far and are from commuting ( )
• how big is compared to ( )
, define byFind smallest s.t.
![Page 12: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/12.jpg)
MORE GENERAL FORMULATION
Stability condition: where
already discussed: (“elementary shuffling”)
Assume switching period
, define byFind smallest s.t.
![Page 13: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/13.jpg)
SOME OPEN ISSUES
• Relation between and Lie brackets of and
general formula seems to be lacking
![Page 14: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/14.jpg)
SOME OPEN ISSUES
• Relation between and Lie brackets of and
Suppose but
Elementary shuffling: ,
not nec. close to but commutes with and
• Smallness of higher-order Lie brackets
Example:
![Page 15: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/15.jpg)
SOME OPEN ISSUES
• Relation between and Lie brackets of and
Suppose but
Elementary shuffling: ,
not nec. close to but commutes with and
This shows stability for
Example:
In general, for can define by
• Smallness of higher-order Lie brackets
(Gurvits: true for any )
![Page 16: TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &](https://reader036.fdocuments.in/reader036/viewer/2022062713/56649ce25503460f949ae0f2/html5/thumbnails/16.jpg)
SOME OPEN ISSUES
• Relation between and Lie brackets of and
• Smallness of higher-order Lie brackets
• More than 2 subsystems
can still define but relation with Lie brackets less clear
• Optimal way to shuffle
especially when is not a multiple of
• Current work investigates alternative approaches
that go beyond periodic switching