Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices
Wang D, Wang X, Li Z (2020)
Publication Type: Journal article
Publication year: 2020
Journal
IEEE Transactions on Industrial Informatics
Institute of Electrical and Electronics Engineers (IEEE)
Book Volume: 16
Pages Range: 3744-3756
Journal Issue: 6
Abstract
State-tree structure (STS) is a powerful tool for the modeling and control of large-scale discrete-event systems (DES) whose structure is organized in a top-down hierarchy. The notorious state-explosion problem can be managed effectively in the framework of STS. Priority is an important concept and exists in a wide range of DES, such as manufacturing systems, traffic systems, and logistic (service) systems. In this article, a conditional-preemption matrix is used to describe the preemption relations among events, which can represent the priority intuitively. In order to augment STS with priority, we propose a novel STS framework: STS with conditional-preemption matrices (STSM), which aims to solve different kinds of issues related to priority. The optimal nonblocking supervisory control is deployed in the framework of STSM. Symbolic synthesis algorithms are implemented and integrated in a software tool, STSLib, which exploits binary decision diagrams as a basis for efficient computation. The developed approach is demonstrated by (a) manufacturing systems using automatic guided vehicles and (b) real-time systems.
Authors with CRIS profile
Involved external institutions
China (CN)How to cite
APA:
Wang, D., Wang, X., & Li, Z. (2020). Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices. IEEE Transactions on Industrial Informatics, 16(6), 3744-3756. https://doi.org/10.1109/TII.2019.2939628
MLA:
Wang, Deguang, Xi Wang, and Zhiwu Li. "Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices." IEEE Transactions on Industrial Informatics 16.6 (2020): 3744-3756.
BibTeX: Download