Remarks on the difficulty of top-down supervisor synthesis. - Liyong Lin; Rong Su 001; Alin Stefanescu (ICARCV, 2012)

On analysis of deadlock and blocking freeness in isomorphic module systems. - Weilin Wang; Rong Su 001; Liyong Lin (ACC, 2013)

Synthesis of control protocols for multi-agent systems with similar actions. - Rong Su 001; Liyong Lin (CDC, 2013)

Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems. - Liyong Lin; Alin Stefanescu; Rong Su 001; Weilin Wang; Ahmad Reza Shehabinia (ACC, 2014)

Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines. - Liyong Lin; Ahmad Reza Shehabinia; Rong Su 001; Bertil A. Brandin (CDC, 2014)

Model based task programming for secure multimodal human-robot interaction. - Liyong Lin; Rong Su 001; Hendra Suratno; Gerald Lee Gim Seet (ICARCV, 2014)

Discrete-event based vehicle dispatching and scheduling in multicommodity transportations. - Sana Sami; Liyong Lin; Ahmad Reza Shehabinia; Rong Su 001; Chin Soon Chong; Su Min Jeon (ICARCV, 2014)

Supervisory Control for a Class of Discrete Event Systems for Optimal Throughput. - Ahmad Reza Shehabinia; Liyong Lin; Rong Su 001; Chin Soon Chong (WODES, 2014)

Timed Supervisory Control for Operational Planning and Scheduling under Multiple Job Deadlines. - Ahmad Reza Shehabinia; Liyong Lin; Rong Su 001 (CoRR, 2016)

On Distributed and Parameterized Supervisor Synthesis Problems. - Liyong Lin; Alin Stefanescu; Rong Su 001 (IEEE Trans. Autom. Control., 2016)

Reduction of distributions and its applications. - Liyong Lin; Simon Ware; Rong Su 001; Walter Murray Wonham (ACC, 2017)

Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory. - Quan Quan; Zhiyao Zhao; Liyong Lin; Peng Wang; Walter Murray Wonham; Kai-Yuan Cai (CoRR, 2017)

Reduction of Distributions: Definitions, Properties, and Applications. - Liyong Lin; Simon Ware; Rong Su 001; Walter Murray Wonham (IEEE Trans. Autom. Control., 2017)

State-Based Control of Discrete-Event Systems Under Partial Observation. - Deguang Wang; Liyong Lin; Zhiwu Li 001; Walter Murray Wonham (IEEE Access, 2018)

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. - Liyong Lin; Alin Stefanescu; Weilin Wang; Rong Su 001; Walter Murray Wonham (Autom., 2018)

Synthesis of Successful Actuator Attackers on Supervisors. - Liyong Lin; Sander Thuijsman; Yuting Zhu; Simon Ware; Rong Su 001; Michel A. Reniers (CoRR, 2018)

Timed Discrete-Event Systems are Synchronous Product Structures. - Liyong Lin; W. M. Wonham; Rong Su 001 (CoRR, 2018)

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors. - Liyong Lin; Sander Thuijsman; Yuting Zhu; Simon Ware; Rong Su 001; Michel A. Reniers (ACC, 2019)

Towards Bounded Synthesis of Resilient Supervisors. - Liyong Lin; Yuting Zhu; Rong Su 001 (CDC, 2019)

Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels. - Yuting Zhu; Liyong Lin; Simon Ware; Rong Su 001 (CDC, 2019)

Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook. - Aida Rashidinejad; Bart Wetzels; Michel A. Reniers; Liyong Lin; Yuting Zhu; Rong Su 001 (ECC, 2019)

Supervisor Obfuscation Against Actuator Enablement Attack. - Yuting Zhu; Liyong Lin; Rong Su 001 (ECC, 2019)

Synchronous Composition of Finite Interval Automata. - Liyong Lin; Rong Su 001; Bertil A. Brandin; Simon Ware; Yuting Zhu; Yajuan Sun (ICCA, 2019)

Towards Bounded Synthesis of Resilient Supervisors Against Actuator Attacks. - Liyong Lin; Yuting Zhu; Rong Su 001 (CoRR, 2019)

Synthesis of Actuator Attackers for Free. - Liyong Lin; Yuting Zhu; Rong Su 001 (CoRR, 2019)

Automatic Generation of Optimal Reductions of Distributions. - Liyong Lin; Tomás Masopust; Walter Murray Wonham; Rong Su 001 (IEEE Trans. Autom. Control., 2019)

Model Checking in Isomorphic Module Systems. - Weilin Wang; Rong Su 001; Liyong Lin; Chaohui Gong (IEEE Trans. Autom. Control., 2019)

A Topological Approach for Computing Supremal Sublanguages. - Liyong Lin; Yuting Zhu; Rong Su 001 (ICARCV, 2020)

Supervisor Synthesis for Networked Discrete Event Systems with Delays against Non-FIFO Communication Channels. - Yuting Zhu; Liyong Lin; Ruochen Tai; Rong Su 001 (ICARCV, 2020)

Liver synthetic CT generation based on a dense-CycleGAN for MRI-only treatment planning. - Yingzi Liu; Yang Lei 002; Tonghe Wang; Jun Zhou 025; Liyong Lin; Tian Liu 004; Pretesh Patel; Walter J. Curran; Lei Ren; Xiaofeng Yang 005 (Image Processing, 2020)

