activity
20202023
most citedInterpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network

3 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

eess.SY2023

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…