Constraint-based controller synthesis in non-deterministic and partially observable domains

DOI10.3233/978-1-60750-606-5-681zbMATH Open1211.93047MaRDI QIDQ2999201FDOQ2999201

Michel Lemaître, Guillaume Infantes, Cédric Pralet, Gérard Verfaillie

Publication date: 11 May 2011

Recommendations

• Compositional Control Synthesis for Partially Observable Systems
• scientific article; zbMATH DE number 2163041
• The modal transition system control problem
• Counterexample-guided synthesis of observation predicates
• Template-based controller synthesis for timed systems

Mathematics Subject Classification ID

Observability (93B07) Synthesis problems (93B50)

Cited In (10)

• Compositional Control Synthesis for Partially Observable Systems
• Controller Synthesis with Budget Constraints
• On Synthesizing Controllers from Bounded-Response Properties
• A correctness result for synthesizing plans with loops in stochastic domains
• Automated generation of optimal controllers through model checking techniques
• A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
• Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
• Computing programs for generalized planning using a classical planner
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Minimum Attention Controller Synthesis for Omega-Regular Objectives

Uses Software

• Gecode

This page was built for publication: Constraint-based controller synthesis in non-deterministic and partially observable domains

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