Games for synthesis of controllers with partial observation.

DOI10.1016/S0304-3975(02)00442-5zbMath1175.93148OpenAlexW2054099039MaRDI QIDQ1401346

D. Massart

Publication date: 17 August 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00442-5

zbMATH Keywords

GamesControlSatisfiabilityDiscrete event systemsPartial observationModal automata

Mathematics Subject Classification ID

Games involving graphs (91A43) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (39)

Permissive strategies: from parity games to safety games ⋮ Distributed synthesis for well-connected architectures ⋮ Cooking Your Own Parity Game Preorders Through Matching Plays ⋮ TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING ⋮ Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Controller/Orchestrator Synthesis via Filtration ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Solvability of centralized supervisory control under partial observation ⋮ Parity game reductions ⋮ Control design for nondeterministic input/output automata ⋮ Unnamed Item ⋮ Synthesis of covert actuator and sensor attackers ⋮ Branching-time logics with path relativisation ⋮ Modal specifications for the control theory of discrete event systems ⋮ Expressiveness and succinctness of a logic of robustness ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications ⋮ Supervisory control of state-tree structures with partial observation ⋮ Modal event-clock specifications for timed component-based design ⋮ Unnamed Item ⋮ Natural projection as partial model checking ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ Unnamed Item ⋮ Synthesis of covert actuator attackers for free ⋮ Control of discrete-event systems with modular or distributed structure ⋮ Maximally permissive controlled system synthesis for non-determinism and modal logic ⋮ Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition ⋮ Dynamic control with indistinguishable events ⋮ Timed modal logics for real-time systems. Specification, verification and control ⋮ Ambiguous classes in \(\mu\)-calculi hierarchies ⋮ Undecidability in decentralized supervision ⋮ On Distributed Program Specification and Synthesis in Architectures with Cycles ⋮ Approximately bisimilar symbolic models for nonlinear control systems ⋮ Unnamed Item ⋮ Solving Parity Games in Practice ⋮ A decidable class of problems for control under partial observation ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ REASONING ABOUT TRANSFINITE SEQUENCES ⋮ Games with winning conditions of high Borel complexity

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fast and simple nested fixpoints
• Undecidable problems of decentralized observation and control on regular languages
• Effective Control Synthesis for Partially Observed Discrete-Event Systems
• State-strategies for games in F_σδ ∩ G_δσ
• Think globally, act locally: decentralized supervisory control
• The Complexity of Tree Automata and Logics of Programs
• A unified approach to control problems in discrete event processes
• A polynomial algorithm for testing diagnosability of discrete-event systems
• On the synthesis of discrete controllers for timed systems
• Diagnosability of discrete-event systems

This page was built for publication: Games for synthesis of controllers with partial observation.