TY - RPRT TI - Guaranteed Model-Based Fault Detection in Cyber-Physical Systems: A Model Invalidation Approach AU - Farshad Harirchi AU - Necmiye Ozay PY - 2017 UR - https://arxiv.org/abs/1609.05921 ID - 1609.05921 ER -