Liyong Lin

According to our database, Liyong Lin authored at least 57 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesis of Distributed Covert Sensor-Actuator Attackers.

Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su

IEEE Trans. Autom. Control., August, 2024

Supervisory Control of Time-Interval Discrete Event Systems.

Bertil A. Brandin, Rong Su, Liyong Lin

IEEE Trans. Autom. Control., May, 2024

On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers.

Ruochen Tai, Liyong Lin, Rong Su

IEEE Trans. Autom. Control., March, 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

Towards Automatic Linearization via SMT Solving.

Jian Cao, Liyong Lin, Lele Li

CoRR, 2024

2023

Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations.

Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su

IEEE Trans. Autom. Control., June, 2023

Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder.

Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su

Autom., April, 2023

Overview of networked supervisory control with imperfect communication channels.

Yuting Zhu, Liyong Lin, Ruochen Tai, Rong Su

Discret. Event Dyn. Syst., March, 2023

Scheduling Distributed Flexible Assembly Lines using Safe Reinforcement Learning with Soft Shielding.

Lele Li, Liyong Lin

CoRR, 2023

Synthesis of optimal covert sensor-actuator attackers for discrete-event systems.

Ruochen Tai, Liyong Lin, Rong Su

Autom., 2023

Supervisor Fortification Against Covert Actuator Attacks.

Ruochen Tai, Liyong Lin, Rong Su

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Observation-assisted heuristic synthesis of covert attackers against unknown supervisors.

Liyong Lin, Ruochen Tai, Yuting Zhu, Rong Su

Discret. Event Dyn. Syst., 2022

Identification of System Vulnerability Under a Smart Sensor Attack via Attack Model Reduction.

Ruochen Tai, Liyong Lin, Rong Su

IEEE Control. Syst. Lett., 2022

Supervisor Obfuscation Against Covert Actuator Attackers.

Ruochen Tai, Liyong Lin, Rong Su

CoRR, 2022

A new modeling framework for networked discrete-event systems.

Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su

Autom., 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

Autom., 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, Tonghe Wang, Jun Zhou, Liyong Lin, Jeffrey D. Bradley, Tian Liu, Xiaofeng Yang

Proceedings of the Medical Imaging 2022: Image Processing, 2022

Using orthogonal 2D kV images for target localization via central matching networks.

Chih-Wei Chang, Yang Lei, Tonghe Wang, Liyong Lin, Jun Zhou, Jeffrey D. Bradley, Tian Liu, Xiaofeng Yang

Proceedings of the Medical Imaging 2022: Image-Guided Procedures, 2022

An unsupervised patient-specific metal artifact reduction framework for proton therapy.

Chih-Wei Chang, Yang Lei, Serdar Charyyev, Shuai Leng, Tim Yoon, Jun Zhou, Xiaofeng Yang, Liyong Lin

Proceedings of the Medical Imaging 2022: Image-Guided Procedures, 2022

Distributed Control of Timed Networked System against Communication Delays.

Yuting Zhu, Liyong Lin, Ruochen Tai, Rong Su

Proceedings of the 17th IEEE International Conference on Control & Automation, 2022

2021

A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory.

Liyong Lin, Rong Su

CoRR, 2021

Synthesis of Maximally Permissive Covert Attackers Against Unknown Supervisors by Using Observations.

Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su

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

CoRR, 2021

Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels.

Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su

CoRR, 2021

Synthesis of covert actuator and sensor attackers.

Liyong Lin, Rong Su

Autom., 2021

Heuristic Synthesis of Covert Attackers Against Unknown Supervisors.

Liyong Lin, Ruochen Tai, Yuting Zhu, Rong Su

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Synthesis of covert actuator attackers for free.

Liyong Lin, Yuting Zhu, Rong Su

Discret. Event Dyn. Syst., 2020

Liver synthetic CT generation based on a dense-CycleGAN for MRI-only treatment planning.

Yingzi Liu, Yang Lei, Tonghe Wang, Jun Zhou, Liyong Lin, Tian Liu, Pretesh Patel, Walter J. Curran, Lei Ren, Xiaofeng Yang

Proceedings of the Medical Imaging 2020: Image Processing, 2020

Supervisor Synthesis for Networked Discrete Event Systems with Delays against Non-FIFO Communication Channels.

