Minimum Attention Controller Synthesis for Omega-Regular Objectives

DOI10.1007/978-3-642-24310-3_11zbMATH Open1348.68096OpenAlexW1782668875MaRDI QIDQ3172849FDOQ3172849

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

Recommendations

• On the Existence and Computation of Minimum Attention Optimal Control Laws
• Minimum attention control for linear systems
• scientific article; zbMATH DE number 850122
• The extended minimal controller synthesis algorithm
• Direct synthesis of fixed-order multi-objective controllers
• An Efficient Algorithm for Controller Synthesis under Full Observation
• Robustness of a minimal controller synthesis algorithm
• Omega-Regular Objectives in Model-Free Reinforcement Learning
• The decentralized minimal controller synthesis algorithm
• Constraint-based controller synthesis in non-deterministic and partially observable domains

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Controller Synthesis with Budget Constraints
• Sensing as a Complexity Measure
• Latticed-LTL synthesis in the presence of noisy inputs

Uses Software

• MATISSE
• PESSOA

This page was built for publication: Minimum Attention Controller Synthesis for Omega-Regular Objectives

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