On decidability of existence of fortified supervisors against covert actuator attackers

DOI10.1109/TAC.2023.3329341MaRDI QIDQ6575894zbMATH OpenFDO

Authors Ruochen Tai, Liyong Lin, Rong Su

Publication date 21 July 2024

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Computer security (68M25)

This page was built for publication: On decidability of existence of fortified supervisors against covert actuator attackers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6575894)