13 citations · 31 across the 18 of their papers we have counts for
17 papers · 1 filter
On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers
Ruochen Tai, Liyong Lin, Rong Su
This work investigates the problem of synthesizing fortified supervisors against covert actuator attackers. For a non-resilient supervisor S, i.e., there exists at least a covert a…
Supervisor Obfuscation Against Covert Actuator Attackers
Ruochen Tai, Liyong Lin, Rong Su
This work investigates the problem of synthesizing obfuscated supervisors against covert actuator attackers. For a non-resilient supervisor S, for which there exist some covert act…
Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations
Ruochen Tai, Liyong Lin, Yuting Zhu +1
In this paper, we consider the problem of synthesizing the supremal covert damage-reachable attacker, in the setup where the model of the supervisor is unknown to the adversary but…
Identification of System Vulnerability under a Smart Sensor Attack via Attack Model Reduction
Ruochen Tai, Liyong Lin, Rong Su
In this work, we investigate how to make use of model reduction techniques to identify the vulnerability of a closed-loop system, consisting of a plant and a supervisor, that might…
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…
Overview of Networked Supervisory Control with Imperfect Communication Channels
Yuting Zhu, Liyong Lin, Ruochen Tai +1
This paper presents an overview of the networked supervisory control framework for discrete event systems with imperfect communication networks, which can be divided into the centr…
Synthesis of Covert Actuator Attackers for Free
Liyong Lin, Yuting Zhu, Rong Su
In this paper, we shall formulate and address a problem of covert actuator attacker synthesis for cyber-physical systems that are modelled by discrete-event systems. We assume the…
Bounded Synthesis of Resilient Supervisors
Liyong Lin, Rong Su
In this paper, we investigate the problem of synthesizing resilient supervisors against combined actuator and sensor attacks, for the subclass of cyber-physical systems that can be…
Supervisor Obfuscation Against Actuator Enablement Attack
Yuting Zhu, Liyong Lin, Rong Su
In this paper, we propose and address the problem of supervisor obfuscation against actuator enablement attack, in a common setting where the actuator attacker can eavesdrop the co…
Synthesis of Successful Actuator Attackers on Supervisors
Liyong Lin, Sander Thuijsman, Yuting Zhu +3
In this work, we propose and develop a new discrete-event based actuator attack model on the closed-loop system formed by the plant and the supervisor. We assume the actuator attac…
Automatic Generation of Optimal Reductions of Distributions
Liyong Lin, Tomáš Masopust, W. Murray Wonham +1
A reduction of a source distribution is a collection of smaller sized distributions that are collectively equivalent to the source distribution with respect to the property of deco…
Timed Supervisory Control for Operational Planning and Scheduling under Multiple Job Deadlines
Ahmad Reza Shehabinia, Liyong Lin, Rong Su
In this paper, we model an operational planning and scheduling problem under multiple job deadlines in a time-weighted automaton framework. We first present a method to determine w…