Modular specification of hybrid systems in CHARON

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

Volumn 1790, Issue , 2000, Pages 6-19

  Alur, Rajeev ^a   Grosu, Radu ^a   Hur, Yerang ^a   Kumar, Vijay ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

ALGEBRAIC CONSTRAINTS; BUILDING COMPLEXES; HIERARCHICAL DESCRIPTION; MODULAR SIMULATION; MODULAR SPECIFICATIONS; MODULAR STRUCTURES; PARALLEL COMPOSITION; SYSTEM ARCHITECTURES;

HYBRID SYSTEMS;

EID: 84974663202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46430-1_5     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, 2000. To appear.
3. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Charon: a language for modular specification of hybrid systems. Technical Report MS-CIS-2000-01, University of Pennsylvania, 2000.
4. R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In CON-CUR’97: Eighth International Conference on Concurrency Theory, LNCS 1243, pages 74-88. Springer-Verlag, 1997.
5. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3):181-201, 1996.
6. G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide. Addison Wesley, 1997.
7. D.P. Bertsekas and J. N. Tsitsiklis. Parallel and Distributed Computation: Numerical Methods. Athena Scientific, 1997.
8. A. Deshpande, A. Göllu, and L. Semenzato. The shift programming language and run-time systems for dynamic networks of hybrid automata. Technical Report UCB-ITS-PRR-97-7, University of California at Berkeley, 1997.
9. R. Grosu, T. Stauner, and M. Broy. A modular visual model for hybrid systems. In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT’98), LNCS 1486, pages 75-91. Springer-Verlag, 1998.
10. D. Harel. Statecharts: A visual formalism for complex systems. Science of Com- puter Programming, 8:231-274, 1987.
11. T.A. Henzinger, P. Ho, and H. Wong-Toi. HyTech: the next generation. In Proceedings of the 16th IEEE Real-Time Systems Symposium, pages 56-65, 1995.
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. W. Press, S. Teukolsky, W. Vetterling, and B. Flannery. Numerical Recipes in FORTRAN. Cambridge University Press, 1992.