Equivalence Checking for Hybrid Control Systems Modelled in Simulink
QRS Companion, pp. 572-579, 2018.
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
Full Text (Upload PDF)
PPT (Upload PPT)