Hybrid action systems

Theoretical Computer Science

Volumn 290, Issue 1, 2003, Pages 937-973

  Rönkkö, Mauno ^a   Ravn, Anders P ^b   Sere, Kaisa ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

Action systems; Concurrency; Hybrid systems; Predicate transformers; Refinement calculus

Indexed keywords

COMPUTER SCIENCE; COMPUTER SIMULATION; EMBEDDED SYSTEMS; SEMANTICS;

CONTINUOUS-TIME DYNAMICS;

HYBRID COMPUTERS;

EID: 0037209708     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00547-9     Document Type: Article

References (34)

1. M. Abadi, L. Lamport, An old-fashioned recipe for real-time, ACM Trans. Programming Languages Systems 16(5) (1994) 1543-1571, also appeared in: J.W. de Bakker, C. Huizing, W.-P. de Roever, G. Rozenberg (Eds.), Lecture Notes in Computer Science, Vol. 600, Springer, Berlin, 1992.
2. M. Abadi, L. Lamport, An old-fashioned recipe for real-time, ACM Trans. Programming Languages Systems 16(5) (1994) 1543-1571, also appeared in: J.W. de Bakker, C. Huizing, W.-P. de Roever, G. Rozenberg (Eds.), Lecture Notes in Computer Science, Vol. 600, Springer, Berlin, 1992.
3. Back R.J.R. Refinement calculus, part II. parallel and reactive programs de Bakker J.W., de Roever W.P., Rozenberg G. Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. Lecture Notes in Computer Science. Vol. 430:1990;67-93 Springer, Berlin.
4. R.J.R. Back, Atomicity refinement in a refinement calculus framework, Reports on Computer Science and Mathematics, 141, Åbo Akademi, 1993.
5. R.J.R. Back, R. Kurki-Suonio, Decentralization of process nets with centralized control, in: Proc. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 1983, pp. 131-142.
6. Back R.J.R., Sere K. Stepwise refinement of action systems. Struct. Programming. 12:1991;17-30.
7. Back R.J.R., von Wright J. Trace refinement of action systems. Parrow J. CONCUR94. Lecture Notes in Computer Science. Vol. 666:1994;Springer, Berlin.
8. Back R.J.R., von Wright J. Refinement calculus. a systematic introduction Graduate Texts in Computer Science. 1998;Springer, Berlin.
9. Bonsangue M., Kok J.N. Semantics, orderings and recursion in the weakest precondition calculus. de Bakker J.W., Rozenberg G., de Roever W.P. Proceedings Rex Workshop on Semantics: Foundations and Applications. Lecture Notes in Computer Science. Vol. 666:1993;91-110 Springer, Berlin.
10. Bowman H. Modelling timeout without timelocks. Katoen J.-P. Formal Methods for Real-Time and Probabilistic Systems. Lecture Notes in Computer Science. Vol. 1601:1999;Springer, Berlin.
11. M.S. Branicky, Studies in hybrid systems: modeling, analysis, and control, Ph.D. Thesis, EECS Department, Massachusetts Institute of Technology, 1995.
12. Branicky M.S. Analyzing and synthesizing hybrid control systems. Rozenberg G., Vaandrager F. Lectures on Embedded Systems. Lecture Notes in Computer Science. Vol. 1494:1998;74-113 Springer, Berlin.
13. Broy M., Nelson G. Adding fair choice to Dijkstra's calculus. CM Transactions on Programming Languages Systems. 16(3):1994;924-938.
14. Butler M., Sekerinski E., Sere K. An action system approach to the steam boiler problem. Abrial J.-R., Borger E., Langmaack H. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. Lecture Notes in Computer Science. Vol. 1165:1996;Springer, Berlin.
15. Dijkstra E.W. A Discipline of Programming. 1976;Prentice-Hall International, Englewood Cliffs, NJ.
16. He J. From CSP to hybrid systems. Roscoe A.W. A Classical Mind, Essays in Honour of C.A.R. Hoare. 1994;171-189 Prentice-Hall, Englewood Cliffs, NJ.
17. T.A. Henzinger, Hybrid automata with finite bisumaltions, in: Proc. 22nd Internat. Colloq. on Automata, Languages, and Programming (ICALP 1995), Lecture Notes in Computer Science, Vol. 994, Springer-Verlag, 1995, pp. 324-335.
18. T.A. Henzinger, The theory of hybrid automata, in: Proc. 11th Ann. IEEE Symp. on Logic in Computer Science (LICS 1996), 1996, pp. 278-292.
19. Hoare C.A.R. Communicating Sequential Processes. 1984;Prentice-Hall International, London.
20. Jaffe M., Leveson N., Heimdahl M., Melhart B. Software requirements analysis for real-time process-control systems. IEEE Trans. Software Eng. 17(3):1991;241-258.
21. Kesten Y., Manna Z., Pnueli A. Verification of clocked and hybrid systems. Rozenberg G., Vaandrager F. Lectures on Embedded Systems. Lecture Notes in Computer Science. Vol. 1494:1998;4-73 Springer, Berlin.
22. La Salle J., Lefschetz S. Stability by Liapunov's Direct Method with Applications. 1961;Academic Press, New York.
23. + Grossman R., Nerode A., Ravn A.P., Rischel H. Hybrid Systems. Lecture Notes in Computer Science. Vol. 736:1993;149-178 Springer, Berlin.
24. Lynch N.A., Segala R., Vaandrager F.W., Weinberg H.B. Hybrid I/O automata. Alur R., Henzinger T.A., Sontag E.D. Hybrid Systems III. Lecture Notes in Computer Science. Vol. 1066:1996;496-510 Springer, Berlin.
25. M.H.A. Newman, Elements of the Topology of Plane Sets of Points,1st Edition, 1939, Cambridge University Press, Cambridge, 1961.
26. Nicollin X., Olivero A., Sifakis J., Yovine S. An approach to the description and analysis of hybrid systems. Grossman R., Nerode A., Ravn A.P., Rischel H. Hybrid Systems. Lecture Notes in Computer Science. Vol. 736:1993;149-178 Springer, Berlin.
27. Rönkkö M., Li X. Linear hybrid action systems. Nordic J. Comput. 8(1):2001;159-177.
28. Rönkkö M., Ravn A.P. Switches and jumps in hybrid action systems. Proc. Estonian Acad. Sci. Eng. 4(2):1998;106-118.
29. Rönkkö M., Ravn A.P. Action systems with continuous behavior. Antsaklis P.J., Kohn W., Lemmon M., Nerode A., Sastry S. Proceedings of Hybrid Systems V. Lecture Notes in Computer Science. Vol. 1567:1999;304-323 Springer, Berlin.
30. Rönkkö M., Sere K. Refinement and continuous behavior. Vaandrager F.W., van Schuppen J.H. Proceedings of Hybrid Systems: Computation and Control. Lecture Notes in Computer Science. Vol. 1569:1999;223-237 Springer, Berlin.
31. Yovine S. Model-checking timed automata. Rozenberg G., Vaandrager F. Embedded Systems. Lecture Notes in Computer Science. Vol. 1494:1998;Springer, Berlin.
32. Zhou C., Ji Wang, Ravn A.P. A formal description of hybrid systems. Alur R., Henzinger T., Sontag E. Hybrid Systems III. Lecture Notes in Computer Science. Vol. 1066:1996;511-530 Springer, Berlin.
33. Zhou C., Ravn A.P., Hansen M.R. An extended duration calculus for hybrid systems. Grossman R., Nerode A., Ravn A.P., Rischel H. Hybrid Systems. Lecture Notes in Computer Science. Vol. 736:1993;Springer, Berlin.
34. Zill D.G., Cullen M.R. Differential Equations with Boundary-value problems. 4th Edition:1997;Brooks/Cole Publishing Company, Pacific Grove.