A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models
FACS, pp. 127-146, 2019.
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
Full Text (Upload PDF)
PPT (Upload PPT)