Quantitatively nonblocking supervisory control of discrete-event systems

DOI10.1016/j.automatica.2024.111879MaRDI QIDQ6632516

Zeng-Hui Wang, Jiahao Wang, Renyuan Zhang, Kai Cai

Publication date: 4 November 2024

Published in: Automatica (Search for Journal in Brave)

zbMATH Keywords

supervisory controldiscrete-event systemsautomatanonblockingness

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multitasking supervisory control of discrete-event systems
• The state complexities of some basic operations on regular languages
• Supervisory control of discrete-event systems
• Supervisory control of a rapid thermal multiprocessor
• Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
• Introduction to Discrete Event Systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of timed discrete-event systems
• Progressive events in supervisory control and compositional verification
• Nonblocking Supervisory Control of State Tree Structures
• STATE COMPLEXITY OF CONCATENATION AND COMPLEMENTATION

This page was built for publication: Quantitatively nonblocking supervisory control of discrete-event systems