0.25
0.5
0.75
1.25
1.5
1.75
2
Cyber-Physical Systems and uncertainty
Published on Feb 4, 2025202 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
Presentation
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
Operation in challenging environment, requires …05:17
Modelling07:45
nExample : the bouncing ball08:55
Secure Monitoring & State Estimation10:01
Interval Analysis : Set Inversion14:05
q-Relaxed intersection14:20
Secure Localisation17:59
Bounded-error state estimation20:19
Untitled20:25
MAGIC-CPS21:09
Verification21:23
Verification of Hybrid Systems21:49
Synthesis of correct-by-construction control systems25:02
Hybrid Cyber-Physical Systems26:18
Parameter Synthesis with Nonlinear Hybrid Systems26:23
Hybrid Reachability Computation27:49
Synthesis of Hybrid Systems31:13
n Secure & Robust Optimization31:58
Robust Unit Commitment36:00
Future work36:30
Monitoring & Control36:31
Correct-by-construction Design37:30
Thank you ! 39:14