Preface |
|
xv | |
Acknowledgments |
|
xvii | |
Notation and Symbols |
|
xix | |
|
|
1 | (12) |
|
1.1 A General View on Control System Design |
|
|
1 | (2) |
|
1.2 Communication and Control |
|
|
3 | (3) |
|
|
6 | (5) |
|
1.3.1 Controllability and Observability of a Control System |
|
|
7 | (1) |
|
1.3.2 Centralized and Distributed State Estimations |
|
|
8 | (1) |
|
1.3.3 State Estimations and Control With Imperfect Communications |
|
|
8 | (1) |
|
1.3.4 Verification of Stability and Robust Stability |
|
|
9 | (1) |
|
1.3.5 Distributed Controller Design for an LSS |
|
|
9 | (1) |
|
1.3.6 Structure Identification for an LSS |
|
|
10 | (1) |
|
1.3.7 Attack Estimation/Identification and Other Issues |
|
|
10 | (1) |
|
|
11 | (2) |
|
|
11 | (2) |
|
Chapter 2 Background Mathematical Results |
|
|
13 | (28) |
|
2.1 Linear Space and Linear Algebra |
|
|
13 | (11) |
|
2.1.1 Vector and Matrix Norms |
|
|
20 | (2) |
|
2.1.2 Hamiltonian Matrices and Distance Among Positive Definite Matrices |
|
|
22 | (2) |
|
2.2 Generalized Inverse of a Matrix |
|
|
24 | (2) |
|
2.3 Some Useful Transformations |
|
|
26 | (3) |
|
2.4 Set Function and Submodularity |
|
|
29 | (3) |
|
2.5 Probability and Random Process |
|
|
32 | (4) |
|
2.6 Markov Process and Semi-Markov Process |
|
|
36 | (3) |
|
|
39 | (2) |
|
|
39 | (2) |
|
Chapter 3 Controllability and Observability of an LSS |
|
|
41 | (44) |
|
|
41 | (1) |
|
3.2 Controllability and Observability of an LTI System |
|
|
42 | (11) |
|
3.2.1 Minimal Number of Inputs/Outputs Guaranteeing Controllability/Observability |
|
|
47 | (3) |
|
3.2.2 A Parameterization of Desirable Input/Output Matrices |
|
|
50 | (2) |
|
|
52 | (1) |
|
3.3 A General Model for an LSS |
|
|
53 | (3) |
|
3.4 Controllability and Observability for an LSS |
|
|
56 | (15) |
|
3.4.1 Subsystem Transmission Zeros and Observability of an LSS |
|
|
59 | (3) |
|
3.4.2 Observability Verification |
|
|
62 | (2) |
|
3.4.3 A Condition for Controllability and Its Verification |
|
|
64 | (1) |
|
3.4.4 In/Out-degree and Controllability/Observability of a Networked System |
|
|
65 | (6) |
|
3.5 Construction of Controllable/Observable Networked Systems |
|
|
71 | (2) |
|
|
73 | (12) |
|
|
74 | (1) |
|
3.A.1 Proof of Theorem 3.4 |
|
|
74 | (2) |
|
3.A.2 Proof of Theorem 3.8 |
|
|
76 | (3) |
|
3.A.3 Proof of Theorem 3.9 |
|
|
79 | (2) |
|
3.A.4 Proof of Theorem 3.10 |
|
|
81 | (2) |
|
|
83 | (2) |
|
Chapter 4 Kalman Filtering and Robust Estimation |
|
|
85 | (40) |
|
|
85 | (1) |
|
4.2 State Estimation and Observer Design |
|
|
85 | (3) |
|
4.3 Kalman Filter as a Maximum Likelihood Estimator |
|
|
88 | (10) |
|
4.3.1 Derivation of the Kalman Filter |
|
|
90 | (6) |
|
4.3.2 Convergence Property of the Kalman Filter |
|
|
96 | (2) |
|
4.4 Recursive Robust State Estimation Through Sensitivity Penalization |
|
|
98 | (17) |
|
4.4.1 Estimation Algorithm |
|
|
98 | (4) |
|
4.4.2 Derivation of the Robust Estimator |
|
|
102 | (5) |
|
4.4.3 Asymptotic Properties of the Robust State Estimator |
|
|
107 | (6) |
|
4.4.4 Boundedness of Estimation Errors |
|
|
113 | (2) |
|
|
115 | (10) |
|
|
116 | (1) |
|
4.A.1 Proof of Theorem 4.1 |
|
|
116 | (2) |
|
4.A.2 Proof of Theorem 4.3 |
|
|
118 | (5) |
|
|
123 | (2) |
|
Chapter 5 State Estimation With Random Data Droppings |
|
|
125 | (60) |
|
|
125 | (1) |
|
5.2 Intermittent Kalman Filtering (IKF) |
|
|
126 | (6) |
|
|
127 | (2) |
|
5.2.2 Mean Square Stability of the IKF |
|
|
129 | (2) |
|
5.2.3 Weak Convergence of the IKF |
|
|
131 | (1) |
|
5.3 IKF With Switching Sensors |
|
|
132 | (12) |
|
5.3.1 Mean Square Stability |
|
|
135 | (6) |
|
5.3.2 Second-Order Systems |
|
|
141 | (2) |
|
5.3.3 Extension to Higher-Order Systems |
|
|
143 | (1) |
|
5.4 IKF With Coded Measurement Transmission |
|
|
144 | (7) |
|
5.4.1 Linear Temporal Coding |
|
|
144 | (1) |
|
|
145 | (2) |
|
5.4.3 Mean Square Stability |
|
|
147 | (4) |
|
5.5 Robust State Estimation With Random Data Droppings |
|
|
151 | (5) |
|
5.5.1 System With Parametric Errors |
|
|
151 | (1) |
|
5.5.2 Robust State Estimator |
|
|
152 | (2) |
|
5.5.3 Convergence of the Robust State Estimator |
|
|
154 | (2) |
|
5.6 Asymptotic Properties of State Estimations With Random Data Dropping |
|
|
156 | (12) |
|
5.6.1 Unified Problem Description and Preliminaries |
|
|
157 | (1) |
|
5.6.2 Asymptotic Properties of the Random Matrix Recursion |
|
|
158 | (5) |
|
5.6.3 Approximation of the Stationary Distribution |
|
|
163 | (5) |
|
|
168 | (17) |
|
|
168 | (1) |
|
5.A.1 Proof of Theorem 5.18 |
|
|
168 | (4) |
|
5.A.2 Proof of Theorem 5.19 |
|
|
172 | (4) |
|
5.A.3 Proof of Lemma 5.11 |
|
|
176 | (1) |
|
5.A.4 Proof of Theorem 5.20 |
|
|
176 | (2) |
|
5.A.5 Proof of Theorem 5.21 |
|
|
178 | (3) |
|
5.A.6 Proof of Theorem 5.22 |
|
|
181 | (1) |
|
|
182 | (3) |
|
Chapter 6 Distributed State Estimation in an LSS |
|
|
185 | (52) |
|
|
185 | (1) |
|
6.2 Predictor Design With Local Measurements |
|
|
186 | (18) |
|
6.2.1 Derivation of the Optimal Gain Matrix |
|
|
187 | (9) |
|
6.2.2 Relations With the Kalman Filter |
|
|
196 | (4) |
|
6.2.3 Robustification of the Distributed Predictor |
|
|
200 | (4) |
|
6.3 Distributed State Filtering |
|
|
204 | (7) |
|
6.4 Asymptotic Property of the Distributed Observers |
|
|
211 | (2) |
|
6.5 Distributed State Estimation Through Neighbor Information Exchanges |
|
|
213 | (6) |
|
|
219 | (18) |
|
|
219 | (1) |
|
6.A.1 Proof of Theorem 6.1 |
|
|
219 | (3) |
|
6.A.2 Proof of Theorem 6.2 |
|
|
222 | (2) |
|
6.A.3 Proof of Theorem 6.3 |
|
|
224 | (2) |
|
6.A.4 Proof of Theorem 6.4 |
|
|
226 | (2) |
|
6.A.5 Derivation of Eqs. (6.46) and (6.47) |
|
|
228 | (2) |
|
6.A.6 Proof of Theorem 6.7 |
|
|
230 | (2) |
|
6.A.7 Proof of Theorem 6.8 |
|
|
232 | (2) |
|
|
234 | (3) |
|
Chapter 7 Stability and Robust Stability of a Large-Scale NCS |
|
|
237 | (28) |
|
|
237 | (1) |
|
7.2 A Networked System With Discrete-Time Subsystems |
|
|
238 | (11) |
|
|
238 | (1) |
|
7.2.2 Stability of a Networked System |
|
|
239 | (9) |
|
7.2.3 Robust Stability of a Networked System |
|
|
248 | (1) |
|
7.3 A Networked System With Continuous-Time Subsystems |
|
|
249 | (8) |
|
7.3.1 Modeling Errors Described by IQCs |
|
|
250 | (1) |
|
7.3.2 Robust Stability With IQC-Described Modeling Errors |
|
|
251 | (6) |
|
|
257 | (1) |
|
|
257 | (8) |
|
|
258 | (1) |
|
7.A.1 Proof of Theorem 7.3 |
|
|
258 | (2) |
|
7.A.2 Proof of Theorem 7.4 |
|
|
260 | (3) |
|
|
263 | (2) |
|
Chapter 8 Control With Communication Constraints |
|
|
265 | (18) |
|
|
265 | (1) |
|
8.2 Entropies and Capacities of a Communication Channel |
|
|
266 | (4) |
|
8.2.1 Entropy in Information Theory |
|
|
266 | (1) |
|
8.2.2 Topological Entropy in Feedback Theory |
|
|
267 | (1) |
|
|
268 | (2) |
|
8.3 Stabilization Over Communication Channel |
|
|
270 | (2) |
|
8.3.1 Classical Approach for Quantized Control |
|
|
270 | (2) |
|
8.4 Universal Lower Bound |
|
|
272 | (1) |
|
|
273 | (5) |
|
8.6 Extension to Lossy Channels |
|
|
278 | (2) |
|
|
278 | (1) |
|
8.6.2 Gilbert-Elliott Channels |
|
|
279 | (1) |
|
|
280 | (3) |
|
|
281 | (2) |
|
Chapter 9 Distributed Control for Large-Scale NCSs |
|
|
283 | (38) |
|
|
283 | (1) |
|
9.2 Consensus of Multiagent Systems |
|
|
284 | (1) |
|
9.2.1 Communication Graph |
|
|
284 | (1) |
|
9.2.2 Consensus of Multiagent Systems |
|
|
285 | (1) |
|
9.3 Consensus Control With Relative State Feedback |
|
|
285 | (15) |
|
9.3.1 Design of Consensus Gain |
|
|
286 | (5) |
|
9.3.2 Extensions to Digraphs |
|
|
291 | (3) |
|
9.3.3 Performance Analysis |
|
|
294 | (2) |
|
9.3.4 Optimal Consensus Control for Second-Order Systems |
|
|
296 | (4) |
|
9.4 Consensus Control With Relative Output Feedback |
|
|
300 | (8) |
|
9.4.1 Distributed Observer-Based Protocol |
|
|
300 | (1) |
|
9.4.2 Consensus Under Static Protocol |
|
|
301 | (2) |
|
9.4.3 Consensus Under Dynamic Protocol |
|
|
303 | (2) |
|
9.4.4 Multiagent Systems With Double Integrators |
|
|
305 | (3) |
|
9.5 Formation Control for Multiagent Systems |
|
|
308 | (5) |
|
9.5.1 Vehicle Formation With Double Integrators |
|
|
309 | (1) |
|
9.5.2 Formation-Based Tracking Problem |
|
|
310 | (3) |
|
9.6 Simulations and Experiments |
|
|
313 | (4) |
|
|
313 | (2) |
|
|
315 | (2) |
|
|
317 | (4) |
|
|
319 | (2) |
|
Chapter 10 Structure Identification for Networked Systems |
|
|
321 | (46) |
|
|
321 | (2) |
|
10.2 Steady-State Data-Based Identification |
|
|
323 | (12) |
|
10.2.1 Description of the Inference Procedure |
|
|
324 | (3) |
|
10.2.2 Identification Algorithm |
|
|
327 | (8) |
|
10.3 Absolute and Relative Variations in GRN Structure Estimations |
|
|
335 | (8) |
|
10.3.1 Maximum Likelihood Estimation for Wild-Type Expression Level and Measurement Error Variance |
|
|
337 | (3) |
|
10.3.2 Estimation of Relative Expression Level Variations |
|
|
340 | (2) |
|
10.3.3 Estimation Algorithm |
|
|
342 | (1) |
|
10.4 Estimation With Time Series Data |
|
|
343 | (13) |
|
10.4.1 Robust Structure Identification Algorithm for GRNs |
|
|
345 | (6) |
|
10.4.2 Convergence Analysis of the Robust Structure Identification Algorithm |
|
|
351 | (5) |
|
|
356 | (11) |
|
|
356 | (1) |
|
10.A.1 Proof of Theorem 10.4 |
|
|
356 | (3) |
|
10.A.2 Proof of Theorem 10.5 |
|
|
359 | (3) |
|
|
362 | (5) |
|
Chapter 11 Attack Identification and Prevention in Networked Systems |
|
|
367 | (60) |
|
|
367 | (3) |
|
|
370 | (3) |
|
11.3 Attack Prevention and System Transmission Zeros |
|
|
373 | (17) |
|
11.3.1 Zero Dynamics and Transmission Zeros |
|
|
377 | (9) |
|
|
386 | (4) |
|
11.4 Detection of Attacks |
|
|
390 | (2) |
|
11.5 Identification of Attacks |
|
|
392 | (7) |
|
11.6 System Security and Sensor/Actuator Placement |
|
|
399 | (16) |
|
11.6.1 Some Properties of the Kalman Filter |
|
|
401 | (4) |
|
|
405 | (5) |
|
11.6.3 Actuator Placements |
|
|
410 | (5) |
|
|
415 | (1) |
|
|
415 | (12) |
|
|
415 | (1) |
|
11.A.1 Proof of Theorem 11.7 |
|
|
415 | (3) |
|
|
418 | (9) |
|
Chapter 12 Some Related Issues |
|
|
427 | (46) |
|
|
421 | (1) |
|
12.2 Cooperation Over Communications |
|
|
422 | (23) |
|
12.2.1 Time Synchronization |
|
|
422 | (2) |
|
|
424 | (21) |
|
12.3 Adaptive Mean-Field Games for Large Population Coupled ARX Systems With Unknown Coupling Strength |
|
|
445 | (15) |
|
|
445 | (15) |
|
12.4 Other Topics and Theoretical Challenges |
|
|
460 | (3) |
|
|
463 | (10) |
|
|
464 | (1) |
|
12.A.1 Proof of Theorem 12.5 |
|
|
464 | (4) |
|
|
468 | (5) |
Index |
|
473 | |