Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices

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.