Minimum Attention Controller Synthesis for Omega-Regular Objectives

DOI10.1007/978-3-642-24310-3_11zbMath1348.68096OpenAlexW1782668875MaRDI 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

Applications of game theory (91A80) Formal languages and automata (68Q45)

Related Items

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

Uses Software

• MATISSE
• PESSOA

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item