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

Equivalence Checking for Hybrid Control Systems Modelled in Simulink.

QRS Companion, pp.572-579, (2018)

Cited by: 0|Views6
EI
Get fulltext within 24h
Bibtex

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:

Author
Sebastian Schlesinger
Sebastian Schlesinger
Your rating :
0

 

Tags
Comments
小科