Refinement and continuous behaviour

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

Volumn 1569, Issue , 1999, Pages 223-237

  Rönkkö, Mauno ^a   Sere, Kaisa ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; HYBRID SYSTEMS;

ACTION SYSTEMS; FORMAL FRAMEWORK; PREDICATE TRANSFORMERS; REACTIVE SYSTEM; REFINEMENT CALCULI; REFINEMENT STEP;

CALCULATIONS;

EID: 24244475647     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48983-5_21     Document Type: Conference Paper

References (16)

1. R. J. R. Back. Refinement calculus, part II: Parallel and reactive programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Form,alism,s, Correctness. Proceedings. 1989, volume 430 of Lecture Notes in Computer Science. Springer-Verlag, 1990.
2. 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.
3. R. J. R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming,12, pp. 17-30, 1991.
4. R. J. R. Back and J. von Wright. Trace Refinement of Action Systems. In J. Parrow, editor, CONCUR94, LNCS 666, Springer-Verlag, 1994.
5. R. J. R. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science, Springer-Verlag,1998.
6. M. S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD Thesis. Massachusetts Institute of Technology, EECS Dept, 1995.
7. 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.
8. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
9. T. A. Henzinger, Z. Manna, and A. Pnueli. Towards Refining Temporal Specifications into Hybrid Systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel (eds.) Hybrid Systems, LNCS 736, Springer-Verlag, 1993.
10. 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.
11. N.A. Lynch and F.W. Vaandrager. Forward and backward simulations Part II: Timing-based systems. Information and Computation, 128(1):1-25, July 1996.
12. Brendan P. Mahony and Ian J. Hayes. A Case-Study in Timed Refinement: A Mine Pump. IEEE Transactions on Software Engineering, vol. 18, no. 9, September 1992.
13. M.H.A. Newman. Elements of the Topology of Plane Sets of Points. Cambridge University Press, 1961 (First edition 1939).
14. M. Ronkkö and A. P. Ravn. Action Systems with Continuous Behaviour. To appear in the Proceedings of Hybrid Systems V-Fifth International Hybrid Systems Workshop, LNCS, Springer-Verlag, 1998.
15. M. Ronkko and A. P. Ravn. Switches and Jumps in Hybrid Action Systems. Proceedings of the Estonian Academy of Sciences. Engineering, June 1998, 4, 2, pp. 106-118.
16. M. Ronkko and K. Sere. Refinement and Continuous Behaviour. No. 198 (updated version), Technical Reports, Turku Centre for Computer Science, Abo Akademi University, Finland, September 1998.