Compositional Control Synthesis for Partially Observable Systems
From MaRDI portal
Publication:3184691
DOI10.1007/978-3-642-04081-8_29zbMath1254.93075OpenAlexW2106303294WikidataQ62047476 ScholiaQ62047476MaRDI QIDQ3184691
Wouter Kuijper, Jaco van de Pol
Publication date: 22 October 2009
Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://research.utwente.nl/en/publications/compositional-control-synthesis-for-partially-observable-systems(b7636b63-fe9e-48f4-b218-e1143133f03d).html
Related Items (3)
Antichains and compositional algorithms for LTL synthesis ⋮ A Compositional Framework for Controller Synthesis ⋮ Compositional construction of most general controllers
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automatic symbolic compositional verification by learning assumptions
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games
- Environment Assumptions for Synthesis
- Algorithms for Omega-Regular Games with Imperfect Information
- Facets of Synthesis: Revisiting Church’s Problem
- Computing Weakest Strategies for Safety Games of Imperfect Information
- Synthesis of Communicating Processes from Temporal Logic Specifications
- On the synthesis of strategies in infinite games
- Synchronous and Bidirectional Component Interfaces
- Decentralized control and coordination of discrete-event systems with partial observation
- On Synthesizing Controllers from Bounded-Response Properties
- Solving Sequential Conditions by Finite-State Strategies
- Safraless Compositional Synthesis
- Assume-Guarantee Synthesis
- Hybrid Systems: Computation and Control
This page was built for publication: Compositional Control Synthesis for Partially Observable Systems