Forward and Backward Simulations for Timing-based Systems
Name
MIT-LCS-TM-458.pdf
Size
4.54 MB
Format
Adobe PDF
Checksum (MD5)
a51af5fe217b8d7e11aea38f5b97e048
Author(s)
Lynch, Nancy A.
Vaandrager, Frits
Date Issued
November 1991
Series/Report no.
MIT-LCS-TM-458
Abstract
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. As a first step, a comprehensive overview of simulation techniques for simple untimed automata is given. In particular, soundness and completeness results for (1) refinements, (2) forward and backward simulations, (3) forward-backward and backward-forward simulations, and (4) history and prophecy relations are given.
Persistent DSpace Link
