Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection**This work is supported in part by DARPA grant N66001-14-1-4045

In this paper, the model (in)validation problem is addressed for the class of switched state space models. We pose the model invalidation problem as a mixed-integer linear program and solve it using the state-of-the-art MILP solvers. Model invalidation is mainly utilized to build trust in the models obtained from system identification. However, we turn our attention to solve another important class of problems using model invalidation approach proposed in this paper. It is shown that the model invalidation approach can be utilized to detect any general fault in cyber-physical systems. Moreover, it is illustrated that knowing the fault model can reduce the complexity of fault detection approach proposed here, if the fault and system model satisfy certain conditions.