Switched Probabilistic I/O Automata

A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every closed system of switched automata satisfies the key property that, in any reachable state, at most one component automaton is active. We define a tracebased semantics for switched PIOAs and prove it is compositional. We also propose switch extensions of an arbitrary PIOA and use these extensions to define a new trace-based semantics for PIOAs.

• Type: Conference
• Year: 2004
• Where: ICTAC
• Authors: Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
• Keywords: Component Automaton, Explicit Mechanism, ICTAC 2004, Probabilistic I/o Automaton