Compositional refinement for hierarchical hybrid systems

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

Volumn 2034, Issue , 2001, Pages 33-48

  Alur, Rajeev ^a   Grosu, Radu ^b   Lee, Insup ^a   Sokolsky, Oleg ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; HYBRID SYSTEMS; SEMANTICS;

ATOMIC COMPONENTS; BUILDING COMPLEXES; HIERARCHICAL DESCRIPTION; MODULAR SPECIFICATIONS; PARALLEL COMPOSITION; SYSTEM ARCHITECTURES; TRACE SEMANTICS; TRACE-BASED SEMANTICS;

HIERARCHICAL SYSTEMS;

EID: 84944216817     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45351-2_7     Document Type: Conference Paper

References (14)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. 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 R. Grosu. Modular refinement of hierarchic reactive machines. In Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages, pages 390-402, 2000.
3. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specifications of hybrid systems in Charon. In Hybrid Systems: Computation and Control, Third International Workshop, volume LNCS 1790, pages 6-19, 2000.
4. R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In CONCUR '97: Eighth International Conference on Concurrency Theory, LNCS 1243, pages 74-88. Springer-Verlag, 1997.
5. G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide. Addison Wesley, 1997.
6. J. Davis, M. Goel, C. Hylands, B. Kienhuis, E.A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong. Overview of the Ptolemy project. Technical Report UCB/ERL M99/37, University of California at Berkeley, 1999.
7. A. Deshpande, A. Gollu, and P. Varaiya. SHIFT: a formalism and a programming language for dynamic networks of hybrid automata. In Hybrid Systems V, LNCS 1567. Springer, 1996.
8. R. Grosu, T. Stauner and M. Broy. A Modular Visual Model for Hybrid Systems. In FTRTFT'98: Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 1486. Springer-Verlag, 1998.
9. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
10. T.A. Henzinger. Masaccio: a formal model for embedded components. In TCS 00: Theoretical Computer Science, LNCS 1872, pages 549-563. Springer, 2000.
11. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
12. N. Lynch, R. Segala, F. Vaandrager, and H. Weinberg. Hybrid I/O automata. In Hybrid Systems III: Verification and Control, LNCS 1066, pages 496-510, 1996.
13. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447-484. Springer-Verlag, 1991.
14. R. Milner. A Calculus of Communicating Systems. LNCS 92. Springer-Verlag, 1980.