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]
@article{FengRRCY23, title = {Small-Size Liveness-Enforcing Supervisor for Automated Manufacturing Systems Using the Theory of Transition Cover}, author = {Yanxiang Feng and Sida Ren and Xiaodong Ren and Hefeng Chen and Yikang Yang}, year = {2023}, month = {April}, doi = {10.1109/TSMC.2022.3209156}, url = {https://doi.org/10.1109/TSMC.2022.3209156}, researchr = {https://researchr.org/publication/FengRRCY23}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A}, volume = {53}, number = {4}, pages = {2222-2235}, }