Optimal supervisory control of discrete event systems for cyclic tasks. - Peng Lv 002; Zhangcong Xu; Yiding Ji; Shaoyuan Li; Xiang Yin 003 (Autom., 2024)