Abstract
Action systems have been used successfully to describe discrete systems, i.e.,systems with discrete control acting upon a discrete state space. In this paper we extend the action system approach to hybrid systems by defining continuous action systems. These are systems with discrete control over a continuously evolving state, whose semantics is defined in terms of traditional action systems. We show that continuous action systems are very general and can be used to describe a diverse range of hybrid systems. Moreover, the properties of continuous action systems are proved using standard action systems proof techniques.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Abadi and L. Lamport. An old-fashioned receipe for real time. ACM Transactions on Programming Languages and Systems, 16(5):1543–1571, 1994.
R. Alur, C. Courcoubetis, T.A. Henzinger, and P.H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Revn, and H. Rischel, editors, Hybrid Systems I, volume LNCS 736, pages 209–229. Springer-Verlag, 1993.
R. J. R. Back and C. Cerschi. Modeling and verifying a temperature control system using hybrid action systems. In Proc. of the 5th Int. Workshop in Formal Methods for Industrial Critical Systems, 2000, to appear.
R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd Symp. on Principles of Distributed Computing, volume LNCS 873, pages 131–142. ACM SIGACT-SIGOPS, 1983.
R. J. R. Back and K. Sere. Stepwise refinement of parallel algorithms. In Science of Computer Programming 13, pages 133–180, 1991.
R. J. R. Back and K. Sere. From action systems to modular systems. In Formal Methods Europe (FME’ 94), volume LNCS 873, pages 1–25. Springer-Verlag, 1994.
R. J. R. Back and J. von Wright. Refinement Calculus-A Systematic Introduction. Springer-Verlag, 1998.
R.J. Back, L. Petre, and I. Porres. Generalizing action systems to hybrid systems. Technical Report 307, TUCS Turku Centre for Computer Science, 1999.
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, volume LNCS 1066, pages 186–200. Springer-Verlag, 1996.
E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
Y. Kesten, Z. Manna, and A. Pnueli. Verification of clocked and hybrid systems. In Lectures on Embedded Systems, volume LNCS 1494, pages 4–73. Springer-Verlag, 1998.
C. Lewerentz and T. Lindner. Formal Development of Reactive Systems: Case Study Production Cell., volume LNCS 891. Springer-Verlag, 1995.
A. Nerode and W. Kohn. Models for hybrid systems: automata, topologies, controllability, observability. In R.L. Grossman, A. Nerode, A.P. Revn, and H. Rischel, editors, Hybrid Systems I, volume LNCS 736, pages 317–356. Springer-Verlag, 1993.
M. Rönkkö and A.P. Ravn. Action systems with continuous behaviour. In P. J. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, and S. Sastry, editors, Hybrid Systems V, volume LNCS 1567, pages 304–323. Springer-Verlag, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Back, R.J., Petre, L., Porres, I. (2000). Generalizing Action Systems to Hybrid Systems. In: Joseph, M. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 2000. Lecture Notes in Computer Science, vol 1926. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45352-0_17
Download citation
DOI: https://doi.org/10.1007/3-540-45352-0_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41055-3
Online ISBN: 978-3-540-45352-9
eBook Packages: Springer Book Archive