1. Robustness analysis of flatness based tracking controllers using interval methods;Antritter;Int. J. Control,2007
2. Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP;Auer,2008
3. Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models;Berz;Reliable Computing,1998
4. Robust control of flat nonlinear systems;Cazaurang,2000
5. Nonlinear bounded-error state estimation of continuous-time systems;Jaulin;Automatica,2002