On decidability of existence of fortified supervisors against covert actuator attackers
From MaRDI portal
Publication:6575894
DOI10.1109/TAC.2023.3329341zbMATH Open1546.68008MaRDI QIDQ6575894FDOQ6575894
Authors: Ruochen Tai, Liyong Lin, Rong Su 
Publication date: 21 July 2024
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
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)
