Optimal supervisory control of discrete event systems for cyclic tasks

DOI10.1016/J.AUTOMATICA.2024.111634MaRDI QIDQ6550231zbMATH OpenFDO

Authors Peng Lv, Zhangcong Xu, Yiding Ji, Shaoyuan Li, Xiang Yin

Publication date 5 June 2024

Published in Automatica (Search for Journal in Brave)

zbMATH Keywords

discrete event systemsmean payoff gamesoptimal supervisory control

Mathematics Subject Classification ID

Applications of game theory (91A80) 2-person games (91A05) Games involving graphs (91A43) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Recommendations

• Optimal supervisory control of discrete event systems: cyclicity and interleaving of tasks
• Two new optimal models for controlling discrete event systems
• Optimal Supervisory Control of Discrete Event Dynamical Systems
• A graph-theoretic optimal control problem for terminating discrete event processes
• Optimal supervisory control with mean payoff objectives and under partial observation

Cites work

• A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
• Abstraction of the Supervisory Control Solution to Deal With Planning Problems in Manufacturing Systems
• An Optimal Control Theory for Discrete Event Systems
• Automata, logics, and infinite games. A guide to current research
• CONCUR 2005 – Concurrency Theory
• Control of discrete-event systems. Automata and Petri net perspectives
• Faster algorithms for mean-payoff games
• Local Mean Payoff Supervisory Control for Discrete Event Systems
• Near-optimal online control of dynamic discrete-event systems
• On optimal control of a class of partially observed discrete event systems
• On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
• Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
• Optimal Supervisory Control of Discrete Event Dynamical Systems
• Optimal Supervisory Control of Probabilistic Discrete Event Systems
• Optimal supervisory control of discrete event systems: cyclicity and interleaving of tasks
• Optimal supervisory control with mean payoff objectives and under partial observation
• Positional strategies for mean payoff games
• Quantitative Supervisory Control Game for Discrete Event Systems
• Supervisory control of discrete-event systems
• Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
• Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
• Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
• Synthesizing robust systems
• The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
• The complexity of mean payoff games on graphs
• Unconstrained optimal control of regular languages

This page was built for publication: Optimal supervisory control of discrete event systems for cyclic tasks

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