Yuting Zhu, Liyong Lin, Ruochen Tai, Rong Su

Proceedings of the 16th International Conference on Control, 2020

A Topological Approach for Computing Supremal Sublanguages.

Liyong Lin, Yuting Zhu, Rong Su

Proceedings of the 16th International Conference on Control, 2020

2019

Model Checking in Isomorphic Module Systems.

Weilin Wang, Rong Su, Liyong Lin, Chaohui Gong

IEEE Trans. Autom. Control., 2019

Automatic Generation of Optimal Reductions of Distributions.

Liyong Lin, Tomás Masopust, Walter Murray Wonham, Rong Su

IEEE Trans. Autom. Control., 2019

Synthesis of Actuator Attackers for Free.

Liyong Lin, Yuting Zhu, Rong Su

CoRR, 2019

Towards Bounded Synthesis of Resilient Supervisors Against Actuator Attacks.

Liyong Lin, Yuting Zhu, Rong Su

CoRR, 2019

Synchronous Composition of Finite Interval Automata.

Liyong Lin, Rong Su, Bertil A. Brandin, Simon Ware, Yuting Zhu, Yajuan Sun

Proceedings of the 15th IEEE International Conference on Control and Automation, 2019

Supervisor Obfuscation Against Actuator Enablement Attack.

Yuting Zhu, Liyong Lin, Rong Su

Proceedings of the 17th European Control Conference, 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

Proceedings of the 17th European Control Conference, 2019

Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels.

Yuting Zhu, Liyong Lin, Simon Ware, Rong Su

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Towards Bounded Synthesis of Resilient Supervisors.

Liyong Lin, Yuting Zhu, Rong Su

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors.

Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers

Proceedings of the 2019 American Control Conference, 2019

2018

Timed Discrete-Event Systems are Synchronous Product Structures.

Liyong Lin, W. M. Wonham, Rong Su

CoRR, 2018

Synthesis of Successful Actuator Attackers on Supervisors.

Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers

CoRR, 2018

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates.

Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su, Walter Murray Wonham

Autom., 2018

State-Based Control of Discrete-Event Systems Under Partial Observation.

Deguang Wang, Liyong Lin, Zhiwu Li, Walter Murray Wonham

IEEE Access, 2018

2017

Reduction of Distributions: Definitions, Properties, and Applications.

Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham

IEEE Trans. Autom. Control., 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 and its applications.

Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham

Proceedings of the 2017 American Control Conference, 2017

2016

On Distributed and Parameterized Supervisor Synthesis Problems.

Liyong Lin, Alin Stefanescu, Rong Su

IEEE Trans. Autom. Control., 2016

Timed Supervisory Control for Operational Planning and Scheduling under Multiple Job Deadlines.

Ahmad Reza Shehabinia, Liyong Lin, Rong Su

CoRR, 2016

2014

Supervisory Control for a Class of Discrete Event Systems for Optimal Throughput.

Ahmad Reza Shehabinia, Liyong Lin, Rong Su, Chin Soon Chong

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Discrete-event based vehicle dispatching and scheduling in multicommodity transportations.

Sana Sami, Liyong Lin, Ahmad Reza Shehabinia, Rong Su, Chin Soon Chong, Su Min Jeon

Proceedings of the 13th International Conference on Control Automation Robotics & Vision, 2014

Model based task programming for secure multimodal human-robot interaction.

Liyong Lin, Rong Su, Hendra Suratno, Gerald Lee Gim Seet

Proceedings of the 13th International Conference on Control Automation Robotics & Vision, 2014

Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines.

Liyong Lin, Ahmad Reza Shehabinia, Rong Su, Bertil A. Brandin

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems.

Liyong Lin, Alin Stefanescu, Rong Su, Weilin Wang, Ahmad Reza Shehabinia

Proceedings of the American Control Conference, 2014

2013

Synthesis of control protocols for multi-agent systems with similar actions.

Rong Su, Liyong Lin

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

On analysis of deadlock and blocking freeness in isomorphic module systems.

Weilin Wang, Rong Su, Liyong Lin

Proceedings of the American Control Conference, 2013

2012

Remarks on the difficulty of top-down supervisor synthesis.

Liyong Lin, Rong Su, Alin Stefanescu

Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012