Feng Lin 0001 Ruochen Tai Rong Su 0001 Attack Synthesis in Supervisory Control of Discrete Event Systems<sup>*</sup>. WODES 2026 319-324 conf/wodes/2026 https://doi.org/10.1109/WODES69290.2026.11598314 db/conf/wodes/wodes2026.html#LinTS26 streams/conf/wodes