Minimum Attention Controller Synthesis for Omega-Regular Objectives
From MaRDI portal
Publication:3172849
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
Related Items
Uses Software
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