Minimum Attention Controller Synthesis for Omega-Regular Objectives

DOI10.1007/978-3-642-24310-3_11MaRDI QIDQ3172849zbMATH OpenOpenAlexFDO

Authors 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

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

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

Cites work

• scientific article; zbMATH DE number 3492660 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1759436 (Why is no real title available?)
• scientific article; zbMATH DE number 1444727 (Why is no real title available?)
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A theory of timed automata
• Active acquisition of information for diagnosis and supervisory control of discrete event systems
• Algorithms for Omega-Regular Games with Imperfect Information
• Approximate simulation relations for hybrid systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Borel determinacy
• Controller Synthesis with Budget Constraints
• Discrete-time control for rectangular hybrid automata
• Energy and mean-payoff games with imperfect information
• Fault diagnosis with static and dynamic observers
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• On the model-based control of networked systems
• On the synthesis of discrete controllers for timed systems
• Solving Sequential Conditions by Finite-State Strategies
• Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
• The complexity of mean payoff games on graphs
• The complexity of two-player games of incomplete information
• To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems

Cited in

(3)

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

Describes a project that uses

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)