A compositional framework for controller synthesis
From MaRDI portal
Recommendations
Cites work
- 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?)
- Algorithms for Omega-Regular Games with Imperfect Information
- Compositional Control Synthesis for Partially Observable Systems
- Compositional algorithms for LTL synthesis
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- 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 Control Synthesis for Partially Observable Systems
- Integrating discrete controller synthesis into a reactive programming language compiler
- Compositional construction of most general controllers
- From control law diagrams to Ada via \textsf{Circus}
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems
- Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts
- Grafcet: behavioural issues and control synthesis
- Compositional controller synthesis for stochastic games
- scientific article; zbMATH DE number 1822285 (Why is no real title available?)
- Synthesis for Structure Rewriting Systems
- Qualitative approximate behavior composition
- Controller/orchestrator synthesis via filtration
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)