Modular and visual specification of hybrid systems: An introduction to HyCharts

DOI10.1023/A:1016001318739MaRDI QIDQ698433zbMATHOpenAlexFDO

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

zbMATH Keywords

hybrid systemsformal specificationstatecharts

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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; zbMATH DE number 5286872
• Towards a framework for modelling behaviours of hybrid systems

Cited in

(6)

• A compositional modelling and analysis framework for stochastic hybrid systems
• scientific article; zbMATH DE number 1497790 (Why is no real title available?)
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• HYPE: hybrid modelling by composition of flows
• Monotonic hybrid systems
• SOFSEM 2005: Theory and Practice of Computer Science

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)