Halmstad Summer School on Cyber Physical Systems
Cyber-physical systems join computer systems with the physical world and have the potential to transform many aspects of society. Can they be proven safe? Reachability analysis of hybrid automaton models is one promising approach. This set of presentations introduces the formal verification of CPS using flow-pipe construction methods for reachability analysis.
Talk Slides
Python Demonstration Programs
Linear Stars Javascript Demonstration
Article on Automated Ground Collision Avoidance (Auto-GCAS)
Video Part 1 (direct download):
Video Part 2 (direct download):
Video Part 3 (direct download):