Preface |
|
ix | |
|
|
1 | (24) |
|
1.1 The modeling framework |
|
|
1 | (1) |
|
1.2 Examples in science and engineering |
|
|
2 | (5) |
|
1.3 Control system examples |
|
|
7 | (8) |
|
1.4 Connections to other modeling frameworks |
|
|
15 | (7) |
|
|
22 | (3) |
|
|
25 | (18) |
|
2.1 Data of a hybrid system |
|
|
25 | (1) |
|
2.2 Hybrid time domains and hybrid arcs |
|
|
26 | (3) |
|
2.3 Solutions and their basic properties |
|
|
29 | (6) |
|
2.4 Generators for classes of switching signals |
|
|
35 | (6) |
|
|
41 | (2) |
|
3 Uniform asymptotic stability, an initial treatment |
|
|
43 | (30) |
|
3.1 Uniform global pre-asymptotic stability |
|
|
43 | (7) |
|
|
50 | (10) |
|
3.3 Relaxed Lyapunov conditions |
|
|
60 | (4) |
|
3.4 Stability from containment |
|
|
64 | (4) |
|
3.5 Equivalent characterizations |
|
|
68 | (3) |
|
|
71 | (2) |
|
4 Perturbations and generalized solutions |
|
|
73 | (24) |
|
4.1 Differential and difference equations |
|
|
73 | (3) |
|
4.2 Systems with state perturbations |
|
|
76 | (3) |
|
4.3 Generalized solutions |
|
|
79 | (5) |
|
4.4 Measurement noise in feedback control |
|
|
84 | (4) |
|
4.5 Krasovskii solutions are Hermes solutions |
|
|
88 | (6) |
|
|
94 | (3) |
|
5 Preliminaries from set-valued analysis |
|
|
97 | (20) |
|
|
97 | (4) |
|
|
101 | (6) |
|
5.3 Graphical convergence of hybrid arcs |
|
|
107 | (4) |
|
5.4 Differential inclusions |
|
|
111 | (4) |
|
|
115 | (2) |
|
6 Well-posed hybrid systems and their properties |
|
|
117 | (22) |
|
6.1 Nominally well-posed hybrid systems |
|
|
117 | (3) |
|
6.2 Basic assumptions on the data |
|
|
120 | (5) |
|
6.3 Consequences of nominal well-posedness |
|
|
125 | (7) |
|
6.4 Well-posed hybrid systems |
|
|
132 | (2) |
|
6.5 Consequences of well-posedness |
|
|
134 | (3) |
|
|
137 | (2) |
|
7 Asymptotic stability, an in-depth treatment |
|
|
139 | (30) |
|
7.1 Pre-asymptotic stability for nominally well-posed systems |
|
|
141 | (7) |
|
|
148 | (3) |
|
|
151 | (2) |
|
7.4 Robustness corollaries |
|
|
153 | (3) |
|
7.5 Smooth Lyapunov functions |
|
|
156 | (5) |
|
7.6 Proof of robustness implies smooth Lyapunov functions |
|
|
161 | (6) |
|
|
167 | (2) |
|
|
169 | (16) |
|
8.1 Invariance and ω-limits |
|
|
169 | (1) |
|
8.2 Invariance principles involving Lyapunov-like functions |
|
|
170 | (6) |
|
8.3 Stability analysis using invariance principles |
|
|
176 | (2) |
|
8.4 Meagre-limsup invariance principles |
|
|
178 | (3) |
|
8.5 Invariance principles for switching systems |
|
|
181 | (3) |
|
|
184 | (1) |
|
9 Conical approximation and asymptotic stability |
|
|
185 | (14) |
|
9.1 Homogeneous hybrid systems |
|
|
185 | (4) |
|
9.2 Homogeneity and perturbations |
|
|
189 | (3) |
|
9.3 Conical approximation and stability |
|
|
192 | (4) |
|
|
196 | (3) |
Appendix: List of Symbols |
|
199 | (2) |
Bibliography |
|
201 | (10) |
Index |
|
211 | |