Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X

Timm Liebrenz
Timm Liebrenz

ICFEM, pp. 89-105, 2018.

Cited by: 6|Bibtex|Views1|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments