Optimal supervisory control of discrete event systems for cyclic tasks

DOI10.1016/J.AUTOMATICA.2024.111634zbMATH Open1537.93012MaRDI QIDQ6550231

Zhangcong Xu, Yiding Ji, Peng Lv, 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

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

Cites Work

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

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)