Compositional Control Synthesis for Partially Observable Systems

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

Mathematics Subject Classification ID

Synthesis problems (93B50)

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