A compositional framework for controller synthesis

DOI10.1007/978-3-642-23217-6_34MaRDI QIDQ3090853zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Compositional construction of most general controllers
• scientific article; zbMATH DE number 2163041
• Compositional controller synthesis for stochastic games
• Compositional Control Synthesis for Partially Observable Systems
• Compositional strategy synthesis for stochastic games with multiple objectives

Cites work

• Algorithms for Omega-Regular Games with Imperfect Information
• Compositional algorithms for LTL synthesis
• Compositional Control Synthesis for Partially Observable Systems
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 4158510 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1759605 (Why is no real title available?)
• Measuring Permissivity in Finite Games
• On the power of imperfect information
• Permissive strategies: from parity games to safety games
• The complexity of two-player games of incomplete information

Cited in

(13)

• Compositional and symbolic synthesis of reactive controllers for multi-agent systems
• Compositional construction of most general controllers
• Grafcet: behavioural issues and control synthesis
• Qualitative approximate behavior composition
• Synthesis for Structure Rewriting Systems
• Compositional Control Synthesis for Partially Observable Systems
• Controller/orchestrator synthesis via filtration
• Compositional controller synthesis for stochastic games
• Integrating discrete controller synthesis into a reactive programming language compiler
• Compositional Construction of Approximate Abstractions of Interconnected Control Systems
• scientific article; zbMATH DE number 1822285 (Why is no real title available?)
• From control law diagrams to Ada via \textsf{Circus}
• Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts

This page was built for publication: A compositional framework for controller synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090853)