Table of Contents Author Guidelines Submit a Manuscript
Journal of Sensors
Volume 2018, Article ID 3769058, 12 pages
https://doi.org/10.1155/2018/3769058
Research Article

Localization of a Vehicle: A Dynamic Interval Constraint Satisfaction Problem-Based Approach

1LIMSI, CNRS, Univ. Paris-Sud, Université Paris-Saclay, 91403 Orsay, France
2LRI, CNRS, Univ. Paris-Sud, Université Paris-Saclay, 91403 Orsay, France

Correspondence should be addressed to Alain Lambert; rf.dusp-u@trebmal.niala

Received 13 September 2017; Revised 23 January 2018; Accepted 8 February 2018; Published 10 April 2018

Academic Editor: Oleg Lupan

Copyright © 2018 Kangni Kueviakoe et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. D. Gruyer, A. Lambert, M. Perrollaz, and D. Gingras, “Experimental comparison of Bayesian vehicle positioning methods based on multi-sensor data fusion,” International Journal of Vehicle Autonomous Systems, vol. 12, no. 1, pp. 24–43, 2013. View at Google Scholar
  2. S. Thrun, W. Burgard, and D. Fox, Probabilistic Robotics (Intelligent Robotics and Autonomous Agents Series), The MIT Press, Cambridge, MA, USA, 2005.
  3. L. Jaulin, “Robust set-membership state estimation; application to underwater robotics,” Automatica, vol. 45, no. 1, pp. 202–206, 2009. View at Publisher · View at Google Scholar · View at Scopus
  4. E. Colle and S. Galerne, “A multihypothesis set approach for mobile robot localization using heterogeneous measurements provided by the Internet of Things,” Robotics and Autonomous Systems, vol. 96, pp. 102–113, 2017. View at Publisher · View at Google Scholar · View at Scopus
  5. L. Jaulin, “Localization of an underwater robot using interval constraint propagation,” in International Conference on Principles and Practice of Constraint Programming, pp. 244–255, Nantes, France, 2006. View at Publisher · View at Google Scholar
  6. A. Gning and P. Bonnifait, “Constraints propagation techniques on intervals for a guaranteed localization using redundant data,” Automatica, vol. 42, no. 7, pp. 1167–1175, 2006. View at Publisher · View at Google Scholar · View at Scopus
  7. A. K. Mackworth, “Consistency in networks of relations,” Artificial Intelligence, vol. 8, no. 1, pp. 99–118, 1977. View at Publisher · View at Google Scholar · View at Scopus
  8. H. Gallaire, “Logic programming: further developments,” in IEEE Symposium on Logic Programming, pp. 88–99, Boston, MA, USA, 1985.
  9. J. Jaffar and J. L. Lassez, “Constraint logic programming,” in Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages - POPL '87, pp. 111–119, Munich, Germany, 1987. View at Publisher · View at Google Scholar · View at Scopus
  10. P. van Hentenryck, Y. Deville, and C. M. Teng, “A generic arc-consistency algorithm and its specializations,” Artificial Intelligence, vol. 57, no. 2-3, pp. 291–321, 1992. View at Publisher · View at Google Scholar · View at Scopus
  11. C. Bessiere, “Arc-consistency and arc-consistency again,” Artificial Intelligence, vol. 65, no. 1, pp. 179–190, 1994. View at Publisher · View at Google Scholar · View at Scopus
  12. Z. Yuanlin and R. Yap, “Arc consistency on n-ary monotonic and linear constraints,” in International Conference on Principles and Practice of Constraint Programming, pp. 470–483, Singapore, 2000. View at Publisher · View at Google Scholar
  13. R. Dechter and J. Pearl, “Tree clustering for constraint networks,” Artificial Intelligence, vol. 38, no. 3, pp. 353–366, 1989. View at Publisher · View at Google Scholar · View at Scopus
  14. F. Rossi, C. Petrie, and V. Dhar, “On the equivalence of constraint satisfaction problems,” in Proceedings of the 9th European Conference on Artificial Intelligence (ECAI'90), pp. 550–556, Stockholm, Sweden, 1990.
  15. R. Mohr and G. Masini, “Good old discrete relaxation,” in Proceedings of the 8th European Conference on Artificial Intelligence (ECAI'88), pp. 651–656, Munich, Germany, 1988.
  16. J. Cleary, “Logical arithmetic,” Future Computing Systems, vol. 2, pp. 125–149, 1987. View at Google Scholar
  17. E. Davis, “Constraint propagation with interval labels,” Artificial Intelligence, vol. 32, no. 3, pp. 281–331, 1987. View at Publisher · View at Google Scholar · View at Scopus
  18. E. Hyvönen, “Constraint reasoning based on interval arithmetic,” in Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI'89), vol. 2, pp. 1193–1198, Detroit, MI, USA, 1989.
  19. F. Benhamou and W. J. Older, “Applying interval arithmetic to real, integer, and Boolean constraints,” The Journal of Logic Programming, vol. 32, no. 1, pp. 1–24, 1997. View at Publisher · View at Google Scholar · View at Scopus
  20. F. Benhamou, F. Goualard, L. Granvilliers, and J. F. Puget, “Revising hull and box consistency,” in Proceedings of the 1999 International Conference on Logic Programming, pp. 230–244, Las Cruces, NM, USA, 1999.
  21. F. Benhamou, D. McAllester, and P. V. Hentenryck, “CLP(intervals) revisited,” in Proceedings of the 1994 International Symposium on Logic Programming, pp. 124–138, Melbourne, VIC, Australia, 1994.
  22. L. Granvilliers, “Towards cooperative interval narrowing,” in International Symposium on Frontiers of Combining Systems, pp. 18–31, Nancy, France, 2000. View at Publisher · View at Google Scholar
  23. O. Lhomme, “Consistency techniques for numeric CSPs,” in Proceedings of the 13th International Joint Conference on Artifical Intelligence (IJCAI'93), vol. 1, pp. 232–238, Chambery, France, 1993.
  24. A. Gning and P. Bonnifait, “Guaranteed dynamic localization using constraints propagation techniques on real intervals,” in IEEE International Conference on Robotics and Automation, 2004, pp. 1499–1504, New Orleans, LA, USA, 2004. View at Publisher · View at Google Scholar
  25. B. Vincke, A. Lambert, D. Gruyer, A. Elouardi, and E. Seignez, “Static and dynamic fusion for outdoor vehicle localization,” in 2010 11th International Conference on Control Automation Robotics & Vision, pp. 437–442, Singapore, 2010. View at Publisher · View at Google Scholar · View at Scopus
  26. B. Vincke and A. Lambert, “Enhanced constraints propagation for guaranteed localization predictive step,” in IEEE/RSJ IROS, Workshop on Planning, Perception and Navigation for Intelligent Vehicles, pp. 30–36, St Louis, MO, USA, 2009.
  27. D. L. Waltz, Generating Semantic Descriptions from Drawings of Scenes with Shadows, [Ph.D. thesis], AI Lab, MIT, Cambridge, MA, USA, 1972.
  28. V. Drevelle and P. Bonnifait, “Robust positioning using relaxed constraint-propagation,” in 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 4843–4848, Taipei, Taiwan, 2010. View at Publisher · View at Google Scholar · View at Scopus
  29. K. Lassoued, P. Bonnifait, and I. Fantoni, “Cooperative localization with reliable confidence domains between vehicles sharing GNSS pseudoranges errors with no base station,” IEEE Intelligent Transportation Systems Magazine, vol. 9, no. 1, pp. 22–34, 2017. View at Publisher · View at Google Scholar · View at Scopus
  30. B. Desrochers and L. Jaulin, “A minimal contractor for the polar equation: application to robot localization,” Engineering Applications of Artificial Intelligence, vol. 55, pp. 83–92, 2016. View at Publisher · View at Google Scholar · View at Scopus
  31. L. Jaulin, A. Stancu, and B. Desrochers, “Inner and outer approximations of probabilistic sets,” in Proceedings of the American Society of Civil Engineers (ASCE) Second International Conference on Vulnerability and Risk Analysis and Management and Sixth International Symposium on Uncertainty Modelling and Analysis, pp. 13–16, Liverpool, UK, 2014. View at Publisher · View at Google Scholar · View at Scopus
  32. C. Aubry, R. Desmare, and L. Jaulin, “Loop detection of mobile robots using interval analysis,” Automatica, vol. 49, no. 2, pp. 463–470, 2013. View at Publisher · View at Google Scholar · View at Scopus
  33. F. Le Bars, J. Sliwka, L. Jaulin, and O. Reynet, “Set-membership state estimation with fleeting data,” Automatica, vol. 48, no. 2, pp. 381–387, 2012. View at Publisher · View at Google Scholar · View at Scopus
  34. B. Vincke and A. Lambert, “Experimental comparison of bounded-error state estimation and constraints propagation,” in 2011 IEEE International Conference on Robotics and Automation, pp. 4724–4729, Shanghai, China, 2011. View at Publisher · View at Google Scholar · View at Scopus
  35. I. K. Kueviakoe, A. Lambert, and P. Tarroux, “Comparison of interval constraint propagation algorithms for vehicle localization,” Journal of Software Engineering and Applications, vol. 05, no. 12, pp. 157–162, 2012. View at Publisher · View at Google Scholar
  36. I. K. Kueviakoe, A. Lambert, and P. Tarroux, “Vehicle localization based on interval constraint propagation algorithms,” in 2013 IEEE International Conference on Cyber Technology in Automation, Control and Intelligent Systems, pp. 179–184, Nanjing, China, 2013. View at Publisher · View at Google Scholar · View at Scopus
  37. R. E. Moore, Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ, USA, 1966.
  38. R. E. Moore and F. Bierbaum, Methods and Applications of Interval Analysis, vol. 2, Society for Industrial Mathematics, Philadelphia, PA, USA, 1979.
  39. R. E. Moore, R. B. Kearfott, and M. J. Cloud, Introduction to Interval Analysis, Society for Industrial Mathematics, Philadelphia, PA, USA, 2009.
  40. E. Hyvönen, “Constraint reasoning based on interval arithmetic: the tolerance propagation approach,” Artificial Intelligence, vol. 58, no. 1-3, pp. 71–112, 1992. View at Publisher · View at Google Scholar · View at Scopus
  41. E. Hyvönen, S. D. Pascale, and A. Lehtola, “Interval constraint satisfaction tool INC++,” in Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93), pp. 298–305, Boston, MA, USA, 1993. View at Publisher · View at Google Scholar · View at Scopus
  42. P. V. Hentenryck, Numerica: A Modeling Language for Global Optimization, MIT Press, Cambridge, MA, USA, 1997.
  43. L. Granvilliers and F. Benhamou, “Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques,” ACM Transactions on Mathematical Software, vol. 32, no. 1, pp. 138–156, 2006. View at Publisher · View at Google Scholar · View at Scopus
  44. J. P. Merlet, “ALIAS: an interval analysis based library for solving and analyzing system of equations,” in Séminaire Systèmes et Equations Algébriques, pp. 1964–1969, INRIA Sophia Antipolis, Valbonne, France, 2000.
  45. Y. Lebbah, “ICOS: a branch and bound based solver for rigorous global optimization,” Optimization Methods and Software, vol. 24, no. 4-5, pp. 709–726, 2009. View at Publisher · View at Google Scholar · View at Scopus
  46. F. Domes, “GLOPTLAB: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems,” Optimization Methods and Software, vol. 24, no. 4-5, pp. 727–747, 2009. View at Publisher · View at Google Scholar · View at Scopus
  47. G. Chabert, “IBEX, an interval-based explorer,” 2007, http://www.ibex-lib.org/.
  48. G. Chabert and L. Jaulin, “Contractor programming,” Artificial Intelligence, vol. 173, no. 11, pp. 1079–1100, 2009. View at Publisher · View at Google Scholar · View at Scopus
  49. R. Dechter and A. Dechter, “Belief maintenance in dynamic constraint networks,” in Proceedings of the Seventh AAAI National Conference on Artificial Intelligence (AAAI'88), pp. 37–42, Saint Paul, MN, USA, 1988.
  50. H. Collavizza, F. Delobel, and M. Rueher, “A note on partial consistencies over continuous domains,” in International Conference on Principles and Practice of Constraint Programming, pp. 147–161, Pisa, Italy, 1998. View at Publisher · View at Google Scholar · View at Scopus
  51. H. R. Everett, Sensors for Mobile Robots: Theory and Application, AK Peters, Natick, MA, USA, 1995.
  52. E. Seignez, M. Kieffer, A. Lambert, E. Walter, and T. Maurin, “Experimental vehicle localization by bounded-error state estimation using interval analysis,” in IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 1084–1089, Edmonton, AB, Canada, 2005. View at Publisher · View at Google Scholar · View at Scopus
  53. I. K. Kueviakoe, A. Lambert, and P. Tarroux, “A real-time interval constraint propagation method for vehicle localization,” in 16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013), pp. 1707–1712, The Hague, Netherlands, 2013. View at Publisher · View at Google Scholar · View at Scopus
  54. C. Jermann, Y. Lebbah, and D. Sam-Haroud, “Interval analysis, constraint propagation and applications,” in Trends in Constraint Programming, F. Benhamou, N. Jussien, and B. A. O’Sullivan, Eds., John Wiley & Sons, Hoboken, NJ, USA, 2007, Chapter 4. View at Google Scholar
  55. A. Lambert, D. Gruyer, B. Vincke, and E. Seignez, “Consistent outdoor vehicle localization by bounded-error state estimation,” in 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 1211–1216, St. Louis, MO, USA, 2009. View at Publisher · View at Google Scholar · View at Scopus