| Issue Date | Title | Author(s) |
 | 2018 | Automatic generation of optimal reductions of distributions | Masopust, Tomáš; Su, Rong; Lin, Liyong; Wonham, W. Murray |
| 2014 | Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines | Lin, Liyong; Shehabinia, Ahmad Reza; Brandin, Bertil; Su, Rong. |
| 2018 | An efficient method of matrix multiplication for heaps of pieces | Ware, Simon; Yang, Fajun; Zhu, Yuting; Su, Rong; Lin, Liyong |
| | 2022 | Identification of system vulnerability under a smart sensor attack via attack model reduction | Tai, Ruochen; Lin, Liyong; Su, Rong |
| 2018 | Model checking in isomorphic module systems | Wang, Weilin; Su, Rong; Lin, Liyong; Gong, Chaohui |
| | 2022 | Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis | Lin, Liyong; Zhu, Yuting; Tai, Ruochen; Ware, Simon; Su, Rong |
 | 2022 | A new modeling framework for networked discrete-event systems | Tai, Ruochen; Lin, Liyong; Zhu, Yuting; Su, Rong |
| 2021 | Supervisor synthesis for networked discrete event systems with delays against non-FIFO communication channels | Zhu, Yuting; Lin, Liyong; Tai, Ruochen; Su, Rong |
| 2021 | Supervisory control of time-interval discrete event systems | Brandin, Bertil; Su, Rong; Lin, Liyong |
| 2017 | Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates | Lin, Liyong; Stefanescu, Alin; Wang, Weilin; Su, Rong; Wonham, Walter Murray |
| 2019 | Synchronous composition of finite interval automata | Lin, Liyong; Su, Rong; Brandin, Bertil A.; Ware, Simon; Zhu, Yuting; Sun, Yajuan |
| | 2021 | Synthesis of covert actuator and sensor attackers | Lin, Liyong; Su, Rong |
| 2021 | Synthesis of covert actuator and sensor attackers as supervisor synthesis | Lin, Liyong; Su, Rong |
| | 2020 | Synthesis of covert actuator attackers for free | Lin, Liyong; Zhu, Yuting; Su, Rong |
| 2015 | Towards decentralized and parameterized supervisor synthesis | Lin, Liyong |
