Controller Synthesis with Budget Constraints

DOI10.1007/978-3-540-78929-1_6MaRDI QIDQ3523099zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger

Publication date 2 September 2008

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78929-1_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Synthesis problems (93B50)

Recommendations

• Controllers with minimal observation power (application to timed systems)
• Minimum Attention Controller Synthesis for Omega-Regular Objectives
• Constraint-based controller synthesis in non-deterministic and partially observable domains
• scientific article; zbMATH DE number 2163041
• Games for synthesis of controllers with partial observation.

Cited in

(7)

• Latticed-LTL synthesis in the presence of noisy inputs
• Minimum Attention Controller Synthesis for Omega-Regular Objectives
• Controllers with minimal observation power (application to timed systems)
• Infinite-duration bidding games
• Sensing as a complexity measure
• Optimal control with budget constraints and resets
• Games with trading of control

This page was built for publication: Controller Synthesis with Budget Constraints

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