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