Model falsification using SVOs for a class of discrete-time dynamic systems: A coprime factorization approach

This paper introduces a new method for model falsification using Set-Valued Observers (SVOs), which can be applied to a class of discrete Linear Time-Invariant (LTI) dynamic systems with time-varying model uncertainties. In comparison with previous studies, the main advantages of this approach are as follows: the computation of the convex hull of the set-valued estimate of the state can be avoided under certain circumstances; in order to guarantee convergence of the set-valued estimate of the state, the required number of previous set-valued estimates is at most as large as the number of states of the nominal plant; it provides a straightforward non-conservative method to falsify uncertain models of dynamic systems, including open-loop unstable plants. The results obtained are illustrated in simulation.