Hybrid I/O Automata
We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] and the phase transition system models of [15, 2], allows communication among components using both shared variables and...
| Main Authors: | , , , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149255 |
| _version_ | 1826195288149196800 |
|---|---|
| author | Lynch, Nancy A. Segala, Roberto Vaandrager, Frits Weinberg, H. B. |
| author_facet | Lynch, Nancy A. Segala, Roberto Vaandrager, Frits Weinberg, H. B. |
| author_sort | Lynch, Nancy A. |
| collection | MIT |
| description | We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] and the phase transition system models of [15, 2], allows communication among components using both shared variables and shared actions. |
| first_indexed | 2024-09-23T10:10:21Z |
| id | mit-1721.1/149255 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T10:10:21Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1492552023-03-30T04:04:23Z Hybrid I/O Automata Lynch, Nancy A. Segala, Roberto Vaandrager, Frits Weinberg, H. B. We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] and the phase transition system models of [15, 2], allows communication among components using both shared variables and shared actions. 2023-03-29T14:39:44Z 2023-03-29T14:39:44Z 1995-12 https://hdl.handle.net/1721.1/149255 MIT-LCS-TM-544 application/pdf |
| spellingShingle | Lynch, Nancy A. Segala, Roberto Vaandrager, Frits Weinberg, H. B. Hybrid I/O Automata |
| title | Hybrid I/O Automata |
| title_full | Hybrid I/O Automata |
| title_fullStr | Hybrid I/O Automata |
| title_full_unstemmed | Hybrid I/O Automata |
| title_short | Hybrid I/O Automata |
| title_sort | hybrid i o automata |
| url | https://hdl.handle.net/1721.1/149255 |
| work_keys_str_mv | AT lynchnancya hybridioautomata AT segalaroberto hybridioautomata AT vaandragerfrits hybridioautomata AT weinberghb hybridioautomata |