Search

This article introduces the notion of absolutely distinguishable discrete‐time dynamic systems, with particular applicability to linear time‐invariant and linear parameter‐varying systems. The motivation for this novel type of distinguishability stems, in particular, from the stability and performance requirements of worst‐case adaptive control methodologies. The main results presented herein show that, in most practical cases, a persistence of excitation type of condition and a minimum number of iterations are required to properly distinguish two dynamic systems. We also demonstrate that the former constraint can be written as a lower bound on the intensity of the exogenous disturbances. The applicability of the developed theory is illustrated with a set of examples. [ABSTRACT FROM AUTHOR]

SUMMARY This article introduces a new method for model falsification using set-valued observers, which can be applied to a class of discrete linear time-invariant dynamic systems with time-varying model uncertainties. In comparison with previous results, the main advantages of this approach are as follows: The computation of the convex hull of the set-valued estimates of the state can be avoided under certain circumstances; to guarantee convergence of the set-valued estimates of the state, the required number of previous steps is at most as large as the number of states of the nominal plant; and it provides a straightforward nonconservative method to falsify uncertain models of dynamic systems, including open-loop unstable plants. The results obtained are illustrated in simulation, emphasizing the advantages and shortcomings of the suggested method. Copyright © 2013 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR]