Small-Size Liveness-Enforcing Supervisor for Automated Manufacturing Systems Using the Theory of Transition Cover

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]

Authors

Yanxiang Feng

This author has not been identified. Look up 'Yanxiang Feng' in Google

Sida Ren

This author has not been identified. Look up 'Sida Ren' in Google

Xiaodong Ren

This author has not been identified. Look up 'Xiaodong Ren' in Google

Hefeng Chen

This author has not been identified. Look up 'Hefeng Chen' in Google

Yikang Yang

This author has not been identified. Look up 'Yikang Yang' in Google