Karl Henrik Johansson

Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors

Set-based state estimation provides guaranteed state inclusion certificates that are crucial for the safety verification of dynamical systems. However, when system sensors are subject to cyberattacks, maintaining both safety and security guarantees becomes a fundamental challenge...