13 citations · 31 across the 18 of their papers we have counts for
7 papers · 1 filter
A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory
Liyong Lin, Rong Su
In this paper, we shall present a topological approach for the computation of some supremal sublanguages, often specified by language equations, which arise from the study of the s…
Synthesis of Maximally Permissive Covert Attackers Against Unknown Supervisors by Using Observations
Ruochen Tai, Liyong Lin, Yuting Zhu +1
In this paper, we consider the problem of synthesis of maximally permissive covert damage-reachable attackers in the setup where the model of the supervisor is unknown to the adver…
Privacy-Preserving Co-synthesis Against Sensor-Actuator Eavesdropping Intruder
Ruochen Tai, Liyong Lin, Yuting Zhu +1
In this work, we investigate the problem of privacy-preserving supervisory control against an external passive intruder via co-synthesis of dynamic mask, edit function, and supervi…
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 +1
This paper investigates the problem of co-synthesis of edit function and supervisor for opacity enforcement in the supervisory control of discrete-event systems (DES), assuming the…
Networked Supervisor Synthesis Against Lossy Channels with Bounded Network Delays as Non-Networked Synthesis
Liyong Lin, Yuting Zhu, Ruochen Tai +2
In this work, we study the problem of supervisory control of networked discrete event systems. We consider lossy communication channels with bounded network delays, for both the co…
Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels
Ruochen Tai, Liyong Lin, Yuting Zhu +1
In this paper, we investigate the covert sensor attack synthesis problem in the framework of supervisory control of networked discrete-event systems (DES), where the observation ch…
Observation-Assisted Heuristic Synthesis of Covert Attackers Against Unknown Supervisors
Liyong Lin, Ruochen Tai, Yuting Zhu +1
In this work, we address the problem of synthesis of covert attackers in the setup where the model of the plant is available, but the model of the supervisor is unknown, to the adv…