@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},
)
@inproceedings(Asarin02,
 author       = {E. Asarin and T. Dang and O. Maler},
 year         = {2002},
 title        = {The d/dt tool for verification of hybrid systems},
 booktitle    = {In International Conference on Computer Aided Verification},
 publisher    = {Springer},
 pages        = {365--370},
)
@book(Blanchini08,
 author       = {F. Blanchini and S. Miani},
 year         = {2007},
 title        = {Set-{Theoretic} {Methods} in {Control}},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-3-319-17933-9},
)
@inproceedings(Bouissou14,
 author       = {O. Bouissou and A. Chapoutot and A. Djaballah and M. Kieffer},
 year         = {2014},
 title        = {Computation of parametric barrier functions for dynamical systems using interval analysis},
 booktitle    = {2014 {IEEE} 53rd {Annual} {Conference} on {Decision} and {Control} ({CDC})},
 pages        = {753--758},
 doi          = {10.1109/CDC.2014.7039472},
)
@article(redaTSF20,
 author       = {R. Boukezzoula and L. Jaulin and B. Desrochers and D. Coquin},
 year         = {2020},
 title        = {Thick Fuzzy Sets and Their Potential Use in Uncertain Fuzzy Computations and Modeling},
 journal      = {IEEE Transactions on Fuzzy Systems},
 doi          = {10.1109/TFUZZ.2020.3018550},
)
@inproceedings(Brefort14,
 author       = {Q. Brefort and L. Jaulin and M. Ceberio and V. Kreinovich},
 year         = {2014},
 title        = {If we take into account that constraints are soft,then processing constraints Becomes algorithmically solvable},
 booktitle    = {Proceedings of the IEEE Series of Symposia on Computational Intelligence SSCI'2014},
 publisher    = {Orlando, Florida, December 9-12},
 doi          = {10.1109/CIES.2014.7011823},
)
@inproceedings(Cousot97,
 author       = {P. Cousot and R. Cousot},
 year         = {1977},
 title        = {Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints},
 booktitle    = {Conference Record of the Fourth ACM Symposium on Principles of Programming Languages},
 address      = {Los Angeles, California},
 pages        = {238--252},
)
@inproceedings(Delanoue:attraction:06,
 author       = {N. Delanoue and L. Jaulin and B. Cottenceau},
 year         = {2006},
 title        = {Attraction domain of a nonlinear system using interval analysis},
 booktitle    = {Twelfth International Conference on Principles and Practice of Constraint Programming (IntCP 2006)},
 address      = {France, Nantes},
 pages        = {181--189},
)
@article(DesrochersTAC16,
 author       = {B. Desrochers and L. Jaulin},
 year         = {2017},
 title        = {Computing a guaranteed approximation the zone explored by a robot},
 journal      = {IEEE Transaction on Automatic Control},
 volume       = {62},
 number       = {1},
 pages        = {425--430},
 doi          = {10.1109/TAC.2016.2530719},
)
@article(DesrochersThick2016,
 author       = {B. Desrochers and L. Jaulin},
 year         = {2017},
 title        = {{Thick set inversion}},
 journal      = {Artifical Intelligence},
 volume       = {249},
 pages        = {1--18},
 doi          = {10.1016/j.artint.2017.04.004},
)
@inproceedings(desrochers:iros2015,
 author       = {B. Desrochers and S. Lacroix and L. Jaulin},
 year         = {2015},
 title        = {Set-Membership Approach to the Kidnapped Robot Problem},
 booktitle    = {IROS 2015},
 doi          = {10.1109/IROS.2015.7353897},
)
@article(Drakunov92,
 author       = {S. Drakunov and V. Utkin},
 year         = {1992},
 title        = {Sliding mode control in dynamic systems},
 journal      = {International Journal of Control},
 volume       = {55},
 number       = {4},
 pages        = {1029--1037},
 doi          = {10.1016/0005-1098(76)90076-5},
)
@inbook(dubois:jaulin:prade,
 author       = {D. Dubois and L. Jaulin and H. Prade},
 year         = {2020},
 title        = {Thick Sets, Multiple-Valued Mappings and Possibility Theory},
 pages        = {101--109},
 publisher    = {Springer},
)
@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/s10009-007-0062-x},
)
@inproceedings(Goubault06staticanalysis,
 author       = {E. Goubault and S. Putot},
 year         = {2006},
 title        = {Static Analysis of Numerical Algorithms},
 booktitle    = {In Proceedings of SAS 06, LNCS 4134},
 publisher    = {Springer-Verlag},
 pages        = {18--34},
)
@article(jaulin:sliding:20,
 author       = {L. Jaulin and F. Le Bars},
 year         = {2020},
 title        = {Characterizing sliding surfaces of cyber-physical systems},
 journal      = {Acta Cybernetica},
 volume       = {24},
 pages        = {431--448},
 doi          = {10.4467/20838476SI.11.001.0287},
)
@inproceedings(taha:13:zeno,
 author       = {M. Konecny and W. Taha and J. Duracz and A. Duracz and A. Ames},
 year         = {2013},
 title        = {Enclosing the behavior of a hybrid system up to and beyond a Zeno point},
 booktitle    = {Cyber-Physical Systems, Networks, and Applications (CPSNA)},
 doi          = {10.1109/CPSNA.2013.6614258},
)
@article(Kreinovich:97,
 author       = {V. Kreinovich and A.V. Lakeyev and J. Rohn and P.T. Kahl},
 year         = {1997},
 title        = {Computational Complexity and Feasibility of Data Processing and Interval Computations},
 journal      = {Reliable Computing},
 volume       = {4},
 number       = {4},
 pages        = {405--409},
 doi          = {10.1007/978-1-4757-2793-7},
)
@article(lemezo:tac:18,
 author       = {T. Le M\'ezo and L. Jaulin and B. Zerr},
 year         = {2017},
 title        = {An interval approach to compute invariant sets},
 journal      = {IEEE Transaction on Automatic Control},
 volume       = {62},
 pages        = {4236--4243},
 doi          = {10.1109/TAC.2017.2685241},
)
@inproceedings(Mitchell07,
 author       = {I. Mitchell},
 year         = {2007},
 title        = {Comparing forward and backward reachability as tools for safety analysis},
 editor       = {A. Bemporad and A. Bicchi and G. Buttazzo},
 booktitle    = {Hybrid Systems: Computation and Control},
 publisher    = {Springer-Verlag},
 pages        = {428--443},
 doi          = {10.1109/4.16303},
)
@incollection(mitchell:validating:2001,
 author       = {I. Mitchell and A. Bayen and C. Tomlin},
 year         = {2001},
 title        = {Validating a {Hamilton}-{Jacobi} {Approximation} to {Hybrid} {System} {Reachable} {Sets}},
 editor       = {M. Benedetto and Sangiovanni-Vincentelli, A.},
 booktitle    = {Hybrid {Systems}: {Computation} and {Control}},
 series       = {Lecture {Notes} in {Computer} {Science}},
 volume       = {2034},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {418--432},
 doi          = {10.1006/jcph.1999.6345},
)
@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},
)
@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:01a,
 author       = {S. Ratschan},
 year         = {2002},
 title        = {Approximate Quantified Constraint Solving by Cylindrical Box Decomposition},
 journal      = {Reliable Computing},
 volume       = {8},
 number       = {1},
 pages        = {21--42},
 doi          = {10.1023/A:1014785518570},
)
@article(Ratschan:She:10,
 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 J. Control and Optimization},
 volume       = {48},
 number       = {7},
 pages        = {4377--4394},
 doi          = {10.1137/090749955},
)
@inproceedings(Rauh2009IntervalAT,
 author       = {A. Rauh and E. Auer},
 year         = {2009},
 title        = {Interval Approaches to Reliable Control of Dynamical Systems},
 booktitle    = {Computer-assisted proofs - tools, methods and applications},
)
@article(rohouAut18,
 author       = {S. Rohou and L. Jaulin and M. Mihaylova and F. Le Bars and S. Veres},
 year         = {2018},
 title        = {{Reliable non-linear state estimation involving time uncertainties}},
 journal      = {Automatica},
 pages        = {379--388},
 doi          = {10.1016/j.automatica.2018.03.074},
)
@article(Romig19,
 author       = {S. Romig and L. Jaulin and A. Rauh},
 year         = {2019},
 title        = {Using Interval Analysis to Compute the Invariant Set of a Nonlinear Closed-Loop Control System},
 journal      = {Algorithms},
 volume       = {12},
 number       = {262},
 doi          = {10.3390/a12120262},
)
@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-48983-5},
)
@article(alexandre:chap:16,
 author       = {J. Alexandre Dit Sandretto and A. Chapoutot},
 year         = {2016},
 title        = {Validated Simulation of Differential Algebraic Equations with {R}unge-{K}utta Methods},
 journal      = {Reliable Computing},
 volume       = {22},
)
@inproceedings(taha:15:acumen,
 author       = {W. Taha and A. Duracz},
 year         = {2015},
 title        = {Acumen: An Open-source Testbed for Cyber-Physical Systems Research},
 booktitle    = {CYCLONE'15},
 doi          = {10.1007/978-3-319-47063-4\_11},
)
@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},
)