Modular and visual specification of hybrid systems: An introduction to HyCharts
From MaRDI portal
Publication:698433
DOI10.1023/A:1016001318739zbMATH Open1018.68047OpenAlexW1600665217MaRDI QIDQ698433FDOQ698433
Authors: Radu Grosu, Thomas Stauner
Publication date: 18 September 2002
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016001318739
Recommendations
- scientific article; zbMATH DE number 1444338
- scientific article; zbMATH DE number 1497790
- scientific article; zbMATH DE number 1522990
- Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
- A general framework for modular implementations of modular system specifications
- HyTech: A model checker for hybrid systems
- scientific article
- Towards a framework for modelling behaviours of hybrid systems
Cited In (6)
- Title not available (Why is that?)
- HYPE: hybrid modelling by composition of flows
- A compositional modelling and analysis framework for stochastic hybrid systems
- Monotonic hybrid systems
- SOFSEM 2005: Theory and Practice of Computer Science
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
This page was built for publication: Modular and visual specification of hybrid systems: An introduction to HyCharts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q698433)