Model verification of fallback control system under cyberattacks via UPPAAL-Reference-Cited by-同舟云学术

Model verification of fallback control system under cyberattacks via UPPAAL

Published:2022-11-28 Issue:3 Volume:37 Page:156-168
ISSN:0169-1864
Container-title:Advanced Robotics
language:en
Short-container-title:Advanced Robotics

Author:

Sakata Kousei¹,Fujita Shintaro²,Sawada Kenji²,Iwasawa Hiroshi¹,Endoh Hiromichi¹,Matsumoto Noritaka¹

Affiliation:

1. Hitachi Ltd. Research & Development Group, Ibaraki, Japan

2. The Department of Mechanical Engineering and Intelligent System, The University of Electro-Communications, Tokyo, Japan

Publisher

Informa UK Limited

Subject

Computer Science Applications,Hardware and Architecture,Human-Computer Interaction,Software,Control and Systems Engineering

Link

https://www.tandfonline.com/doi/pdf/10.1080/01691864.2022.2134737

Reference24 articles.

1. The Middle East under Malware Attack Dissecting Cyber Weapons

2. The 2015 Ukraine Blackout: Implications for False Data Injection Attacks

3. DRAGOS INC. CRASHOVERRIDE, Analysis of the Threat to Electric Grid Operations: Available from https://dragos.com/blog/crashoverride/CrashOverride-01.pdf.

4. William T, Michael R,Jennifer J, etal. Colonial Pipeline Paid Hackers Nearly 5 Million in Ransom; 2021. Available from https://www.bloomberg.com/news/articles/2021-05-13/colonial-pipeline-paid-hackers-nearly-5-million-in-ransom.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synthesis of resilient fallback control system under cyber-attacks via supervisory control;Advanced Robotics;2024-04-25

2. Implementation of Switching Fallback Control to Expand Availability under Cyber-attacks;2024 IEEE International Conference on Consumer Electronics (ICCE);2024-01-06

3. Control System Design and Operation for Cyber Attacks;Journal of the Robotics Society of Japan;2024

4. Formal Modeling on Improvements of Route Discovery Algorithm for AODV Using UPPAAL;2023 6th International Seminar on Research of Information Technology and Intelligent Systems (ISRITI);2023-12-11