Synthesis of resilient third-party monitoring system against cyberattacks via supervisory control

被引:3
作者
Sakata, Kousei [1 ]
Fujita, Shintaro [1 ]
Sawada, Kenji [1 ]
机构
[1] Univ Electrocommun, Tokyo, Japan
来源
2021 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE) | 2021年
关键词
ICS; Control System Security; Third-party monitoring system; Fallback Control; Timed Discrete Event System; FALLBACK CONTROL;
D O I
10.1109/ICCE50685.2021.9427669
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
To allow safe operation of an industrial control system under cyberattacks, we have developed a resilient third-party monitoring system that focuses on the attack resistance of its own detection function and the continuous operation of field devices. This system is composed of programmable logic controllers (PLCs) for normal control and for fallback control. The normal PLC controls the field devices, and the fallback PLC takes over control after the normal PLC is attacked. This paper aims to model the system in terms of timed discrete event system and supervisory control theorem and realize the systematical fallback control design.
引用
收藏
页数:6
相关论文
共 11 条
[1]   SUPERVISORY CONTROL OF TIMED DISCRETE-EVENT SYSTEMS [J].
BRANDIN, BA ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (02) :329-342
[2]  
CRASHOVERRIDE, AN THREAT EL GRID OP
[3]  
Hata K, 2018, IEEE IND ELEC, P5963, DOI 10.1109/IECON.2018.8592923
[4]   The 2015 Ukraine Blackout: Implications for False Data Injection Attacks [J].
Liang, Gaoqi ;
Weller, Steven R. ;
Zhao, Junhua ;
Luo, Fengji ;
Dong, Zhao Yang .
IEEE TRANSACTIONS ON POWER SYSTEMS, 2017, 32 (04) :3317-3318
[5]  
Ramadge P. J., 1982, Proceedings of the 21st IEEE Conference on Decision & Control, P1228
[6]  
Sakata K., 2020, AROB 25, V2020, P182
[7]  
Sakata K, 2020, IEEE/SICE I S SYS IN, P1254, DOI [10.1109/SII46433.2020.9026265, 10.1109/sii46433.2020.9026265]
[8]  
Sasaki T., 2017, IFAC WORLD C 2017, P15812
[9]   Model Based Fallback Control for Networked Control System via Switched Lyapunov Function [J].
Sasaki, Tsubasa ;
Sawada, Kenji ;
Shin, Seiichi ;
Hosokawa, Shu .
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2017, E100A (10) :2086-2094
[10]   Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions [J].
Ushio, Toshimitsu ;
Takai, Shigemasa .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (03) :799-804