Equivalence Checking for Hybrid Control Systems Modelled in Simulink

Sebastian Schlesinger
Sebastian Schlesinger

QRS Companion, pp. 572-579, 2018.

Cited by: 0|Bibtex|Views1|Links
EI

Abstract:

Refactorings are widely used in software and embedded systems engineering. They aim at reducing complexity or providing alternative designs. A correct refactoring must guarantee behavioural equivalence of source and target model. A particular challenge for equivalence checking of hybrid systems is that due to numerical approximations only...More

Code:

Data:

Your rating :
0

 

Tags
Comments