In: Lecture Notes in Computer Science, Vol. 1201: Hybrid and Real-Time Systems, pages 81-86. Springer-Verlag, 1997.
Abstract: The paper investigates the relationship between timed C/E systems and timed automata. It provides an effective function that associates each timed C/E system with a 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 analysis of timed C/E systems. An effective function that translates each timed automaton into an equivalent C/E system is also provided.
Keywords: time C/E systems, timed automata.