2 papers
eess.SY2025
Markov Clustering based Fully Automated Nonblocking Hierarchical Supervisory Control of Large-Scale Discrete-Event Systems
Yingying Liu, Zhaojian Cai, Kai Cai
In this paper we revisit the abstraction-based approach to synthesize a hierarchy of decentralized supervisors and coordinators for nonblocking control of large-scale discrete-even…
eess.SY2024
Bounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems
Renyuan Zhang, Jiale Wu, Junhua Gou +2
Recently an automaton property of quantitative nonblockingness was proposed in supervisory control of untimed discrete-event systems (DES), which quantifies the standard nonblockin…