Application of modal intervals to the generation of error-bounded envelopes (Q5935460)

An interval model can express the imprecision and the uncertainty associated to the modeling of a system. The result of the simulation of one of these models can be represented in the form of envelope trajectories. These envelopes can be characterized by several properties such as completeness or soundness, which lead to the concepts of overbounded and underbounded envelopes. The simulation of such interval models can be performed by several means including qualitative, semiqualitative and quantitative methods. A brief description of the different types of simulators is presented and their respective properties are outlined and compared in relation to model-based fault detection. Whereas the existing simulators do not provide any information about the ''error'' with respect to the exact envelope, a method to obtain error-bounded envelopes is proposed. It is based on the simultaneous computation of an underbounded and an overbounded envelope by modal interval analysis. A way of controlling the error of the envelopes and adjusting it to a desired specified value is presented.