Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X
ICFEM, pp. 89-105, 2018.
Hybrid control systems are, due to their ever-increasing complexity, more and more developed in model-driven design languages like Simulink. At the same time, they are often used in safety-critical applications like automotive or medical systems. Ensuring the correctness of Simulink models is challenging, as their semantics is only inform...More
Full Text (Upload PDF)
PPT (Upload PPT)