Dynamic input/output automata: A formal and compositional model for dynamic systems
We present dynamic I/O automata (DIOA), a compositional model of dynamic systems. In DIOA, automata can be created and destroyed dynamically, as computation proceeds, and an automaton can dynamically change its signature, i.e., the set of actions in which it can participate. DIOA features operators...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Published: |
Elsevier BV
2018
|
| Online Access: | http://hdl.handle.net/1721.1/118456 https://orcid.org/0000-0003-3045-265X |