Abstract
Explicit clocks provide a well-known possibility to introduce time into non-real-time theories of reactive systems. This technique is applied here to an approach where distributed systems are modeled with temporal logic of actions as the formal basis, and fairness as the basic force that makes events take place. The focus of the paper is on the formalization and practical proof of hybrid properties of the form “at every moment of time t, Φ(t) holds for X,” where X is a set of objects with distributed clocks, and Φ is a predicate that depends both on the discrete states of x ε X and on time t. The approach is illustrated by a treatment of two well-known examples from the hybrid system literature.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Martín Abadi and Leslie Lamport. An old-fashioned recipe for real time. In J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, pages 1–27. Springer-Verlag, 1992.
R. J. R. Back and R. Kurki-Suonio. Distributed cooperation with action systems. ACM Trans. Programming Languages and Systems, 10(4):513–554, October 1988.
R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with a centralized control. Distributed Computing, 3:73–87, 1989. An earlier version in Proc. 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Canada, Aug. 1983, pages 131–142.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kurki-Suonio, R. (1993). Hybrid models with fairness and distributed clocks. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds) Hybrid Systems. HS HS 1992 1991. Lecture Notes in Computer Science, vol 736. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57318-6_26
Download citation
DOI: https://doi.org/10.1007/3-540-57318-6_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57318-0
Online ISBN: 978-3-540-48060-0
eBook Packages: Springer Book Archive