Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
From MaRDI portal
Publication:2847845
zbMATH Open1271.68115MaRDI QIDQ2847845FDOQ2847845
Authors: Aditya Agrawal, Gyula Simon, Gabor Karsai 
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052089
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
- A two-way path between formal and informal design of embedded systems
- Semantic translation of Simulink diagrams to input/output extended finite automata
- 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
Uses Software
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)
