Compositional modeling and refinement for hierarchical hybrid systems

Journal of Logic and Algebraic Programming

Volumn 68, Issue 1-2, 2006, Pages 105-128

  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

Compositional semantics; Formal methods; Hybrid systems; Model refinement

Indexed keywords

FORMAL LANGUAGES; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; SEMANTICS;

COMPOSITIONAL SEMANTICS; FORMAL METHODS; HYBRID SYSTEMS; MODEL REFINEMENT;

HIERARCHICAL SYSTEMS;

EID: 33645158447     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2005.10.004     Document Type: Article

References (23)

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 1995 3 34
2. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky Hierarchical modeling and analysis of embedded systems Proceedings of the IEEE 90 1 2003 11 28
3. R. Alur, R. Grosu, Modular refinement of hierarchic reactive machines, in: Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages, 2000, pp. 390-402.
4. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee Modular specifications of hybrid systems in CHARON Hybrid Systems: Computation and Control, Third International Workshop Lecture Notes in Computer Science vol. 1790 2000 Springer 6 19
5. R. Alur, R. Grosu, I. Lee, O. Sokolsky, Compositional refinement for hierarchical hybrid systems, in: Proceedings of Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol. 2034, Springer, March 2001, pp. 33-48.
6. R. Alur, and T.A. Henzinger Modularity for timed and hybrid systems CONCUR '97: Eighth International Conference on Concurrency Theory Lecture Notes in Computer Science vol. 1243 1997 Springer-Verlag 74 88
7. A. Benveniste, L.P. Carloni, P. Caspi, A.L. Sangiovanni-Vincentelli, Heterogeneous reactive systems modeling and correct-by-construction deployment, in: R. Alur, I. Lee (Eds.), Proceedings of the Third International Conference on Embedded Software (EMSOFT), Lecture Notes in Computer Science, vol. 2855, Springer-Verlag, September 2003, pp. 35-50.
8. A. Bienveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone The synchronous languages 12 years later Proceedings of the IEEE 91 1 2003 64 83
9. G. Booch, I. Jacobson, and J. Rumbaugh Unified Modeling Language User Guide 1997 Addison Wesley
10. J.A. Bergstra, and C.A. Middleburg Process algebra for hybrid systems Theoretical Computer Science 335 2-3 2005 215 280
11. P.J.L. Cuijpers, and M.A. Reniers Hybrid process algebra Journal of Logic and Algebraic Programming 62 2 2005 191 245
12. A. Deshpande, A. Göllu, and P. Varaiya SHIFT: a formalism and a programming language for dynamic networks of hybrid automata Hybrid Systems V LNCS vol. 1567 1996 Springer-Verlag
13. J. Eker, J.W. Janneck, E.A. Lee, J. Liu, X. Liu, J. Ludwig, S. Neuendorffer, S. Sachs, and Y. Xiong Taming heterogeneity-the Ptolemy approach Proceedings of the IEEE 91 1 2003 127 144
14. R. Grosu, T. Stauner, and M. Broy A modular visual model for hybrid systems Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'98) LNCS vol. 1486 1998 Springer-Verlag
15. D. Harel Statecharts: a visual formalism for complex systems Science of Computer Programming 8 1987 231 274
16. T.A. Henzinger Masaccio: a formal model for embedded components TCS 00: Theoretical Computer Science LNCS vol. 1872 2000 Springer-Verlag 549 563
17. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice-Hall
18. He Jifeng From csp to hybrid systems A Classical Mind: Essays in Honour of C.A.R. Hoare 1994 Prentice Hall International (UK) Ltd. 171 189
19. N. Lynch, R. Segala, F. Vaandrager, H. Weinberg, Hybrid I/O automata, in: Hybrid Systems III: Verification and Control, LNCS, vol. 1066, 1996, pp. 496-510.
20. R. Milner Communication and Concurrency 1989 Prentice-Hall
21. O. Maler, Z. Manna, and A. Pnueli From timed to hybrid systems Real-Time: Theory in Practice, REX Workshop LNCS vol. 600 1991 Springer-Verlag 447 484
22. William C. Rounds, Hosung Song, The phi-calculus: a language for distributed control of reconfigurable embedded systems, in: Hybrid Systems: Computation and Control (HSCC'03), Lecture Notes in Computer Science, vol. 2623, 2003, pp. 435-449.
23. O. Sokolsky, I. Lee, R. Alur, Hsif semantics, Technical Report MS-CIS-04-05, Department of Computer and Information Science, University of Pennsylvania, 2004.