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, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds. In addition, an automaton can dynamically change its signature, that is, the set of actions in which it c...

全面介绍

书目详细资料
Main Authors: Attie, Paul C., Lynch, Nancy A.
其他作者: Nancy Lynch
出版: 2013
在线阅读:http://hdl.handle.net/1721.1/79420