@inproceedings(Andrade94,
 author       = {M. V. A. Andrade and J. L. D. Comba and J. Stolfi},
 year         = {1994},
 title        = {Affine Arithmetic},
 booktitle    = {Interval'94},
 address      = {St Petersburg},
)
@article(Asarin07,
 author       = {E. Asarin and T. Dang and A. Girard},
 year         = {2007},
 title        = {Hybridization methods for the analysis of non-linear systems},
 journal      = {Acta Informatica},
 volume       = {7},
 number       = {43},
 pages        = {451--476},
 doi          = {10.1007/s00236-006-0035-7},
)
@article(Chabert09,
 author       = {G. Chabert and L. Jaulin},
 year         = {2009},
 title        = {{A Priori Error Analysis with Intervals}},
 journal      = {SIAM Journal on Scientific Computing},
 volume       = {31},
 number       = {3},
 pages        = {2214--2230},
 doi          = {10.1137/070696982},
)
@inproceedings(chapoutot_rk,
 author       = {A. Chapoutot and J. Alexandre Dit Sandretto and O. Mullier},
 year         = {2015},
 title        = {Validated {Explicit} and {Implicit} {Runge}-{Kutta} {Methods}},
 booktitle    = {Summer Workshop on Interval Methods},
)
@inproceedings(Combastel05,
 author       = {C. Combastel},
 year         = {2005},
 title        = {A State Bounding Observer for Uncertain Non-linear Continuous-time Systems based on Zonotopes},
 booktitle    = {CDC-ECC '05},
 doi          = {10.1109/CDC.2005.1583327},
)
@book(fantoni:02,
 author       = {I. Fantoni and R. Lozano},
 year         = {2001},
 title        = {Non-linear control for underactuated mechanical systems},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4471-0177-2},
)
@article(Frehse:08,
 author       = {G. Frehse},
 year         = {2008},
 title        = {PHAVer: Algorithmic Verification of Hybrid Systems},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {10},
 number       = {3},
 pages        = {23--48},
 doi          = {10.1007/978-3-540-31954-2\_17},
)
@book(Hansen,
 author       = {E. R. Hansen},
 year         = {1992},
 title        = {Global Optimization using Interval Analysis},
 publisher    = {Marcel Dekker},
 address      = {New York, NY},
)
@article(JaulinBurger99,
 author       = {L. Jaulin and J. Burger},
 year         = {1999},
 title        = {Proving stability of uncertain parametric models},
 journal      = {Automatica},
 pages        = {627--632},
 doi          = {10.1016/S0005-1098(98)00201-5},
)
@book(JaulinBook01,
 author       = {L. Jaulin and M. Kieffer and O. Didrit and E. Walter},
 year         = {2001},
 title        = {Applied {I}nterval {A}nalysis, with {E}xamples in {P}arameter and {S}tate {E}stimation, {R}obust {C}ontrol and {R}obotics},
 publisher    = {Springer-Verlag},
 address      = {London},
 doi          = {10.1007/978-1-4471-0249-6},
)
@article(jaulinsliding,
 author       = {Luc Jaulin and Fabrice Bars},
 year         = {2020},
 title        = {Characterizing Sliding Surfaces of Cyber-Physical Systems},
 journal      = {Acta Cybernetica},
 volume       = {24},
 pages        = {431--448},
 doi          = {10.14232/actacyb.24.3.2020.9},
)
@book(Kearfott96,
 editor       = {R. B. Kearfott and V. Kreinovich},
 year         = {1996},
 title        = {Applications of Interval Computations},
 publisher    = {Kluwer},
 address      = {Dordrecht, the Netherlands},
 doi          = {10.1007/978-1-4613-3440-8},
)
@article(Lhommeau:Viability:Incinco07,
 author       = {M. Lhommeau and L Jaulin and L. Hardouin},
 year         = {2007},
 title        = {Inner and outer approximation of capture basins using interval analysis},
 journal      = {ICINCO 2007},
)
@incollection(Lohner87,
 author       = {R. Lohner},
 year         = {1987},
 title        = {Enclosing the solutions of ordinary initial and boundary value problems},
 editor       = {E. Kaucher and U. Kulisch and Ch. Ullrich},
 booktitle    = {Computer Arithmetic: Scientific Computation and Programming Languages},
 publisher    = {BG Teubner},
 address      = {Stuttgart, Germany},
 pages        = {255--286},
)
@inproceedings(lemezomaze19,
 author       = {T. Le M\'ezo and L. Jaulin and B. Zerr},
 year         = {2019},
 title        = {Bracketing backward reach sets of a dynamical system},
 booktitle    = {International Journal of Control},
 doi          = {10.1080/00207179.2019.1643910},
)
@book(Moore66,
 author       = {R. E. Moore},
 year         = {1966},
 title        = {Interval Analysis},
 publisher    = {Prentice-Hall},
 address      = {Englewood Cliffs, NJ},
)
@book(Moore79,
 author       = {R. E. Moore},
 year         = {1979},
 title        = {Methods and {A}pplications of {I}nterval {A}nalysis},
 publisher    = {SIAM},
 address      = {Philadelphia, PA},
 doi          = {10.1137/1.9781611970906},
)
@book(moore2009introduction,
 author       = {Ramon E Moore and R Baker Kearfott and Michael J Cloud},
 year         = {2009},
 title        = {Introduction to interval analysis},
 publisher    = {SIAM},
 doi          = {10.1137/1.9780898717716},
)
@book(Neumaier90,
 author       = {A. Neumaier},
 year         = {1991},
 title        = {Interval Methods for Systems of Equations},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, UK},
 doi          = {10.1017/CBO9780511526473},
)
@article(Ramdani:Nedialkov11,
 author       = {N. Ramdani and N. Nedialkov},
 year         = {2011},
 title        = {{Computing Reachable Sets for Uncertain Nonlinear Hybrid Systems using Interval Constraint Propagation Techniques}},
 journal      = {Nonlinear Analysis: Hybrid Systems},
 volume       = {5},
 number       = {2},
 pages        = {149--162},
 doi          = {10.1016/j.nahs.2010.05.010},
)
@article(ratschan_stab,
 author       = {S. Ratschan and Z. She},
 year         = {2010},
 title        = {Providing a {Basin} of {Attraction} to a {Target} {Region} of {Polynomial} {Systems} by {Computation} of {Lyapunov}-{Like} {Functions}},
 journal      = {SIAM Journal on Control and Optimization},
 volume       = {48},
 number       = {7},
 pages        = {4377--4394},
 doi          = {10.1137/090749955},
)
@article(Revol05,
 author       = {N. Revol and K. Makino and M. Berz},
 year         = {2005},
 title        = {Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in {COSY}},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {64},
 pages        = {135--154},
 doi          = {10.1016/j.jlap.2004.07.008},
)
@article(Rohn:stab:mat:96,
 author       = {J. Rohn},
 year         = {1996},
 title        = {An algorithm for checking stability of symmetric interval matrices},
 journal      = {IEEE Trans. Autom. Control},
 volume       = {41},
 number       = {1},
 pages        = {133--136},
 doi          = {10.1109/9.481618},
)
@book(robloc,
 author       = {S. Rohou and L. Jaulin and L. Mihaylova and {Le Bars}, F. and S. Veres},
 year         = {2019},
 title        = {Reliable robot localization},
 publisher    = {ISTE Group},
 doi          = {10.1002/9781119680970},
)
@incollection(Rump00,
 author       = {S. M. Rump},
 year         = {2001},
 title        = {{INTLAB} - {INTerval} {LABoratory}},
 editor       = {J. Grabmeier and E. Kaltofen and V. Weispfennig},
 booktitle    = {Handbook of Computer Algebra: Foundations, Applications, Systems},
 publisher    = {Springer-Verlag},
 address      = {Heidelberg, Germany},
)
@inproceedings(SaintPierre02,
 author       = {Saint-Pierre, P.},
 year         = {2002},
 title        = {Hybrid kernels and capture basins for impulse constrained systems},
 editor       = {C.J. Tomlin and M.R. Greenstreet},
 booktitle    = {in Hybrid Systems: Computation and Control},
 volume       = {2289},
 publisher    = {Springer-Verlag},
 pages        = {378--392},
 doi          = {10.1007/3-540-45873-5\_30},
)
@book(slotine91,
 author       = {J.J. Slotine and W. Li},
 year         = {1991},
 title        = {Applied nonlinear control},
 publisher    = {Prentice Hall},
 address      = {Englewood Cliffs (N.J.)},
 url          = {http://opac.inria.fr/record=b1132812},
)
@inproceedings(taha:15:acumen,
 author       = {W. Taha and A. Duracz},
 title        = {Acumen: An Open-source Testbed for Cyber-Physical Systems Research},
 booktitle    = {CYCLONE'15},
 doi          = {10.1007/978-3-319-47063-4\_11},
)
@phdthesis(JianWan07,
 author       = {Jian Wan},
 year         = {2007},
 title        = {Computationally reliable approaches of contractive model predictive control for discrete-time systems},
 type         = {{PhD} dissertation},
 school       = {Universitat de Girona},
 address      = {Girona, Spain},
)
@article(wilczak2011,
 author       = {D. Wilczak and P. Zgliczynski},
 year         = {2011},
 title        = {{C}r-{L}ohner algorithm},
 journal      = {Schedae Informaticae},
 volume       = {20},
 pages        = {9--46},
 doi          = {10.4467/20838476SI.11.001.0287},
)