0.25
0.5
0.75
1.25
1.5
1.75
2
Cyber-Physical Systems and uncertainty
Published on Apr 16, 2019197 Views
Cyber-physical systems (CPS) are physical systems equipped with embedded controllers and communication capabilities. CPS are becoming pervasive, (e.g. safety-critical systems, autonomous robots, smart
Related categories
Chapter list
Safe, Efficient and Integrated Indoor Robo4c Fleet00:00
Hospitals high commercial potential 00:46
ENDORSE addresses the technical challenges02:12
Cyber-Physical Systems and Uncertainty 03:29
Hybrid and Cyber-Physical Systems04:03
Hybrid and Cyber-Physical Systems04:04
Operation in challenging environment, requires …05:17
Modelling07:45
nExample : the bouncing ball08:55
Secure Monitoring & State Estimation10:01
Bounded-error state estimation12:15
Interval Analysis : Set Inversion12:32
Interval Analysis : Set Inversion12:46
Interval Analysis : Set Inversion13:25
Interval Analysis : Set Inversion14:05
q-Relaxed intersection14:20
Secure Localisation16:32
Secure Localisation16:47
Secure Localisation17:02
Secure Localisation17:40
Secure Localisation17:59
Secure Localisation18:18
Secure Localisation18:25
Bounded-error state estimation19:06
Bounded-error state estimation19:28
Bounded-error state estimation19:34
Bounded-error state estimation20:12
Bounded-error state estimation20:19
Untitled20:25
Bounded-error state estimation20:43
MAGIC-CPS21:09
Verification21:23
Verification of Hybrid Systems21:49
Verification of Hybrid Systems22:27
Synthesis of correct-by-construction control systems25:02
Hybrid Cyber-Physical Systems25:16
Hybrid Cyber-Physical Systems26:18
Parameter Synthesis with Nonlinear Hybrid Systems26:23
Synthesis of Hybrid Systems26:24
Synthesis of Hybrid Systems27:05
Synthesis of Hybrid Systems27:14
Synthesis of Hybrid Systems27:26
Hybrid Reachability Computation27:40
Hybrid Reachability Computation27:49
Synthesis of Hybrid Systems28:10
Synthesis of Hybrid Systems29:07
Synthesis of Hybrid Systems29:08
Synthesis of Hybrid Systems30:22
Synthesis of Hybrid Systems31:13
Synthesis of Hybrid Systems31:22
n Secure & Robust Optimization31:58
Robust Unit Commitment32:05
Robust Unit Commitment34:59
Robust Unit Commitment35:06
Robust Unit Commitment36:00
Future work36:30
Monitoring & Control36:31
Correct-by-construction Design37:30
Thank you ! 39:14