Nondeterministic controllers of nondeterministic processes

MaRDI QIDQ3086918zbMATH OpenFDO

Authors Igor Walukiewicz, André Arnold

Publication date 30 March 2011

zbMATH Keywords

controller synthesisdeterministic finite automatamu-calculussatisfiability problem of mu-calculus

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Synthesis problems (93B50) Discrete event control/observation systems (93C65)

Recommendations

• Games for synthesis of controllers with partial observation.
• scientific article; zbMATH DE number 5587278
• On the control of asynchronous automata
• scientific article; zbMATH DE number 1927560
• scientific article; zbMATH DE number 2163041

Cited in

(10)

• Parity game reductions
• Deterministic control of randomly-terminated processes
• Distributed synthesis is simply undecidable
• The mu-calculus and Model Checking
• Controller/orchestrator synthesis via filtration
• Consensus game acceptors
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Infinite games with finite knowledge gaps
• Mathematical Foundations of Computer Science 2003
• Information tracking in games on graphs

This page was built for publication: Nondeterministic controllers of nondeterministic processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3086918)