@inproceedings(Abbaszadeh2010,
 author       = {M.~Abbaszadeh and H.J. Marquez},
 year         = {2010},
 title        = {Nonlinear observer design for one-sided Lipschitz systems},
 booktitle    = {Proceedings of the American Control Conference (ACC)},
 publisher    = {IEEE},
 pages        = {799--806},
 doi          = {10.1109/ACC.2010.5530715},
)
@inproceedings(Althoff2013a,
 author       = {Matthias Althoff},
 year         = {2013},
 title        = {Reachability Analysis of Nonlinear Systems Using Conservative Polynomialization and Non-convex Sets},
 booktitle    = {Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control},
 series       = {HSCC '13},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {173--182},
 doi          = {10.1145/2461328.2461358},
)
@inproceedings(beccuti2005optimal,
 author       = {A~Giovanni Beccuti and Georgios Papafotiou and Manfred Morari},
 year         = {2005},
 title        = {Optimal control of the boost dc-dc converter},
 booktitle    = {Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC'05. 44th IEEE Conference on},
 organization = {IEEE},
 pages        = {4457--4462},
 doi          = {10.1109/CDC.2005.1582864},
)
@article(Beyn2010,
 author       = {W.-J. Beyn and J.~Rieger},
 year         = {1998},
 title        = {The implicit Euler scheme for one-sided Lipschitz differential inclusions},
 journal      = {Discr. and Cont. Dynamical Systems},
 volume       = {B},
 number       = {14},
 pages        = {409--428},
 doi          = {10.3934/dcdsb.2010.14.409},
)
@inproceedings(BCD13,
 author       = {Olivier Bouissou and Alexandre Chapoutot and Adel Djoudi},
 year         = {2013},
 title        = {Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods},
 booktitle    = {NASA Formal Methods},
 series       = {LNCS},
 volume       = {7871},
 publisher    = {Springer},
 pages        = {108--123},
 doi          = {10.1007/978-3-642-38088-4_8},
)
@inproceedings(BMC12,
 author       = {Olivier Bouissou and Samuel Mimram and Alexandre Chapoutot},
 year         = {2012},
 title        = {{HySon}: Set-Based Simulation of Hybrid Systems},
 booktitle    = {Rapid System Prototyping},
 publisher    = {IEEE},
 doi          = {10.1109/RSP.2012.6380694},
)
@article(Cai2015,
 author       = {Xiushan Cai and Zhenyun Wang and Leipo Liu},
 year         = {2015},
 title        = {Control Design for One-side Lipschitz Nonlinear Differential Inclusion Systems with Time-delay},
 journal      = {Neurocomput.},
 volume       = {165},
 number       = {C},
 pages        = {182--189},
 doi          = {10.1016/j.neucom.2015.03.008},
)
@inproceedings(CAS12,
 author       = {Xin Chen and Erika Abraham and Sriram Sankaranarayanan},
 year         = {2012},
 title        = {Taylor Model Flowpipe Construction for Non-linear Hybrid Systems},
 booktitle    = {IEEE 33rd Real-Time Systems Symposium},
 publisher    = {IEEE Computer Society},
 pages        = {183--192},
 doi          = {10.1109/RTSS.2012.70},
)
@inproceedings(chen2013flow,
 author       = {Xin Chen and Erika {\'A}brah{\'a}m and Sriram Sankaranarayanan},
 year         = {2013},
 title        = {Flow*: An analyzer for non-linear hybrid systems},
 booktitle    = {Computer Aided Verification},
 organization = {Springer},
 pages        = {258--263},
 doi          = {10.1007/978-3-642-39799-8_18},
)
@inproceedings(NL_minimator,
 author       = {A.~Le Co{\"e}nt and J.~Alexandre dit Sandretto and A.~Chapoutot and L.~Fribourg},
 year         = {2016},
 title        = {Control of nonlinear switched systems based on validated simulation},
 booktitle    = {2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)},
 pages        = {1--6},
 doi          = {10.1109/SNR.2016.7479377},
)
@inproceedings(ding2011reachability,
 author       = {Jerry Ding and Eugene Li and Haomiao Huang and Claire~J Tomlin},
 year         = {2011},
 title        = {Reachability-based synthesis of feedback policies for motion planning under bounded disturbances},
 booktitle    = {Robotics and Automation (ICRA), 2011 IEEE International Conference on},
 organization = {IEEE},
 pages        = {2160--2165},
 doi          = {10.1109/ICRA.2011.5980268},
)
@article(Donchev98,
 author       = {Tzanko Donchev and Elza Farkhi},
 year         = {1998},
 title        = {Stability and Euler Approximation of One-sided Lipschitz Differential Inclusions},
 journal      = {SIAM J. Control Optim.},
 volume       = {36},
 number       = {2},
 pages        = {780--796},
 doi          = {10.1137/S0363012995293694},
)
@article(fribourg2014finite,
 author       = {Laurent Fribourg and Ulrich K{\"u}hne and Romain Soulat},
 year         = {2014},
 title        = {Finite controlled invariants for sampled switched systems},
 journal      = {Formal Methods in System Design},
 volume       = {45},
 number       = {3},
 pages        = {303--329},
 doi          = {10.1007/s10703-014-0211-2},
)
@incollection(girard2005reachability,
 author       = {Antoine Girard},
 year         = {2005},
 title        = {Reachability of uncertain linear systems using zonotopes},
 booktitle    = {Hybrid Systems: Computation and Control},
 publisher    = {Springer},
 pages        = {291--305},
 doi          = {10.1007/978-3-540-31954-2_19},
)
@article(girard2010approximately,
 author       = {Antoine Girard and Giordano Pola and Paulo Tabuada},
 year         = {2010},
 title        = {Approximately bisimilar symbolic models for incrementally stable switched systems},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {55},
 number       = {1},
 pages        = {116--126},
 doi          = {10.1007/978-3-540-78929-1_15},
)
@inproceedings(hiskens2001stability,
 author       = {Ian~A Hiskens},
 year         = {2001},
 title        = {Stability of limit cycles in hybrid systems},
 booktitle    = {System Sciences, 2001. Proceedings of the 34th Annual Hawaii International Conference on},
 organization = {IEEE},
 doi          = {10.1109/HICSS.2001.926280},
)
@incollection(immler2015verified,
 author       = {Fabian Immler},
 year         = {2015},
 title        = {Verified reachability analysis of continuous systems},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 publisher    = {Springer},
 pages        = {37--51},
 doi          = {10.1007/978-3-662-46681-0_3},
)
@inproceedings(Lempio95,
 author       = {Frank Lempio},
 year         = {1995},
 title        = {Set-Valued Interpolation, Differential Inclusions, and Sensitivity in Optimization},
 booktitle    = {Recent Developments in Well-Posed Variational Problems},
 publisher    = {Kluwer Academic Publishers},
 pages        = {137--169},
 doi          = {10.1007/978-94-015-8472-2_6},
)
@article(liu2013synthesis,
 author       = {Jun Liu and Necmiye Ozay and Ufuk Topcu and Richard~M Murray},
 year         = {2013},
 title        = {Synthesis of reactive switching protocols from temporal logic specifications},
 journal      = {Automatic Control, IEEE Transactions on},
 volume       = {58},
 number       = {7},
 pages        = {1771--1785},
 doi          = {10.1109/TAC.2013.2246095},
)
@inproceedings(Makino2009,
 author       = {Kyoko Makino and Martin Berz},
 year         = {2009},
 title        = {Rigorous Integration of Flows and ODEs Using Taylor Models},
 booktitle    = {Proceedings of the 2009 Conference on Symbolic Numeric Computation},
 series       = {SNC '09},
 publisher    = {ACM},
 address      = {New York, USA},
 pages        = {79--84},
 doi          = {10.1145/1577190.1577206},
)
@phdthesis(meyer:tel-01232640,
 author       = {Pierre-Jean Meyer},
 year         = {2015},
 title        = {{Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings}},
 type         = {Th\`ese},
 school       = {{Universit{\'e} Grenoble Alpes}},
)
@book(Moore66,
 author       = {Ramon Moore},
 year         = {1966},
 title        = {Interval Analysis},
 publisher    = {Prentice Hall},
)
@article(Nedialkov,
 author       = {Nedialko~S. Nedialkov and K.~Jackson and Georges Corliss},
 year         = {1999},
 title        = {Validated solutions of initial value problems for ordinary differential equations},
 journal      = {Appl. Math. and Comp.},
 volume       = {105},
 number       = {1},
 pages        = {21 -- 68},
 doi          = {10.1016/S0096-3003(98)10083-8},
)
@techreport(report,
 author       = {J.~Alexandre~dit Sandretto and A.~Chapoutot},
 year         = {2015},
 title        = {{Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes}},
 type         = {Research Report},
 institution  = {{ENSTA ParisTech}},
)
@unpublished(dynibex,
 author       = {Alexandre~dit Sandretto, Julien and Alexandre Chapoutot},
 year         = {2015},
 title        = {DynIbex library},
 note         = {Http://perso.ensta-paristech.fr/~chapoutot/dynibex/},
)
@article(dit2016validated,
 author       = {Julien~Alexandre dit Sandretto and Alexandre Chapoutot},
 year         = {2016},
 title        = {Validated explicit and implicit runge-kutta methods},
 journal      = {Reliable Computing},
 volume       = {22},
 pages        = {79--103},
)
@book(AffineA97,
 author       = {J.~Stolfi and L.~H. de~Figueiredo},
 year         = {1997},
 title        = {Self-Validated Numerical Methods and Applications},
 series       = {Brazilian Mathematics Colloquium monographs},
 publisher    = {IMPA/CNPq},
)