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):