Kousei Sakata

Hitachi (Japan), University of Electro-Communications

Papers

Total Citations

H-Index

About

Kousei Sakata is a dedicated researcher in the field of industrial control system (ICS) security, with a primary focus on ensuring safe operation under cyberattacks. His work centers on developing and verifying fallback control systems, particularly resilient third-party monitoring systems that utilize Programmable Logic Controllers (PLCs). Sakata’s major contributions include the formal model verification of these fallback mechanisms using the UPPAAL tool, demonstrating how critical infrastructure can maintain safety even when primary controls are compromised. His most cited paper, "Model verification of fallback control system under cyberattacks via UPPAAL" (2022, 11 citations), establishes a foundational approach for verifying system resilience, while his subsequent work (4 citations) further refines these methods. Though early in his career, Sakata’s research addresses a pressing real-world challenge—securing ICS against increasingly sophisticated threats—making his contributions valuable for both academics and practitioners in cyber-physical systems. His work exemplifies the intersection of formal verification and practical safety engineering, offering a pathway toward more robust and trustworthy industrial automation.