1. Optimal worst case estimation for LPV-FIR models with bounded erros;Belforte;Systems and Control Letters,2004
2. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models;Berz;Reliable Computing,1998
3. Contractor programming;Chabert;Artifical Intelligence,2009
4. R.T.N. Chen. Input design for aircraft parameter identification: using time optimal control formulation, AGARD-CP-172 paper 13, 1975.
5. G. Corliss. Guaranteed error bounds for ordinary differential equations, Lectures notes presented at the VI-th SERC Numerical Analysis Summer School, 1994.