A Calculus for Timed Automata
| Title | A Calculus for Timed Automata |
| Publication Type | Conference Paper |
| Year of Publication | 1996 |
| Authors | D'Argenio, PR, Brinksma, E |
| Editor | Jonsson, B, Parrow, J |
| Conference Name | Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings |
| Publisher | Springer |
| ISBN Number | 3-540-61648-9 |
| Abstract | A language for representing timed automata is introduced. Its semantics is defined in terms of timed automata. This language is complete in the sense that any timed automaton can be represented by a term in the language. We also define a direct operational semantics for the language in terms of (timed) transition systems. This is proven to be equivalent (or, more precisely, timed bisimilar) to the interpretation in terms of timed automata. In addition, a set of axioms is given that is shown to be sound for timed bisimulation. Finally, we introduce several features like the parallel composition and derived time operations like wait, time-out and urgency. We conclude with an example and show that we can eliminate non-reachable states using algebraic techniques. |
| DOI | 10.1007/3-540-61648-9_37 |
PDF (Full text):
