%0 Journal Article %1 journals/tsmc/FengRRCY23 %A Feng, Yanxiang %A Ren, Sida %A Ren, Xiaodong %A Chen, Hefeng %A Yang, Yikang %D 2023 %J IEEE Trans. Syst. Man Cybern. Syst. %K dblp %N 4 %P 2222-2235 %T Small-Size Liveness-Enforcing Supervisor for Automated Manufacturing Systems Using the Theory of Transition Cover. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmc53.html#FengRRCY23 %V 53

@article{journals/tsmc/FengRRCY23, added-at = {2023-03-28T00:00:00.000+0200}, author = {Feng, Yanxiang and Ren, Sida and Ren, Xiaodong and Chen, Hefeng and Yang, Yikang}, biburl = {https://www.bibsonomy.org/bibtex/2c875fb4ae5992f29bc4d23d581cebe9c/dblp}, ee = {https://doi.org/10.1109/TSMC.2022.3209156}, interhash = {60455df6fd9023b8acfca97ece4f61f7}, intrahash = {c875fb4ae5992f29bc4d23d581cebe9c}, journal = {IEEE Trans. Syst. Man Cybern. Syst.}, keywords = {dblp}, month = {April}, number = 4, pages = {2222-2235}, timestamp = {2024-04-08T19:19:03.000+0200}, title = {Small-Size Liveness-Enforcing Supervisor for Automated Manufacturing Systems Using the Theory of Transition Cover.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmc53.html#FengRRCY23}, volume = 53, year = 2023 }