Forward and Backward Simulations for Timing-based Systems
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 c...
| Main Authors: | , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149185 |
| _version_ | 1811092398639415296 |
|---|---|
| author | Lynch, Nancy A. Vaandrager, Frits |
| author_facet | Lynch, Nancy A. Vaandrager, Frits |
| author_sort | Lynch, Nancy A. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T15:17:32Z |
| id | mit-1721.1/149185 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T15:17:32Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1491852023-03-30T03:15:22Z Forward and Backward Simulations for Timing-based Systems Lynch, Nancy A. Vaandrager, Frits 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. 2023-03-29T14:35:30Z 2023-03-29T14:35:30Z 1991-11 https://hdl.handle.net/1721.1/149185 24927919 MIT-LCS-TM-458 application/pdf |
| spellingShingle | Lynch, Nancy A. Vaandrager, Frits Forward and Backward Simulations for Timing-based Systems |
| title | Forward and Backward Simulations for Timing-based Systems |
| title_full | Forward and Backward Simulations for Timing-based Systems |
| title_fullStr | Forward and Backward Simulations for Timing-based Systems |
| title_full_unstemmed | Forward and Backward Simulations for Timing-based Systems |
| title_short | Forward and Backward Simulations for Timing-based Systems |
| title_sort | forward and backward simulations for timing based systems |
| url | https://hdl.handle.net/1721.1/149185 |
| work_keys_str_mv | AT lynchnancya forwardandbackwardsimulationsfortimingbasedsystems AT vaandragerfrits forwardandbackwardsimulationsfortimingbasedsystems |