摘要：AbstractThis paper proposes a new method for the diagnosis of dynamical systems based on input and output measurement data. The basis of this verification procedure is a system specification in which the system behaviour is defined in terms of its dynamic parameters. The method uses the notation of Kaucher interval arithmetic to handle inevitable measurement noise. Known sensor properties are used to set up the interval inclusion of distorted measurement that is guaranteed to include the true value. The introduced method can be extended to handle unsharp requirements, e.g. due to limited knowledge or wide tolerances. These can be modelled directly in the specification using the proposed interval notation. The Kaucher interval arithmetic calculation and noise handling lead to mathematically guaranteed results which represents a new quality of the verdicts compared to existing methods in the literature.
