Liyong Lin

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Synthesis of distributed covert sensor-actuator attackers	2025-01-21	Paper
Supervisory control of time-interval discrete event systems	2024-08-16	Paper
On decidability of existence of fortified supervisors against covert actuator attackers	2024-07-21	Paper
Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations	2023-10-02	Paper
Synthesis of optimal covert sensor-actuator attackers for discrete-event systems	2023-06-30	Paper
Overview of networked supervisory control with imperfect communication channels	2023-06-26	Paper
Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder	2023-06-22	Paper
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors	2022-10-12	Paper
Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis	2022-07-05	Paper
A new modeling framework for networked discrete-event systems	2022-04-08	Paper
Synthesis of covert actuator and sensor attackers	2021-11-19	Paper
Synthesis of covert actuator attackers for free	2021-01-22	Paper
Model Checking in Isomorphic Module Systems	2019-03-28	Paper
Automatic Generation of Optimal Reductions of Distributions	2019-03-28	Paper
Reduction of Distributions: Definitions, Properties, and Applications	2018-06-27	Paper
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates	2018-01-23	Paper
On Distributed and Parameterized Supervisor Synthesis Problems	2017-05-03	Paper

Research outcomes over time

This page was built for person: Liyong Lin