Safety monitoring under stealthy sensor injection attacks using reachable sets

Overview

The method detects stealthy sensor-injection attacks by monitoring whether control inputs leave an ellipsoidal reachable-set bound. Convex optimization and simulation support a control-safety monitoring technique potentially transferable to automotive systems.