Sciweavers

Share
ICTAC
2004
Springer

Switched Probabilistic I/O Automata

11 years 10 months ago
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.
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICTAC
Authors Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Comments (0)
books