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...

Celý popis

Podrobná bibliografia

Vydané v:	arXiv.org
Hlavní autori:	Attie, Paul C, Lynch, Nancy A
Médium:	Paper
Jazyk:	English
Vydavateľské údaje:	Ithaca Cornell University Library, arXiv.org 20.04.2016
Predmet:	Automata theory Composition Dynamical systems
ISSN:	2331-8422
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!