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

Formal Methods in System Design

Volumn 21, Issue 1, 2002, Pages 5-38

  Grosu, Radu ^a   Stauner, Thomas ^b  

^a Stony Brook University   (United States)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Formal specification; Hybrid systems; Statecharts

Indexed keywords

COMPUTATIONAL METHODS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; SEMANTICS;

HYBRID SYSTEMS; HYCHARTS; STATECHARTS; VISUAL SPECIFICATION;

SYSTEMS ANALYSIS;

EID: 0036645951     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1016001318739     Document Type: Article

References (29)

1. The algorithmic analysis of hybrid systems
2. A theory of timed automata
3. Modularity for timed and hybrid systems
4. Modelling, simulation and analysis with 20-Sim
5. Refinement of time
6. An extended duration calculus for hybrid real-time systems
7. Modular hierarchical models of hybrid systems
8. Integration of the discrete and the continuous behaviour in the hybrid chi simulator
9. Towards a calculus for UML-RT specifications
10. What is behind UML-RT?
11. Visual description of hybrid systems
12. A modular visual model for hybrid systems
13. Visual formalisms revisited
14. Statecharts: A visual formalism for complex systems
15. Timed and hybrid statecharts and their textual representation
16. Smile-A simulation environment for energy systems
17. Hybrid systems in TLA+
18. Hybrid I/O automata
19. An overview of hybrid simulation phenomena and their support by simulation packages
20. Modelling and verification using linear hybrid automata-A case study
21. Development of hybrid systems
22. Using HyTech to verify an automotive control system
23. Algebra of flownomials
24. Hybrid high-level nets
25. BaSiP-Batch process simulation with dynamically reconfigured process dynamics