3 citations · 5 across the 5 of their papers we have counts for
5 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…
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…