<bibliography>
 <citation type="inproceedings" key="Ben99">
  <author>Fr&#233;d&#233;ric <surname>Benhamou</surname></author>
  <author>Fr&#233;d&#233;ric <surname>Goualard</surname></author>
  <author>Laurent <surname>Granvilliers</surname></author>
  <author>Jean-Fran&#x00e7;ois <surname>Puget</surname></author>
  <year>1999</year>
  <title>Revising Hull and Box Consistency</title>
  <booktitle>Proceedings of the 1999 International Conference on Logic Programming</booktitle>
  <publisher>Massachusetts Institute of Technology</publisher>
  <address>Cambridge, MA, USA</address>
  <pages>230&#8211;244</pages>
  <url>http://dl.acm.org/citation.cfm?id=341176.341208</url>
 </citation>
 <citation type="article" key="ChabertJaulin09">
  <author>G. <surname>Chabert</surname></author>
  <author>L. <surname>Jaulin</surname></author>
  <year>2009</year>
  <title>Contractor Programming</title>
  <journal>Artificial Intelligence</journal>
  <volume>173</volume>
  <pages>1079&#8211;1100</pages>
  <doi>10.1016/j.artint.2009.03.002</doi>
 </citation>
 <citation type="article" key="colle_galerne13">
  <author>E. <surname>Colle</surname></author>
  <author><surname>Galerne</surname></author>
  <year>2013</year>
  <title>Mobile robot localization by multiangulation using set inversion</title>
  <journal>Robotics and Autonomous Systems</journal>
  <volume>61</volume>
  <number>1</number>
  <pages>39&#8211;48</pages>
  <doi>10.1016/j.robot.2012.09.006</doi>
 </citation>
 <citation type="article" key="Drevelle:Bonnifait:12">
  <author>V. <surname>Drevelle</surname></author>
  <author>P. <surname>Bonnifait</surname></author>
  <year>2012</year>
  <title>iGPS: Global Positioning in Urban Canyons with Road Surface Maps</title>
  <journal>IEEE Intelligent Transportation Systems Magazine</journal>
  <volume>4</volume>
  <number>3</number>
  <pages>6&#8211;18</pages>
  <doi>10.1109/MITS.2012.2203222</doi>
 </citation>
 <citation type="article" key="Hansen92">
  <author>E. R. <surname>Hansen</surname></author>
  <year>1992</year>
  <title>Bounding the solution of interval linear equations</title>
  <journal>SIAM Journal on Numerical Analysis</journal>
  <volume>29</volume>
  <number>5</number>
  <pages>1493&#8211;1503</pages>
  <doi>10.1137/0729086</doi>
 </citation>
 <citation type="article" key="DesrochersEAAI2014">
  <author>L. <surname>Jaulin</surname></author>
  <author>B. <surname>Desrochers</surname></author>
  <year>2014</year>
  <title>Introduction to the Algebra of Separators with Application to Path Planning</title>
  <journal>Engineering Applications of Artificial Intelligence</journal>
  <volume>33</volume>
  <pages>141&#8211;147</pages>
  <doi>10.1016/j.engappai.2014.04.010</doi>
 </citation>
 <citation type="book" key="JaulinBook01">
  <author>L. <surname>Jaulin</surname></author>
  <author>M. <surname>Kieffer</surname></author>
  <author>O. <surname>Didrit</surname></author>
  <author>E. <surname>Walter</surname></author>
  <year>2001</year>
  <title>Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics</title>
  <publisher>Springer-Verlag</publisher>
  <address>London</address>
  <doi>10.1007/978-1-4471-0249-6</doi>
 </citation>
 <citation type="article" key="Jaulin02Robab">
  <author>L. <surname>Jaulin</surname></author>
  <author>M. <surname>Kieffer</surname></author>
  <author>E. <surname>Walter</surname></author>
  <author>D. <surname>Meizel</surname></author>
  <year>2002</year>
  <title>Guaranteed Robust Nonlinear Estimation with Application to Robot Localization</title>
  <journal>IEEE Transactions on systems, man and cybernetics; Part C Applications and Reviews</journal>
  <volume>32</volume>
  <number>4</number>
  <pages>374&#8211;382</pages>
  <doi>10.1109/TSMCC.2002.806747</doi>
 </citation>
 <citation type="article" key="JaulinCHI99">
  <author>L. <surname>Jaulin</surname></author>
  <author>E. <surname>Walter</surname></author>
  <author>O. <surname>L&#233;v&#234;que</surname></author>
  <author>D. <surname>Meizel</surname></author>
  <year>2000</year>
  <title>Set Inversion for Chi-Algorithms, with Application to Guaranteed Robot Localization</title>
  <journal>Mathematics and Computers in Simulation</journal>
  <volume>52</volume>
  <number>3-4</number>
  <pages>197&#8211;210</pages>
  <doi>10.1016/S0378-4754(00)00150-6</doi>
 </citation>
 <citation type="book" key="Kearfott96">
  <editor>R. B. <surname>Kearfott</surname></editor>
  <editor>V. <surname>Kreinovich</surname></editor>
  <year>1996</year>
  <title>Applications of Interval Computations</title>
  <publisher>Kluwer</publisher>
  <address>Dordrecht, the Netherlands</address>
  <doi>10.1007/978-1-4613-3440-8</doi>
 </citation>
 <citation type="inproceedings" key="KiefferMISC99">
  <author>Michel <surname>Kieffer</surname></author>
  <author>Luc <surname>Jaulin</surname></author>
  <author>Eric <surname>Walter</surname></author>
  <author>Dominique <surname>Meizel</surname></author>
  <year>1999</year>
  <title>Guaranteed mobile robot tracking using interval analysis</title>
  <booktitle>MISC'99, Workshop on Application of Interval Analysis to System and Control</booktitle>
  <address>Girona, Spain</address>
  <pages>347&#8211;360</pages>
  <url>https://hal.archives-ouvertes.fr/hal-00844601</url>
 </citation>
 <citation type="inproceedings" key="Leveque97">
  <author>Olivier <surname>Leveque</surname></author>
  <author>Luc <surname>Jaulin</surname></author>
  <author>Dominique <surname>Meizel</surname></author>
  <author>Eric <surname>Walter</surname></author>
  <year>1997</year>
  <title>Vehicle localization from inaccurate telemetric data: a set inversion approach</title>
  <booktitle>5th IFAC Symposium on Robot Control SY.RO.CO.'97</booktitle>
  <volume>1</volume>
  <address>Nantes, France</address>
  <pages>179&#8211;186</pages>
  <url>https://hal.archives-ouvertes.fr/hal-00844041</url>
 </citation>
 <citation type="article" key="meizel02">
  <author>D. <surname>Meizel</surname></author>
  <author>O. <surname>L&#233;v&#234;que</surname></author>
  <author>L. <surname>Jaulin</surname></author>
  <author>E. <surname>Walter</surname></author>
  <year>2002</year>
  <title>Initial Localization by Set Inversion</title>
  <journal>IEEE transactions on robotics and Automation</journal>
  <volume>18</volume>
  <number>6</number>
  <pages>966&#8211;971</pages>
  <doi>10.1109/TRA.2002.805664</doi>
 </citation>
 <citation type="book" key="Moore66">
  <author>R. E. <surname>Moore</surname></author>
  <year>1966</year>
  <title>Interval Analysis</title>
  <publisher>Prentice-Hall</publisher>
  <address>Englewood Cliffs, NJ</address>
  <doi>10.1126/science.158.3799.365</doi>
 </citation>
 <citation type="book" key="Najman2010">
  <author>L. <surname>Najman</surname></author>
  <author>H. Talbot <surname>(Eds)</surname></author>
  <year>1000</year>
  <title>Mathematical morphology: from theory to applications</title>
  <publisher>ISTE-Wiley</publisher>
  <doi>10.1002/9781118600788</doi>
 </citation>
 <citation type="inproceedings" key="Shoji91">
  <author>Kenji <surname>Shoji</surname></author>
  <year>1991</year>
  <title>Quadtree decomposition of binary structuring elements</title>
  <booktitle>Nonlinear Image Processing II</booktitle>
  <publisher>Proc. SPIE 1451</publisher>
  <doi>10.1117/12.44322</doi>
 </citation>
 <citation type="inproceedings" key="Sliwka:elpaso:11">
  <author>J. <surname>Sliwka</surname></author>
  <author>F. Le <surname>Bars</surname></author>
  <author>O. <surname>Reynet</surname></author>
  <author>L. <surname>Jaulin</surname></author>
  <year>2011</year>
  <title>Using interval methods in the context of robust localization of underwater robots</title>
  <booktitle>NAFIPS 2011</booktitle>
  <address>El Paso, USA</address>
  <doi>10.1109/NAFIPS.2011.5751922</doi>
 </citation>
 <citation type="inproceedings" key="taha:15:acumen">
  <author>W. <surname>Taha</surname></author>
  <author>A. <surname>Duracz</surname></author>
  <year>2015</year>
  <title>Acumen: An Open-source Testbed for Cyber-Physical Systems Research</title>
  <booktitle>CYCLONE'15</booktitle>
  <doi>10.1007/978-3-319-47063-4_11</doi>
 </citation>
</bibliography>
