Abstract
We investigate the relationship between timed c/e systems and timed automata. We provide an effective function that associates to each timed c/e system an “equivalent” timed automaton. Equivalence has to be understood as describing the same set of trajectories. A benefit from providing such a function is that analysis tools developed for timed automata can now be applied to analyze timed c/e systems. We also provide an effective function that translates each timed automaton into an equivalent timed c/e system.
This work has been supported by the German Research Council (DFG) in the special program KONDISK (analysis and synthesis of technical systems with continuous-discrete dynamics) under the grants Ro 1122/2 and En 152/19.
Preview
Unable to display preview. Download preview PDF.
References
R. Alur, C. Courcoubetis, and D.L. Dill. Model Checking for Real-Time Systems. In LICS'90, pages 414–425. 1990.
R. Alur and D. Dill. A Theory of Timed Automata. TCS, 126:183–235, 1994.
A. Bouajjani and Y. Lakhnech. Temporal Logic + Timed Automata: Expressiveness and Decidability. In LNCS 962, pages 531–546. Springer-Verlag, 1995.
S. Engell. S. Kowalewski, B. Krogh, and J. Preußig. Condition/Event Systems: A Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. In EUROSIM'95, 1995.
T.A. Henzinger. X. Nicollin. J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. Information and Computation, 111(2):193–244, 1994.
R.S. Sreenivas and B.H. Krogh. On Condition/Event Systems with Discrete State Realizations. In Discrete Event Dynamic Systems 1, pages 209–236. Boston, 1991.
T. Wilke. Automaten und Logiken zur Beschreibung zeitabhängiger Systeme. PhD thesis. Institut für Informatik und Praktische Informatik. Universität Kiel, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huuck, R., Lakhnech, Y., Urbina, L., Engell, S., Kowalewski, S., Preußig, J. (1997). Comparing timed c/e systems with timed automata (abstract). In: Maler, O. (eds) Hybrid and Real-Time Systems. HART 1997. Lecture Notes in Computer Science, vol 1201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014716
Download citation
DOI: https://doi.org/10.1007/BFb0014716
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62600-8
Online ISBN: 978-3-540-68330-8
eBook Packages: Springer Book Archive