Action Transducers and Timed Automata
Name
MIT-LCS-TM-480.b.pdf
Size
4.41 MB
Format
Adobe PDF
Checksum (MD5)
2b50107b287fab416cf8f6390ad0cbe9
Author(s)
Lynch, Nancy A.
Vaandrager, Frits
Date Issued
November 1992
Series/Report no.
MIT-LCS-TM-480b
Abstract
The timed automaton model of [29, 30] is a general model for timing-based systems. A notion of timed action transducer is here defined as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can be describe in this way, and a preliminary proposal is given for an appropriate language of operators for describing timing-based systems.
Persistent DSpace Link
