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

DOI10.3233/978-1-60750-606-5-681MaRDI QIDQ2999201zbMATH OpenFDO

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

Publication date 11 May 2011

Full work available at URL https://doi.org/10.3233/978-1-60750-606-5-681

Mathematics Subject Classification ID

Observability (93B07) Synthesis problems (93B50)

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

Cited in

(19)

• Situation calculus for controller synthesis in manufacturing systems with first-order state representation
• PuRSUE -- from specification of robotic environments to synthesis of controllers
• A correctness result for synthesizing plans with loops in stochastic domains
• Computing programs for generalized planning using a classical planner
• Least-violating control strategy synthesis with safety rules
• Minimum Attention Controller Synthesis for Omega-Regular Objectives
• Compositional Control Synthesis for Partially Observable Systems
• Controller Synthesis with Budget Constraints
• Automated generation of optimal controllers through model checking techniques
• Automatic behavior composition synthesis
• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• Fully observable non-deterministic planning as assumption-based reactive synthesis
• The modal transition system control problem
• Counterexample-guided synthesis of observation predicates
• A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• On Synthesizing Controllers from Bounded-Response Properties
• Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
• Search and explore: symbiotic policy synthesis in POMDPs

Describes a project that uses

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)