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

Full description

Bibliographic Details

Published in:	arXiv.org
Main Authors:	Attie, Paul C, Lynch, Nancy A
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 20.04.2016
Subjects:	Automata theory Composition Dynamical systems
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!