Action systems with continuous behaviour

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

Volumn 1567, Issue , 1999, Pages 304-323

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

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; REAL TIME SYSTEMS; SEMANTICS;

ACTION SYSTEMS; DISCRETE APPROXIMATION; DISCRETE STEP; GUARDED COMMANDS; PARALLEL COMPOSITION; PREDICATE TRANSFORMERS; REACTIVE SYSTEM; REAL TIME CLOCK;

CONTINUOUS TIME SYSTEMS;

EID: 84956865703     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49163-5_17     Document Type: Conference Paper

References (23)

1. R. Alur, C. Couroubetis, T. A. Henzinger, and Pei-Hsin Ho. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel (eds.) Hybrid Systems, LNCS 736, Springer-Verlag, 1993.
2. R. J. R. Back. Refinement calculus, part II: Parallel and reactive programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, (eds.), Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. 1989, LNCS 430, Springer-Verlag, 1990.
3. R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proc. of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pp. 131-142, 1983.
4. R. J. R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12, pp. 17-30, 1991.
5. M. Bonsangue and J. N. Kok. Semantics, orderings and recursion in the weakest precondition calculus. In J. W. de Bakker, G. Rozenberg, W. P. de Roever (eds.) Proceedings Rex Workshop on Semantics: Foundations and Applications, LNCS 666, pp. 91-110, Springer-Verlag, 1993.
6. M. S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD Thesis. Massachusetts Institute of Technology, EECS Dept, 1995.
7. M. S. Branicky. General hybrid dynamical systems: modeling, analysis, and control. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, LNCS 1066, p. 186-200, Springer-Verlag, 1996.
8. M. Broy and G. Nelson. Adding Fair Choice to Dijkstra's Calculus. ACM Trans-actions on Prog. Languages and Systems, 16, 3, pp. 924-938, 1994.
9. M. Butler, E. Sekerinski, and K. Sere. An Action System Approach to the Steam Boiler Problem. In J-R. Abrial, E. Borger, H. Langmaack (eds.) Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS 1165, Springer-Verlag, 1996.
10. K. Chandy, and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
11. K. M. Chandy. Reasoning about continuous systems. Science of Computer Pro-gramming, 14, pp. 117-132, 1990.
12. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
13. C. J. Fidge, A. J. Wellings. An action-based formal model for concurrent, real-time systems. Technical Report 95-1, SVR Center, January 1995.
14. He Jifeng. From CSP to Hybrid Systems. In A Classical Mind, Essays in Honour of C. A. R. Hoare, pp. 171-189, Prentice Hall, 1994.
15. T. A. Henzinger and P.-H. Ho. HyTech: The Cornell hybrid technology tool. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, LNCS 999, pp. 265-293, Springer-Verlag, 1995.
16. T. A. Henzinger, P-H. Ho, and H. Wong-Toi. A User Guide to HyTech. http://www-cad. eecs. berkeley. edu/_tah/Publications.
17. T. A. Henzinger and H. Wong-Toi. Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, LNCS 1066, pp. 377-388, 1996.
18. Y. Kesten, Z. Manna, and A. Pnuelli. Verifying Clocked Transition Systems. In R. Alur, T. A. Henzinger, and E. D. Sontag (eds.) Hybrid Systems III, LNCS 1066, pp. 13-40, Springer-Verlag, 1996.
19. R. Kurki-Suonio. Stepwise Design of Real Time Systems. IEEE Transactions on Software Engineering, 19, 1, pp. 56-69, 1993.
20. N. Lynch, R. Segala, F. Vaandrager, and H. B. Weinberg. Hybrid I/O automata. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, LNCS 1066, pp. 496-510, 1996.
21. M. Sintzoff. Abstract verification of structured dynamical systems. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, LNCS 1066, pp. 126-137, Springer-Verlag, 1996.
22. Xu Quiwen. Semantics and verification of extended phase transition systems in duration calculus. In O. Maler, editor, Workshop on Hybrid and Real-Time Systems, LNCS 1201, pp. 301-315, 1997.
23. Chaochen Zhou, Wang Ji, and A. P. Ravn. A formal description of hybrid systems. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III, LNCS 1066, pp. 511-530. Springer-Verlag, 1996.