Dynamic Attack Detection in Cyber-Physical Systems With Side Initial State Information
a survey of design methods for failure detection in dynamic systems .