Compositional Control Synthesis for Partially Observable Systems
From MaRDI portal
Recommendations
- Constraint-based controller synthesis in non-deterministic and partially observable domains
- A compositional framework for controller synthesis
- Effective control synthesis for partially observed discrete-event systems
- Compositional construction of most general controllers
- Compositional controller synthesis for stochastic games
Cites work
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 3492660 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 1444727 (Why is no real title available?)
- Algorithms for Omega-Regular Games with Imperfect Information
- Assume-Guarantee Synthesis
- Automatic symbolic compositional verification by learning assumptions
- Computing Weakest Strategies for Safety Games of Imperfect Information
- Decentralized control and coordination of discrete-event systems with partial observation
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games
- Environment Assumptions for Synthesis
- Facets of Synthesis: Revisiting Church’s Problem
- Hybrid Systems: Computation and Control
- On Synthesizing Controllers from Bounded-Response Properties
- On the synthesis of strategies in infinite games
- Safraless Compositional Synthesis
- Solving Sequential Conditions by Finite-State Strategies
- Synchronous and Bidirectional Component Interfaces
- Synthesis of Communicating Processes from Temporal Logic Specifications
Cited in
(7)- Constraint-based controller synthesis in non-deterministic and partially observable domains
- Winning strategy templates for stochastic parity games towards permissive and resilient control
- A compositional framework for controller synthesis
- Compositional construction of most general controllers
- Antichains and compositional algorithms for LTL synthesis
- Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control
- scientific article; zbMATH DE number 1822285 (Why is no real title available?)
This page was built for publication: Compositional Control Synthesis for Partially Observable Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184691)