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

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

zbMATH Keywords

hybrid systemsformal specificationstatecharts

Mathematics Subject Classification ID

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

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)