Semantic translation of Simulink diagrams to input/output extended finite automata
From MaRDI portal
Publication:434480
DOI10.1007/S10626-010-0096-1zbMath1242.93014OpenAlexW2039706992MaRDI QIDQ434480
Publication date: 10 July 2012
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-010-0096-1
Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65) Cellular automata (computational aspects) (68Q80)
Related Items (3)
The refinement calculus of reactive systems ⋮ A contract-based semantics and refinement for Simulink ⋮ A Two-Way Path Between Formal and Informal Design of Embedded Systems
Cites Work
This page was built for publication: Semantic translation of Simulink diagrams to input/output extended finite automata
