3 citations · 5 across the 7 of their papers we have counts for
7 papers
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…
Distributed Observers-based Cooperative Platooning Tracking Control and Intermittent Optimization for Connected Automated Vehicles with Unknown Jerk Dynamics
Bohui Wang, Rong Su, Yun Lu +3
The unknown sharp changes of vehicle acceleration rates, also called the unknown jerk dynamics, may significantly affect the driving performance of the leader vehicle in a platoon,…
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…
Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network
Gang Chen, Yu Lu, Rong Su +1
Machine learning-based methods have achieved successful applications in machinery fault diagnosis. However, the main limitation that exists for these methods is that they operate a…
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…