Yanxiang Feng, Sida Ren, Xiaodong Ren, Hefeng Chen, Yikang Yang. Small-Size Liveness-Enforcing Supervisor for Automated Manufacturing Systems Using the Theory of Transition Cover. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 53(4):2222-2235, April 2023. [doi]
Abstract is missing.