A Compositional Framework for Controller Synthesis

DOI10.1007/978-3-642-23217-6_34zbMath1329.68182OpenAlexW2276657336MaRDI QIDQ3090853

Joachim Klein, Sascha Klüppelholz, Christel Baier

Publication date: 2 September 2011

Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23217-6_34

Mathematics Subject Classification ID

Synthesis problems (93B50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Compositional and symbolic synthesis of reactive controllers for multi-agent systems, Compositional construction of most general controllers

Cites Work

• The complexity of two-player games of incomplete information
• Measuring Permissivity in Finite Games
• Compositional Control Synthesis for Partially Observable Systems
• Permissive strategies: from parity games to safety games
• Compositional Algorithms for LTL Synthesis
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Algorithms for Omega-Regular Games with Imperfect Information
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item