AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

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

ICFEM, pp.89-105, (2018)

Cited by: 6|Views15
EI
Get fulltext within 24h
Bibtex

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:

Author
Timm Liebrenz
Timm Liebrenz
Your rating :
0

 

Tags
Comments
小科