Synthesis of covert actuator attackers for free. - Liyong Lin; Yuting Zhu; Rong Su 001 (Discret. Event Dyn. Syst., 2020)

Heuristic Synthesis of Covert Attackers Against Unknown Supervisors. - Liyong Lin; Ruochen Tai; Yuting Zhu; Rong Su 001 (CDC, 2021)

Synthesis of covert actuator and sensor attackers. - Liyong Lin; Rong Su 001 (Autom., 2021)

Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels. - Ruochen Tai; Liyong Lin; Yuting Zhu; Rong Su 001 (CoRR, 2021)

Privacy-Preserving Supervisory Control of Discrete-Event Systems via Co-Synthesis of Edit Function and Supervisor for Opacity Enforcement and Requirement Satisfaction. - Ruochen Tai; Liyong Lin; Yuting Zhu; Rong Su 001 (CoRR, 2021)

Synthesis of Maximally Permissive Covert Attackers Against Unknown Supervisors by Using Observations. - Ruochen Tai; Liyong Lin; Yuting Zhu; Rong Su 001 (CoRR, 2021)

A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory. - Liyong Lin; Rong Su 001 (CoRR, 2021)

Distributed Control of Timed Networked System against Communication Delays. - Yuting Zhu; Liyong Lin; Ruochen Tai; Rong Su 001 (ICCA, 2022)

An unsupervised patient-specific metal artifact reduction framework for proton therapy. - Chih-Wei Chang; Yang Lei 002; Serdar Charyyev; Shuai Leng; Tim Yoon; Jun Zhou 025; Xiaofeng Yang 005; Liyong Lin (Image-Guided Procedures, 2022)

Using orthogonal 2D kV images for target localization via central matching networks. - Chih-Wei Chang; Yang Lei 002; Tonghe Wang; Liyong Lin; Jun Zhou 025; Jeffrey D. Bradley; Tian Liu 004; Xiaofeng Yang 005 (Image-Guided Procedures, 2022)

A deep learning approach to transform two orthogonal X-ray images to volumetric images for image-guided proton therapy. - Chih-Wei Chang; Yang Lei 002; Tonghe Wang; Jun Zhou 025; Liyong Lin; Jeffrey D. Bradley; Tian Liu 004; Xiaofeng Yang 005 (Image Processing, 2022)

Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis. - Liyong Lin; Yuting Zhu; Ruochen Tai; Simon Ware; Rong Su 001 (Autom., 2022)

A new modeling framework for networked discrete-event systems. - Ruochen Tai; Liyong Lin; Yuting Zhu; Rong Su 001 (Autom., 2022)

Supervisor Obfuscation Against Covert Actuator Attackers. - Ruochen Tai; Liyong Lin; Rong Su 001 (CoRR, 2022)

Identification of System Vulnerability Under a Smart Sensor Attack via Attack Model Reduction. - Ruochen Tai; Liyong Lin; Rong Su 001 (IEEE Control. Syst. Lett., 2022)

Observation-assisted heuristic synthesis of covert attackers against unknown supervisors. - Liyong Lin; Ruochen Tai; Yuting Zhu; Rong Su 001 (Discret. Event Dyn. Syst., 2022)

Supervisor Fortification Against Covert Actuator Attacks. - Ruochen Tai; Liyong Lin; Rong Su 001 (CDC, 2023)

Synthesis of optimal covert sensor-actuator attackers for discrete-event systems. - Ruochen Tai; Liyong Lin; Rong Su 001 (Autom., 2023)

Scheduling Distributed Flexible Assembly Lines using Safe Reinforcement Learning with Soft Shielding. - Lele Li; Liyong Lin (CoRR, 2023)

Overview of networked supervisory control with imperfect communication channels. - Yuting Zhu; Liyong Lin; Ruochen Tai; Rong Su 001 (Discret. Event Dyn. Syst., 2023)

Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder. - Ruochen Tai; Liyong Lin; Yuting Zhu; Rong Su 001 (Autom., 2023)

Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations. - Ruochen Tai; Liyong Lin; Yuting Zhu; Rong Su 001 (IEEE Trans. Autom. Control., 2023)

On Decidability of Existence of Resilient Supervisors Against Covert Sensor-Actuator Attacks*. - Ruochen Tai; Liyong Lin; Rong Su 001 (CDC, 2024)

Reduction for Timed Discrete-Event Systems I: Timed Discrete-Event Systems are Synchronous Product Structures. - Liyong Lin; Jian Cao; Lele Li (ICBASE, 2024)

Towards Automatic Linearization via SMT Solving. - Jian Cao; Liyong Lin; Lele Li (CoRR, 2024)

A Decentralized Multi-Agent Path Planning Approach Based on Imitation Learning and Selective Communication. - Bohan Feng; Youyi Bi; Mian Li; Liyong Lin (J. Comput. Inf. Sci. Eng., 2024)

On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers. - Ruochen Tai; Liyong Lin; Rong Su 001 (IEEE Trans. Autom. Control., 2024)

Supervisory Control of Time-Interval Discrete Event Systems. - Bertil A. Brandin; Rong Su 001; Liyong Lin (IEEE Trans. Autom. Control., 2024)

Synthesis of Distributed Covert Sensor-Actuator Attackers. - Ruochen Tai; Liyong Lin; Yuting Zhu; Rong Su 001 (IEEE Trans. Autom. Control., 2024)

Security verification against covert learning attackers. - Ruochen Tai; Liyong Lin; Rong Su 001 (Autom., 2025)