A modular visual model for hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1486, Issue , 1998, Pages 75-91

  Grosu, Radu ^a   Stauner, Thomas ^a   Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; HYBRID SYSTEMS; SEMANTICS; SPECIFICATIONS;

COMPOSITION OPERATORS; DENOTATIONAL SEMANTICS; ENGINEERING DISCIPLINES; HETEROGENEOUS SYSTEMS; HYBRID COMPUTATION; STATE CHARTS; VISUAL FORMALISM; VISUAL MODEL;

REAL TIME SYSTEMS;

EID: 84958640638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055338     Document Type: Conference Paper

References (13)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In CONCUR 97: Concurrency Theory, LNCS 1243. Springer-Verlag, 1997.
3. M. Branicky, V. Borkar, and S. Mitter. A unified framework for hybrid control. Technical Report LIDS-P-2239, MIT, June 1994.
4. M. Broy. Refinement of time. In ARTS'97, LNCS 1231. Springer-Verlag, 1997.
5. R. Grosu and T. Stauner. Modular and visual specification of hybrid systems - an introduction to HyCharts. Technical Report TUM-I9801, Technische Universität München, July 1998.
6. R. Grosu, Gh. Stefänescu, and M. Broy. Visual formalisms revisited. In Proc. Int. Conf. on Application of Concurrency to System Design (CSD). IEEE, 1998.
7. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 1987.
8. Y. Kesten and A. Pnueli. Timed and hybrid Statecharts and their textual representation. In Formal Techniques in Real-Time and Fault-Tolerant Systems, 2nd International Symposium, LNCS 571. Springer-Verlag, 1992.
9. N.A. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg. Hybrid I/O automata. In Hybrid Systems III, LNCS 1066. Springer-Verlag, 1996.
10. O. Müller and P. Scholz. Functional specification of real-time and hybrid systems. In Proc. Hybrid and Real-Time Systems (HART), LNCS 1201. Springer, 1997.
11. Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons Ltd, Chichester, 1994.
12. T. Stauner, O. Müller, and M. Fuchs. Using HyTech to verify an automotive control system. In Proc. Hybrid and Real-Time Systems (HART'97), LNCS 1201. Springer-Verlag, 1997.
13. Gh. Stefänescu. Algebra of flownomials. Technical Report TUM-I9437, Technische Universität München, 1994.