Minimum Attention Controller Synthesis for Omega-Regular Objectives

DOI10.1007/978-3-642-24310-3_11zbMath1348.68096MaRDI QIDQ3172849

Krishnendu Chatterjee, Rupak Majumdar

Publication date: 7 October 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_11

Mathematics Subject Classification ID

91A80: Applications of game theory

68Q45: Formal languages and automata

Related Items

Sensing as a Complexity Measure, Latticed-LTL synthesis in the presence of noisy inputs

Uses Software

• MATISSE
• PESSOA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of two-player games of incomplete information
• Approximate simulation relations for hybrid systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Borel determinacy
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• A theory of timed automata
• The complexity of mean payoff games on graphs
• On the model-based control of networked systems
• Discrete-time control for rectangular hybrid automata
• Active acquisition of information for diagnosis and supervisory control of discrete event systems
• Synthesis using approximately bisimilar abstractions
• Controller Synthesis with Budget Constraints
• Energy and Mean-Payoff Games with Imperfect Information
• Algorithms for Omega-Regular Games with Imperfect Information
• On the synthesis of discrete controllers for timed systems
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems
• Solving Sequential Conditions by Finite-State Strategies