Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
From MaRDI portal
Publication:2847845
Recommendations
- Semantic translation of Simulink diagrams to input/output extended finite automata
- Formal verification of Simulink/Stateflow diagrams
- From hybrid data-flow languages to hybrid automata: a complete translation
- Formal Verification of Simulink/Stateflow Diagrams
- A two-way path between formal and informal design of embedded systems
Cited in
(13)- Mechanically proving determinacy of hierarchical block diagram translations
- Semi-automatic generation of mixed hardware/software prototypes from Simulink models
- Semantic translation of Simulink diagrams to input/output extended finite automata
- A two-way path between formal and informal design of embedded systems
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- From hybrid data-flow languages to hybrid automata: a complete translation
- From simulation models to hybrid automata using urgency and relaxation
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
- Model Continuity in Discrete Event Simulation
- Collaborative models for autonomous systems controller synthesis
- HYST: a source transformation and translation tool for hybrid automaton models
- A denotational semantics of simulink with higher-order UTP
This page was built for publication: Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847845)
