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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.