The modal transition system control problem

DOI10.1007/978-3-642-32759-9_15MaRDI QIDQ4647840zbMATH OpenOpenAlexFDO

Authors Nicolas D'Ippolito, V. Braberman, Nir Piterman, Sebastian Uchitel

Publication date 8 November 2012

Published in FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32759-9_15

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2163041
• Games for synthesis of controllers with partial observation.
• Constraint-based controller synthesis in non-deterministic and partially observable domains
• Template-based controller synthesis for timed systems
• Controller Synthesis for MTL Specifications

Cited in

(9)

• Dynamic control of a tandem system with abandonments
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation
• A new approach to finding the control that transports a system from one phase state to another
• Qualitative approximate behavior composition
• Constraint-based controller synthesis in non-deterministic and partially observable domains
• Automatic behavior composition synthesis
• Maximally permissive controlled system synthesis for modal logic
• On tolerance of discrete systems with respect to transition perturbations
• Safe environmental envelopes of discrete systems

This page was built for publication: The modal transition system control problem

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