On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers.

Ruochen Tai Liyong Lin Rong Su

Published in: IEEE Trans. Autom. Control. (2024)

Keyphrases

description logics
information flow
control system
malicious attacks
query answering
complementarity problems
real time
working principle
data sets
databases
information systems
image sequences
closed loop
network analysis
decision procedures
type checking