1. A petri net diagnoser for discrete event systems modeled by finite state automata;Cabral;IEEE Transactions on Automatic Control,2015
2. Detection and prevention of actuator enable-ment attacks in supervisory control systems. In 2016 13th International Workshop on Discrete Event Systems (WODES), 298–305;Carvalho,2016
3. Introduction to discrete event systems;Cassandras,2008
4. Computer networks and internets;Comer,2009
5. Secure estimation and control for cyber-physical systems under adversarial attacks;Fawzi;IEEE Transactions on Automatic Control,2014