Modularity for timed and hybrid systems

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

Volumn 1243, Issue , 1997, Pages 74-88

  Alur, Rajeev ^a   Henzinger, Thomas A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957871339     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63141-0_6     Document Type: Conference Paper

References (27)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, E-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur, D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. K.R. Apt, N. Francez, S. Katz. Appraising fairness in languages for distributed programming. Distributed Computing, 2:226-241, 1988.
4. R. Alur, T.A. Henzinger. Local liveness for compositional modeling of fair reactive systems. In Computer-aided Verification, Springer LNCS 939, pp. 166-179, 1995.
5. R. Alur, T.A. Henzinger. Reactive modules. In Proc. IEEE Symp. Logic in Computer Science, pp. 207-218, 1996.
6. R. Alur, T.A. Henzinger, P.-H. Ho. Automatic symbolic verification of embedded systems. 1EEE Trans. Software Engineering, 22:181-201, 1996.
7. R. Alur, T.A. Henzinger, E.D. Sontag, eds. Hybrid Systems 111: Verification and Control. Springer LNCS 1066, 1996.
8. M. Abadi, L. Lamport. Composing specifications. ACM Trans. Programming Languages and Systems, 15:73-132, 1993.
9. M. Abadi, L. Lamport. An old-fashioned recipe for real "time. In Real Time: Theory in Practice, Springer LNCS 600, pp. 1-27, 1992.
10. E. Asarin, O. Maler, A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In Hybrid Systems II, Springer LNCS 999, pp. 1-20, 1995.
11. P. Antsaklis, A. Nerode, W. Kohn, S. Sastry, eds. Hybrid Systems II. Springer LNCS 999, 1995.
12. J.W. de Bakker, K. Huizing, W.-P. de Roever, G. Rozenberg, eds, Real Time: Theory in Practice. Springer LNCS 600, 1992.
13. D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. M1T Press, 1989.
14. C. Daws, A. Olivero, S. Tripakis, S. Yovine. The tool KRONOS. In Hybrid Systems lll, Springer LNCS 1066, pp. 208-219, 1996.
15. E.A. Emerson, C. Jutla. The complexity of tree automata and logics of programs. In Proc. IEEE Syrup. Foundations of Computer Science, pp. 328-337, 1988.
16. R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel, eds. Hybrid Systems. Springer LNCS 736, 1993.
17. R. Gawlick, R. Segala, J.E Sogaard-Andersen, N.A. Lynch. Liveness in timed and untimed systems. In Automata, Languages, and Programming, Springer LNCS 820, pp. 166-177, 1994.
18. T.A. Henzinger. Sooner is safer than later. Information Processing Letters, 43:135-141,1992.
19. T.A. Henzinger, E-H. Ho, H. Wong-Toi. HYTECH: the next generation. In Proc. IEEEReal-time Systems Syrup., pp. 56-65, 1995.
20. TA. Henzinger, P.W. Kopke. Discrete-time control for rectangular hybrid automata. In Automata, Languages, and Programming, Springer LNCS, 1997.
21. T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111:193-244, 1994.
22. G. Hoffmann, H. Wong-Toi. The input-output control of real-time discrete-event systems. In Proc. IEEE Real-time Systems Symp., pp. 256-265, 1992.
23. N.A. Lynch, R. Segala, E Vaandrager, H.B. Weinberg. Hybrid I/O Automata. In Hybrid Systems 111, Springer LNCS 1066, pp. 496-510, 1996.
24. O. Maler, A. Pnueli, J. Sifakis. On the synthesis of discrete controllers for timed systems, In Theoretical Aspects of Computer Science, Springer LNCS 900, pp. 229-242, 1995.
25. A. Pnueli. In transition from global to modular temporal reasoning about programs. In Logics and Models of Concurrent Systems, Springer LNCS, pp. 123-144, 1984.
26. P.J. Ramadge, W.M. Wonham. Supervisory control of a class of discrete-event processes. SlAM J. Control and Optimization, 25:206-230,1987.
27. S. Tasiran, R. Alur, R.P. Kurshan, R.K. Brayton. Verifying abstractions of timed systems. In Concurrency Theory, Springer LNCS 1119, pp. 546--562,1996.