... CONCLUSIONS AND OUTLOOK ON FUTURE RESEARCH In this paper, VALENCIA-IVP has been introduced as a novel approach for validation of state enclosures for initial value problems with both uncertain initial ... are analysis and designof robust, optimal, and adaptive controllers. For nonlinear systems, robustness analysis with respectto uncertain initial states and parameters can be performed by calculating ... “PROFIL/BIAS A Fast Interval Library,” Computing, vol. 53, pp. 277–287, 1994.[22] C. Bendsten and O. Stauning, “FADBAD, a Flexible C++ Package for Automatic Differentiation Using the Forward and BackwardMethods,”...