From timed to hybrid systems

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

Volumn 600 LNCS, Issue , 1992, Pages 447-484

  Maler, Oded ^a   Manna, Zohar ^b,c   Pnueli, Amir ^c  

^a CAMPUS DE BEAULIEU   (France)

^b STANFORD UNIVERSITY   (United States)

^c WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

Discrete and continuous systems; Hybrid systems; Real time; Statecharts; Timed transitions system

Indexed keywords

COMPUTER CIRCUITS; FORMAL SPECIFICATION; HYBRID SYSTEMS; REAL TIME SYSTEMS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; TEMPORAL LOGIC; TIME SHARING SYSTEMS;

CONTINUOUS SYSTEM; DIGITAL CONTROLLERS; DISCRETE TRANSITIONS; FORMAL SPECIFICATION AND VERIFICATION; REACTIVE PROGRAMS; REAL TIME; STATECHARTS; TIMED TRANSITIONS SYSTEM;

CONTINUOUS TIME SYSTEMS;

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

References (28)

1. R. Alur, C. Courcoubetis, and D.L. Dill. Model checking for real-time systems. In Proceedings of the Fifth Annual Symposium, on Logic in Computer Science, pages 414-425. IEEE Computer Society Press, 1990.
2. R. Alur and T.A. Henzinger. A really temporal logic. In Proc. 30th IEEE Symp. Found, of Comp. Sci., pages 164-169, 1989.
3. R. Alur and T.A. Henzinger. Real-time logics: Complexity and expressiveness. In Proc. 5th IEEE Symp. Logic in Comp. Sci., 1990.
4. M. Abadi and L. Lamport. An old-fashioned recipe for real time. In RealTime: Theory in Practice. Lee. Notes in Comp. Sci., Springer-Verlag, 1991. This volume.
5. Z. Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1992.
6. E.A. Emerson and E.M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comp. Prog., 2:241-266, 1982.
7. D. Harel. Statecharts: A visual approach to complex systems. Technical report, Dept, of Applied Mathematics, Weizmann Institute of Science CS84-05, 1984.
8. D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comp. Prog., 8:231-274, 1987.
9. E. Harel, O. Lichtenstein, and A. Pnueli. Explicit clock temporal logic. In Proc. 5th IEEE Symp. Logic in Comp. Sci., pages 402-413, 1990.
10. T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proc. 18th ACM Symp. Princ. of Prog. Lang., pages 353-366, 1991.
11. K.M. Hansen, A.P. Ravn, and H. Rischel. Specifying and verifying requirements of real-time systems. Proc. ACM SIGSOFT’91 Conf. on Software for Critical Systems, 15(5):44-54, 1991.
12. R. Koymans, R. Kuiper, and E. Zijlstra. Specifying message passing and real-time systems with real-time temporal logic. In Esprit 87 Results and Achievements. North-Holland, 1987.
13. Y. Kesten and A. Pnueli. Timed and hybrid statecharts and their textual representation. In Formal Techniques in Real-Time and Fault-Tolerant Systems. Lee. Notes in Comp. Sci., Springer-Verlag, 1992. Proceedings of a Symposium, Nijmegen.
14. R. Koymans, J. Vytopyl, and W.-P. de Roever. Real-time programming and asynchronous message passing. In Proc. 2nd ACM Symp. Princ. of Dist. Comp., pages 187-197, 1983.
15. L. Lamport. What good is temporal logic. In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657-668. North-Holland, 1983.
16. Z. Manna and A. Pnueli. Verification of concurrent programs: The temporal framework. In R.S. Boyer and J.S. Moore, editors, The Correctness Problem in Computer Science, pages 215-273. Academic Press, London, 1981.
17. Z. Manna and A. Pnueli. The anchored version of the temporal framework. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, pages 201-284. Lee. Notes in Comp. Sci. 354, Springer-Verlag, 1989.
18. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specificaion. Springer Verlag, New York, 1991.
19. K. Marzullo, F.B. Schneider, and N. Budhiraja. Derivation of sequential, realtime, process-control programs. Technical report, Cornell University, 1991. To appear in: Foundations of Real-Time Computing: Formal Specifications and Methods.
20. X. Nicollin, J.-L. Richier, J. Sifakis, and J. Voiron. ATP: an algebra for timed processes. In Proc. IFIP Working Conference on Formal Description of Programming Concepts, Tiberias, Israel. North-Holland, 1990.
21. X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In Real-Time: Theory in Practice. Lee. Notes in Comp. Sci., SpringerVerlag, 1991. This volume.
22. J.S. Ostroff. Temporal Logic for Real-Time Systems. Advanced Software Development Series. Research Studies Press (John Wiley & Sons), Taunton, England, 1989.
23. A. Pnueli and E. Harel. Applications of temporal logic to the specification of real time systems. In M. Joseph, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 84-98. Lee. Notes in Comp. Sci. 331, Springer-Verlag, 1988.
24. A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency, pages 510-584. Lee. Notes in Comp. Sci. 224, Springer-Verlag, 1986.
25. A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, pages 244-264. Lee. Notes in Comp. Sci. 526, Springer-Verlag, 1991.
26. G.M. Reed and V.W. Roscoe. Metric spaces as models for real-time concurrency. In Mathematical Foundations of Programming, pages 331-343. Lee. Notes in Comp. Sci. 298, Springer-Verlag, 1987.
27. E. Sandewall. Combining logic and differential equations for describing real-world systems. In R. J. Brachman, H.J. Levesque, and R. Reiter, editors, Principles of Knowledge Representation and Reasoning, pages 412-420. Morgan Kaufmann, 1989.
28. F. B. Schneider, B. Bloom, and K. Marzullo. Putting time into proof outlines. In Real-Time: Theory in Practice. Lee. Notes in Comp. Sci., Springer-Verlag, 1991. This volume.