Title :
How to prove hybrid systems and why that matters
Author_Institution :
Logical Systems Lab, Computer Science Department, Carnegie Mellon University, Pittsburgh, USA
Abstract :
This invited talk provides a brief exposition how hybrid systems proving works, why hybrid systems verification is an important device to ensure the safety of complex systems, and gives an idea where that technology is successful.
Keywords :
"Vehicle dynamics","Safety","Collision avoidance","Mathematical model","Computer languages","Heuristic algorithms"
Conference_Titel :
Complex Systems Engineering (ICCSE), 2015 International Conference on
DOI :
10.1109/ComplexSys.2015.7385983
