INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS
description
Transcript of INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS
![Page 1: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/1.jpg)
INPUT-TO-STATE STABILITY of
SWITCHED SYSTEMS
Debasish Chatterjee, Linh Vu, Daniel Liberzon
Coordinated Science Laboratory andDept. of Electrical & Computer Eng.,Univ. of Illinois at Urbana-Champaign
![Page 2: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/2.jpg)
ISS under ADT SWITCHING
eachsubsystem
is ISS
[Vu–Chatterjee–L, Automatica, Apr 2007]
If has average dwell time
• .
•
•
class functions and constants
such that :
Suppose functions
then switched system is ISS
![Page 3: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/3.jpg)
SKETCH of PROOF
1
1 Let be switching times on
Consider
Recall ADT definition:
2
3
![Page 4: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/4.jpg)
SKETCH of PROOF
12
3
2
1
3
Special cases:
• GAS when
• ISS under arbitrary switching if (common )• ISS without switching (single )
– ISS
![Page 5: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/5.jpg)
VARIANTS• Stability margin
• Integral ISS (with stability margin)
• Output-to-state stability (OSS) [M. Müller]
• Stochastic versions of ISS for randomly switched systems [D. Chatterjee]
• Some subsystems not ISS [Müller, Chatterjee, Yang]
finds application in switching adaptive control
![Page 6: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/6.jpg)
INVERTIBILITY of SWITCHED SYSTEMS
Aneel Tanwani, Linh Vu, Daniel Liberzon
Coordinated Science Laboratory andDept. of Electrical & Computer Eng.,Univ. of Illinois at Urbana-Champaign
![Page 7: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/7.jpg)
PROBLEM FORMULATION
Invertibility problem: recover uniquely from for given
• Desirable: fault detection (in power systems)
Related work: [Sundaram–Hadjicostis, Millerioux–Daafouz]; [Vidal et al., Babaali et al., De Santis et al.]
• Undesirable: security (in multi-agent networked systems)
![Page 8: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/8.jpg)
MOTIVATING EXAMPLE
because
Guess:
![Page 9: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/9.jpg)
INVERTIBILITY of NON-SWITCHED SYSTEMS
Linear: [Brockett–Mesarovic, Silverman, Sain–Massey, Morse–Wonham]
![Page 10: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/10.jpg)
INVERTIBILITY of NON-SWITCHED SYSTEMS
Linear: [Brockett–Mesarovic, Silverman, Sain–Massey, Morse–Wonham]
Nonlinear: [Hirschorn, Isidori–Moog, Nijmeijer, Respondek, Singh]
![Page 11: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/11.jpg)
INVERTIBILITY of NON-SWITCHED SYSTEMS
Linear: [Brockett–Mesarovic, Silverman, Sain–Massey, Morse–Wonham]
Nonlinear: [Hirschorn, Isidori–Moog, Nijmeijer, Respondek, Singh]
SISO nonlinear system affine in control:
Suppose it has relative degree at :
Then we can solve for :
Inverse system
![Page 12: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/12.jpg)
BACK to the EXAMPLE
We can check that each subsystem is invertible
For MIMO systems, can use nonlinear structure algorithm
– similar
![Page 13: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/13.jpg)
SWITCH-SINGULAR PAIRS
Consider two subsystems and
is a switch-singular pair if such that
|||
![Page 14: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/14.jpg)
FUNCTIONAL REPRODUCIBILITY
SISO system affine in control with relative degree at :
For given and , that produces this output
if and only if
![Page 15: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/15.jpg)
CHECKING for SWITCH-SINGULAR PAIRS
is a switch-singular pair for SISO subsystems
with relative degrees if and only if
MIMO systems – via nonlinear structure algorithm
Existence of switch-singular pairs is difficult to check in general
For linear systems, this can be characterized by a
matrix rank condition
![Page 16: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/16.jpg)
MAIN RESULT
Theorem:
Switched system is invertible at over output set
if and only if each subsystem is invertible at and
there are no switch-singular pairs
Idea of proof:
The devil is in the details
no switch-singular pairs can recover
subsystems are invertible can recover
![Page 17: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/17.jpg)
BACK to the EXAMPLE
Let us check for switched singular pairs:
Stop here because relative degree
For every , and with
form a switch-singular pair
Switched system is not invertible on the diagonal
![Page 18: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/18.jpg)
OUTPUT GENERATION
Recall our example again:
Given and , find (if exist) s. t.
may be unique for some but not all
![Page 19: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/19.jpg)
OUTPUT GENERATION
Recall our example again:
switch-singular pair
Given and , find (if exist) s. t.
may be unique for some but not all
Solution from :
![Page 20: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/20.jpg)
OUTPUT GENERATION
Recall our example again:
switch-singular pair
Given and , find (if exist) s. t.
may be unique for some but not all
Solution from :
![Page 21: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/21.jpg)
OUTPUT GENERATION
Recall our example again:
Case 1: no switch at
Then up to
At , must switch to 2
But then
won’t match the given output
Given and , find (if exist) s. t.
may be unique for some but not all
![Page 22: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/22.jpg)
OUTPUT GENERATION
Recall our example again:
Case 2: switch at
Given and , find (if exist) s. t.
may be unique for some but not all
No more switch-singular pairs
![Page 23: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/23.jpg)
OUTPUT GENERATION
Recall our example again:
Given and , find (if exist) s. t.
may be unique for some but not all
Case 2: switch at
No more switch-singular pairs
![Page 24: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/24.jpg)
OUTPUT GENERATION
Recall our example again:
Given and , find (if exist) s. t.
We also obtain from
We see how one switch can helprecover an earlier “hidden” switch
may be unique for some but not all
Case 2: switch at
No more switch-singular pairs
![Page 25: INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS](https://reader037.fdocuments.in/reader037/viewer/2022102619/56814325550346895daf8c9c/html5/thumbnails/25.jpg)
CONCLUSIONS
• Showed how results on stability under slow switching
extend in a natural way to external stability (ISS)
• Studied new invertibility problem: recovering both the
input and the switching signal
• Both problems have applications in control design
• General motivation/application: analysis and design
of complex interconnected systems