A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models

Timm Liebrenz
Timm Liebrenz
Paula Herber
Paula Herber

FACS, pp. 127-146, 2019.

Cited by: 0|Bibtex|Views0|Links
EI

Abstract:

The design of fault free hybrid control systems, which combine discrete and continuous behavior, is a challenging task. Their hybrid behavior and further factors make their design and verification challenging: These systems can consist of multiple interacting components, and commonly used design languages, like MATLAB Simulink do not dire...More

Code:

Data:

Your rating :
0

 

Tags
Comments