Liyong Lin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

Research outcomes over time

This page was built for person: Liyong Lin