Guaranteed Model-Based Fault Detection in Cyber-Physical Systems: A Model Invalidation Approach

Farshad Harirchi, Necmiye Ozay

This paper presents a sound and complete fault detection approach for cyber-physical systems represented by hidden-mode switched affine models with time varying parametric uncertai…