Optimal Separator for an Ellipse; Application to Localization

• Althoff M, Krogh B (2011) Zonotope bundles for the efficient computation of reachable sets. In: 2011 50th IEEE conference on decision and control and European control conference, pp 6814–6821

  Google Scholar 

• Araya I, Trombettoni G, Neveu B (2012) A contractor based on convex interval Taylor. In: Beldiceanu N, Jussien N, Pinson E (eds), Integration of AI and OR techniques in constraint programming for combinatorial optimization problems - 9th international conference, CPAIOR 2012, Nantes, France, May 28–June1, 2012. Proceedings, Lecture Notes in Computer Science, vol 7298, pp 1–16. Springer

  Google Scholar 

• Benhamou F, Goualard F, Granvilliers L, Puget J-F (1999) Revising hull and box consistency. In: ICLP, pp 230–244

  Google Scholar 

• Bhamidipati S, Kousik S, Xingxin Gao G (2022) Set-valued shadow matching using zonotopes for 3-d map-aided GNSS localization. CoRR, abs/2209.14238

  Google Scholar 

• Cayley A (1854) On the theory of groups, as depending on the symbolic equation \(\theta ^n=1\). Philos Mag 7:40–47

  Article  Google Scholar 

• Cébério M, Granvilliers L (2001) Solving nonlinear systems by constraint inversion and interval arithmetic. In: Artificial intelligence and symbolic computation, vol 1930, pp 127–141, LNCS 5202

  Google Scholar 

• Chabert G, Jaulin L (2009) Contractor programming. Artif Intell 173:1079–1100

  Article  MathSciNet  Google Scholar 

• Colle E, Galerne S (2013) Mobile robot localization by multiangulation using set inversion. Robot Auton Syst 61(1):39–48

  Article  Google Scholar 

• Combastel C (2005) A state bounding observer for uncertain non-linear continuous-time systems based on zonotopes. In: CDC-ECC ’05

  Google Scholar 

• Coxeter H (1935) The complete enumeration of finite groups of the form \(r_i^{2}=(r_i \cdot r_j)^{k_{ij}}=1\). J Lond Math Soc 10(1):21–25

  Article  Google Scholar 

• Coxeter H (1999) The beauty of geometry: twelve essays. Dover Books on Mathematics

  Google Scholar 

• Crépon PA, Panchea A, Chapoutot A (2018) Reliable motion plannning for a mobile robot. In: IEEE international conference on robotic computing

  Google Scholar 

• Desrochers B, Jaulin L (2016) A minimal contractor for the polar equation; application to robot localization. Eng Appl Artif Intell 55:83–92

  Article  Google Scholar 

• Dit Sandretto JA, Trombettoni G, Daney D, Chabert G (2014) Certified calibration of a cable-driven robot using interval contractor programming. In: Thomas F, Pérez Gracia A (eds), Computational kinematics, mechanisms and machine science. Spinger

  Google Scholar 

• Drevelle V, Bonnifait P (2009) High integrity gnss location zone characterization using interval analysis. In: ION GNSS

  Google Scholar 

• Durieu C, Polyak B, Walter E (1996) Trace versus determinant in ellipsoidal outer bounding with application to state estimation. In: Proceedings of the 13th IFAC world congress, vol I, pp 43–48, San Francisco, CA

  Google Scholar 

• Ehambram A, Voges R, Wagner B (2021) Stereo-visual-lidar sensor fusion using set-membership methods. In: 17th IEEE international conference on automation science and engineering, CASE 2021, Lyon, France, Aug 23–27, 2021, pp 1132–1139. IEEE

  Google Scholar 

• Guyonneau R, Lagrange S, Hardouin L (2013) A visibility information for multi-robot localization. In: IEEE/RSJ international conference on intelligent robots and systems (IROS)

  Google Scholar 

• Hladík M, Ratschan S (2014) Efficient solution of a class of quantified constraints with quantifier prefix exists-forall. Math Comput Sci 8(3–4):329–340

  Article  MathSciNet  Google Scholar 

• Jaulin L (2022) Actions of the hyperoctahedral group to compute minimal contractors. Artif Intell 313:103790

  Article  MathSciNet  Google Scholar 

• Jaulin L (2023) Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals. Int J Approx Reason 159:108928

  Article  MathSciNet  Google Scholar 

• Jaulin L, Desrochers B (2014) Introduction to the algebra of separators with application to path planning. Eng Appl Artif Intell 33:141–147

  Article  Google Scholar 

• Kreinovich V, Lakeyev AV, Rohn J, Kahl PT (1997) Computational complexity and feasibility of data processing and interval computations. Springer

  Google Scholar 

• Kreinovich V, Shary S (2016) Interval methods for data fitting under uncertainty: a probabilistic treatment. Reliab Comput 23:105–140

  MathSciNet  Google Scholar 

• Moore R (1979) Methods and applications of interval analysis. Society for industrial and applied mathematics, Jan 1979

  Google Scholar 

• Moore RE (1966) Interval analysis. Prentice-Hall, Englewood Cliffs, NJ

  Google Scholar 

• Moore RE, Kearfott RB, Cloud MJ (2009) Introduction to interval analysis. SIAM, Philadelphia, PA

  Book  Google Scholar 

• Mustafa M, Stancu A, Delanoue N, Codres E (2018) Guaranteed SLAM; An interval approach. Robot Auton Syst 100:160–170

  Article  Google Scholar 

• Ramdani N, Poignet P (2005) Robust dynamic experimental identification of robots with set membership uncertainty. IEEE/ASME Trans Mechatron 10(2):253–256

  Article  Google Scholar 

• Rauh A, Auer E (2009) Interval approaches to reliable control of dynamical systems. In: Brown BM, Kaltofen E, Oishi S, Rump SM (eds), Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009, Dagstuhl Seminar Proceedings, vol 09471. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany

  Google Scholar 

• Rauh A, Auer E (2011) Modeling, design, and simulation of systems with uncertainties. Springer

  Google Scholar 

• Revol N, Benet L, Ferranti L, Zhilin S (2022) Testing interval arithmetic libraries, including their ieee-1788 compliance. arXiv:2205.11837, math.NA

• Rohou S, Jaulin L, Mihaylova L, Le Bars F, Veres S (2019) Reliable robot localization. Wiley

  Google Scholar 

• Sainudiin R (2010) Machine interval experiments: accounting for the physical limits on empirical and numerical resolutions. LAP Academic Publishers, Köln, Germany

  Google Scholar 

• Silvestre D (2022) Constrained convex generators: a tool suitable for set-based estimation with range and bearing measurements. IEEE Control Syst Lett 6:1610–1615

  Article  MathSciNet  Google Scholar 

• van Hentenryck P, Deville Y, Michel L (1997) Numerica: a modeling language for global optimization. MIT Press, Boston, MA

  Book  Google Scholar 

• Wan J (2007) Computationally reliable approaches of contractive model predictive control for discrete-time systems. PhD dissertation, Universitat de Girona, Girona, Spain

  Google Scholar 

• Wussing H (2007) The genesis of the abstract group concept: a contribution to the history of the origin of abstract group theory. Dover Publications

  Google Scholar 

Download references