Szukana fraza: [Abstract = "Interval arithmetic techniques such as VALENCIA\-IVP allow calculating guaranteed enclosures of all reachable states of continuous\-time dynamical systems with bounded uncertainties of both initial conditions and system parameters. Considering the fact that, in naive implementations of interval algorithms, overestimation might lead to unnecessarily conservative results, suitable consistency tests are essential to obtain the tightest possible enclosures."]

Wyników: 1