Peng Lv 0002 Zhangcong Xu Yiding Ji Shaoyuan Li Xiang Yin 0003 Optimal supervisory control of discrete event systems for cyclic tasks. 111634 2024 164 Autom. https://doi.org/10.1016/j.automatica.2024.111634 db/journals/automatica/automatica164.html#LvXJLY24 streams/journals/automatica