Sign in
On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers.
Ruochen Tai
Liyong Lin
Rong Su
Published in:
CoRR (2023)
Keyphrases
</>
control system
description logics
query answering
closed loop
malicious attacks
information flow
real time
decision trees
mobile robot
complementarity problems
working principle