Detection and mitigation of classes of attacks in supervisory control systems
作者： Lilian Kawakami Carvalho , Yi-Chin Wu , Raymond Kwong , Stéphane Lafortune
DOI: 10.1016/J.AUTOMATICA.2018.07.017
关键词:
摘要: The deployment of control systems with network-connected components has made feedback control systems vulnerable to attacks over the network. This paper considers the problem of intrusion detection and mitigation in supervisory control systems, where the attacker has the ability to enable or disable vulnerable actuator commands and erase or insert vulnerable sensor readings. We present a mathematical model for the system under certain classes of actuator enablement attacks, sensor erasure attacks, or sensor insertion attacks. We then …
unirioja.es
harvard.edu
elsevier.com
sci-hub.se 参考文章(26)
W. Murray Wonham, Kai Cai, Supervisory Control of Discrete-Event Systems ,(2018)
Thomas Moor, Fault-Tolerant Supervisory Control IFAC-PapersOnLine. ,vol. 48, pp. 124- 131 ,(2015) , 10.1016/J.IFACOL.2015.06.483
Chirag Modi, Dhiren Patel, Bhavesh Borisaniya, Hiren Patel, Avi Patel, Muttukrishnan Rajarajan, A survey of intrusion detection techniques in Cloud Journal of Network and Computer Applications. ,vol. 36, pp. 42- 57 ,(2013) , 10.1016/J.JNCA.2012.05.003
Stephane Lafortune, Christos G. Cassandras, Introduction to Discrete Event Systems ,(1999)
Andrea Paoli, Matteo Sartini, Stéphane Lafortune, Active fault tolerant control of discrete event systems using online diagnostics Automatica. ,vol. 47, pp. 639- 649 ,(2011) , 10.1016/J.AUTOMATICA.2011.01.007
Marcos Vinícius S. Alves, João Carlos Basilio, Antonio Eduardo C. da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira, Robust Supervisory Control Against Intermittent Loss of Observations IFAC Proceedings Volumes. ,vol. 47, pp. 294- 299 ,(2014) , 10.3182/20140514-3-FR-4046.00092
Ayan Banerjee, Krishna K. Venkatasubramanian, Tridib Mukherjee, Sandeep Kumar S. Gupta, Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems Proceedings of the IEEE. ,vol. 100, pp. 283- 299 ,(2012) , 10.1109/JPROC.2011.2165689
Lilian K Carvalho, João C Basilio, Marcos V Moreira, None, Robust diagnosis of discrete event systems against intermittent loss of observations Automatica. ,vol. 48, pp. 2068- 2078 ,(2012) , 10.1016/J.AUTOMATICA.2012.06.042
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D. Teneketzis, Diagnosability of discrete-event systems IEEE Transactions on Automatic Control. ,vol. 40, pp. 1555- 1575 ,(1995) , 10.1109/9.412626
Anas Nooruldeen, Klaus Werner Schmidt, State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems IEEE Transactions on Automatic Control. ,vol. 60, pp. 1630- 1634 ,(2015) , 10.1109/TAC.2014.2358811