Forward and Backward Simulations Part II: Timing-based Systems
Author(s)
Lynch, Nancy A.; Vaandrager, Frits![Thumbnail](/bitstream/handle/1721.1/149208/MIT-LCS-TM-487c.pdf.jpg?sequence=3&isAllowed=y)
DownloadMIT-LCS-TM-487c.pdf (4.535Mb)
Metadata
Show full item recordAbstract
A general automaton model for timing-based systems is presented and is used as the context for developing a variety of simulation proof techniques for such systems. These techniques include (1) refinments, (2) forward and backward simulations, (3) hybrid forward-backward and backward-forward simulations, and (4) history and prophecy relations. Relationships between the different types of simulations, as well as soundness and completeness results, are stated and proved.
Date issued
1993-03Series/Report no.
MIT-LCS-TM-487c