Simultaneous localization and mapping

From HandWiki
Short description: Computational navigational technique used by robots and autonomous vehicles
2005 DARPA Grand Challenge winner Stanley performed SLAM as part of its autonomous driving system.
A map generated by a SLAM Robot

Simultaneous localization and mapping (SLAM) is the computational problem of constructing or updating a map of an unknown environment while simultaneously keeping track of an agent's location within it. While this initially appears to be a chicken or the egg problem, there are several algorithms known to solve it in, at least approximately, tractable time for certain environments. Popular approximate solution methods include the particle filter, extended Kalman filter, covariance intersection, and GraphSLAM. SLAM algorithms are based on concepts in computational geometry and computer vision, and are used in robot navigation, robotic mapping and odometry for virtual reality or augmented reality.

SLAM algorithms are tailored to the available resources and are not aimed at perfection but at operational compliance. Published approaches are employed in self-driving cars, unmanned aerial vehicles, autonomous underwater vehicles, planetary rovers, newer domestic robots and even inside the human body.

Mathematical description of the problem

Given a series of controls [math]\displaystyle{ u_t }[/math] and sensor observations [math]\displaystyle{ o_t }[/math] over discrete time steps [math]\displaystyle{ t }[/math], the SLAM problem is to compute an estimate of the agent's state [math]\displaystyle{ x_t }[/math] and a map of the environment [math]\displaystyle{ m_t }[/math]. All quantities are usually probabilistic, so the objective is to compute[1]

[math]\displaystyle{ P(m_{t+1},x_{t+1}|o_{1:t+1},u_{1:t}) }[/math]

Applying Bayes' rule gives a framework for sequentially updating the location posteriors, given a map and a transition function [math]\displaystyle{ P(x_t|x_{t-1}) }[/math],

[math]\displaystyle{ P(x_t | o_{1:t},u_{1:t},m_t) = \sum_{m_{t-1} } P(o_{t}|x_t, m_t,u_{1:t}) \sum_{x_{t-1}} P(x_t|x_{t-1}) P(x_{t-1}|m_t, o_{1:t-1},u_{1:t}) /Z }[/math]

Similarly the map can be updated sequentially by

[math]\displaystyle{ P(m_t | x_t,o_{1:t},u_{1:t}) = \sum_{x_t} \sum_{m_t} P(m_t | x_t, m_{t-1}, o_t,u_{1:t} ) P(m_{t-1},x_t | o_{1:t-1},m_{t-1},u_{1:t}) }[/math]

Like many inference problems, the solutions to inferring the two variables together can be found, to a local optimum solution, by alternating updates of the two beliefs in a form of an expectation–maximization algorithm.

Algorithms

Statistical techniques used to approximate the above equations include Kalman filters and particle filters (the algorithm behind Monte Carlo Localization). They provide an estimation of the posterior probability distribution for the pose of the robot and for the parameters of the map. Methods which conservatively approximate the above model using covariance intersection are able to avoid reliance on statistical independence assumptions to reduce algorithmic complexity for large-scale applications.[2] Other approximation methods achieve improved computational efficiency by using simple bounded-region representations of uncertainty.[3]

Set-membership techniques are mainly based on interval constraint propagation.[4][5] They provide a set which encloses the pose of the robot and a set approximation of the map. Bundle adjustment, and more generally maximum a posteriori estimation (MAP), is another popular technique for SLAM using image data, which jointly estimates poses and landmark positions, increasing map fidelity, and is used in commercialized SLAM systems such as Google's ARCore which replaces their prior augmented reality computing platform named Tango, formerly Project Tango. MAP estimators compute the most likely explanation of the robot poses and the map given the sensor data, rather than trying to estimate the entire posterior probability.

New SLAM algorithms remain an active research area,[6] and are often driven by differing requirements and assumptions about the types of maps, sensors and models as detailed below. Many SLAM systems can be viewed as combinations of choices from each of these aspects.

Mapping

Topological maps are a method of environment representation which capture the connectivity (i.e., topology) of the environment rather than creating a geometrically accurate map. Topological SLAM approaches have been used to enforce global consistency in metric SLAM algorithms.[7]

In contrast, grid maps use arrays (typically square or hexagonal) of discretized cells to represent a topological world, and make inferences about which cells are occupied. Typically the cells are assumed to be statistically independent to simplify computation. Under such assumption, [math]\displaystyle{ P(m_t | x_t, m_{t-1}, o_t ) }[/math] are set to 1 if the new map's cells are consistent with the observation [math]\displaystyle{ o_t }[/math] at location [math]\displaystyle{ x_t }[/math] and 0 if inconsistent.

Modern self driving cars mostly simplify the mapping problem to almost nothing, by making extensive use of highly detailed map data collected in advance. This can include map annotations to the level of marking locations of individual white line segments and curbs on the road. Location-tagged visual data such as Google's StreetView may also be used as part of maps. Essentially such systems simplify the SLAM problem to a simpler localization only task, perhaps allowing for moving objects such as cars and people only to be updated in the map at runtime.

Sensing

Accumulated registered point cloud from lidar SLAM

SLAM will always use several different types of sensors, and the powers and limits of various sensor types have been a major driver of new algorithms.[8] Statistical independence is the mandatory requirement to cope with metric bias and with noise in measurements. Different types of sensors give rise to different SLAM algorithms which assumptions are most appropriate to the sensors. At one extreme, laser scans or visual features provide details of many points within an area, sometimes rendering SLAM inference unnecessary because shapes in these point clouds can be easily and unambiguously aligned at each step via image registration. At the opposite extreme, tactile sensors are extremely sparse as they contain only information about points very close to the agent, so they require strong prior models to compensate in purely tactile SLAM. Most practical SLAM tasks fall somewhere between these visual and tactile extremes.

Sensor models divide broadly into landmark-based and raw-data approaches. Landmarks are uniquely identifiable objects in the world which location can be estimated by a sensor, such as Wi-Fi access points or radio beacons. Raw-data approaches make no assumption that landmarks can be identified, and instead model [math]\displaystyle{ P(o_t|x_t) }[/math] directly as a function of the location.

Optical sensors may be one-dimensional (single beam) or 2D- (sweeping) laser rangefinders, 3D high definition light detection and ranging (lidar), 3D flash lidar, 2D or 3D sonar sensors, and one or more 2D cameras.[8] Since 2005, there has been intense research into visual SLAM (VSLAM) using primarily visual (camera) sensors, because of the increasing ubiquity of cameras such as those in mobile devices.[9] Visual and lidar sensors are informative enough to allow for landmark extraction in many cases. Other recent forms of SLAM include tactile SLAM[10] (sensing by local touch only), radar SLAM,[11] acoustic SLAM,[12] and Wi-Fi-SLAM (sensing by strengths of nearby Wi-Fi access points).[13] Recent approaches apply quasi-optical wireless ranging for multi-lateration (real-time locating system (RTLS)) or multi-angulation in conjunction with SLAM as a tribute to erratic wireless measures. A kind of SLAM for human pedestrians uses a shoe mounted inertial measurement unit as the main sensor and relies on the fact that pedestrians are able to avoid walls to automatically build floor plans of buildings by an indoor positioning system.[14]

For some outdoor applications, the need for SLAM has been almost entirely removed due to high precision differential GPS sensors. From a SLAM perspective, these may be viewed as location sensors which likelihoods are so sharp that they completely dominate the inference. However, GPS sensors may occasionally decline or go down entirely, e.g. during times of military conflict, which are of particular interest to some robotics applications.

Kinematics modeling

The [math]\displaystyle{ P(x_t|x_{t-1}) }[/math] term represents the kinematics of the model, which usually include information about action commands given to a robot. As a part of the model, the kinematics of the robot is included, to improve estimates of sensing under conditions of inherent and ambient noise. The dynamic model balances the contributions from various sensors, various partial error models and finally comprises in a sharp virtual depiction as a map with the location and heading of the robot as some cloud of probability. Mapping is the final depicting of such model, the map is either such depiction or the abstract term for the model.

For 2D robots, the kinematics are usually given by a mixture of rotation and "move forward" commands, which are implemented with additional motor noise. Unfortunately the distribution formed by independent noise in angular and linear directions is non-Gaussian, but is often approximated by a Gaussian. An alternative approach is to ignore the kinematic term and read odometry data from robot wheels after each command—such data may then be treated as one of the sensors rather than as kinematics.

Moving objects

Non-static environments, such as those containing other vehicles or pedestrians, continue to present research challenges.[15][16] SLAM with DATMO is a model which tracks moving objects in a similar way to the agent itself.[17]

Loop closure

Loop closure is the problem of recognizing a previously-visited location and updating beliefs accordingly. This can be a problem because model or algorithm errors can assign low priors to the location. Typical loop closure methods apply a second algorithm to compute some type of sensor measure similarity, and reset the location priors when a match is detected. For example, this can be done by storing and comparing bag of words vectors of scale-invariant feature transform (SIFT) features from each previously visited location.

Exploration

Active SLAM studies the combined problem of SLAM with deciding where to move next to build the map as efficiently as possible. The need for active exploration is especially pronounced in sparse sensing regimes such as tactile SLAM. Active SLAM is generally performed by approximating the entropy of the map under hypothetical actions. "Multi agent SLAM" extends this problem to the case of multiple robots coordinating themselves to explore optimally.

Biological inspiration

In neuroscience, the hippocampus appears to be involved in SLAM-like computations,[18][19][20] giving rise to place cells, and has formed the basis for bio-inspired SLAM systems such as RatSLAM.

Collaborative SLAM

Collaborative SLAM combines sensors from multiple robots or users to generate 3D maps.[21] This capability was demonstrated by a number of teams in the 2021 DARPA Subterranean Challenge.

Specialized SLAM methods

Acoustic SLAM

An extension of the common SLAM problem has been applied to the acoustic domain, where environments are represented by the three-dimensional (3D) position of sound sources, termed aSLAM (Acoustic Simultaneous Localization and Mapping).[22] Early implementations of this technique have used direction-of-arrival (DoA) estimates of the sound source location, and rely on principal techniques of sound localization to determine source locations. An observer, or robot must be equipped with a microphone array to enable use of Acoustic SLAM, so that DoA features are properly estimated. Acoustic SLAM has paved foundations for further studies in acoustic scene mapping, and can play an important role in human-robot interaction through speech. To map multiple, and occasionally intermittent sound sources, an acoustic SLAM system uses foundations in random finite set theory to handle the varying presence of acoustic landmarks.[23] However, the nature of acoustically derived features leaves Acoustic SLAM susceptible to problems of reverberation, inactivity, and noise within an environment.

Audiovisual SLAM

Originally designed for human–robot interaction, Audio-Visual SLAM is a framework that provides the fusion of landmark features obtained from both the acoustic and visual modalities within an environment.[24] Human interaction is characterized by features perceived in not only the visual modality, but the acoustic modality as well; as such, SLAM algorithms for human-centered robots and machines must account for both sets of features. An Audio-Visual framework estimates and maps positions of human landmarks through use of visual features like human pose, and audio features like human speech, and fuses the beliefs for a more robust map of the environment. For applications in mobile robotics (ex. drones, service robots), it is valuable to use low-power, lightweight equipment such as monocular cameras, or microelectronic microphone arrays. Audio-Visual SLAM can also allow for complimentary function of such sensors, by compensating the narrow field-of-view, feature occlusions, and optical degradations common to lightweight visual sensors with the full field-of-view, and unobstructed feature representations inherent to audio sensors. The susceptibility of audio sensors to reverberation, sound source inactivity, and noise can also be accordingly compensated through fusion of landmark beliefs from the visual modality. Complimentary function between the audio and visual modalities in an environment can prove valuable for the creation of robotics and machines that fully interact with human speech and human movement.

Implementation methods

Further information: Engineering:List of SLAM methods

Various SLAM algorithms are implemented in the open-source software Robot Operating System (ROS) libraries, often used together with the Point Cloud Library for 3D maps or visual features from OpenCV.

EKF SLAM

In robotics, EKF SLAM is a class of algorithms which uses the extended Kalman filter (EKF) for SLAM. Typically, EKF SLAM algorithms are feature based, and use the maximum likelihood algorithm for data association. In the 1990s and 2000s, EKF SLAM had been the de facto method for SLAM, until the introduction of FastSLAM.[25]

Associated with the EKF is the gaussian noise assumption, which significantly impairs EKF SLAM's ability to deal with uncertainty. With greater amount of uncertainty in the posterior, the linearization in the EKF fails.[26]

GraphSLAM

In robotics, GraphSLAM is a SLAM algorithm which uses sparse information matrices produced by generating a factor graph of observation interdependencies (two observations are related if they contain data about the same landmark).[26] It is based on optimization algorithms.

History

A seminal work in SLAM is the research of R.C. Smith and P. Cheeseman on the representation and estimation of spatial uncertainty in 1986.[27][28] Other pioneering work in this field was conducted by the research group of Hugh F. Durrant-Whyte in the early 1990s.[29] which showed that solutions to SLAM exist in the infinite data limit. This finding motivates the search for algorithms which are computationally tractable and approximate the solution. The acronym SLAM was coined within the paper, "Localization of Autonomous Guided Vehicles" which first appeared in ISR in 1995.[30]

The self-driving STANLEY and JUNIOR cars, led by Sebastian Thrun, won the DARPA Grand Challenge and came second in the DARPA Urban Challenge in the 2000s, and included SLAM systems, bringing SLAM to worldwide attention. Mass-market SLAM implementations can now be found in consumer robot vacuum cleaners[31] and virtual reality headsets such as the Meta Quest 2 and PICO 4 for markerless inside-out tracking.

See also


References

  1. ↑ Thrun, Sebastian; Burgard, Wolfram; Fox, Dieter. Probabalistic Robotics. The MIT Press. p. 309. 
  2. ↑ Julier, S.; Uhlmann, J. (2001). "Building a Million-Beacon Map.". Proceedings of ISAM Conference on Intelligent Systems for Manufacturing. doi:10.1117/12.444158. 
  3. ↑ Csorba, M.; Uhlmann, J. (1997). "A Suboptimal Algorithm for Automatic Map Building.". Proceedings of the 1997 American Control Conference. doi:10.1109/ACC.1997.611857. 
  4. ↑ Jaulin, L. (2009). "A nonlinear set-membership approach for the localization and map building of an underwater robot using interval constraint propagation". IEEE Transactions on Robotics 25: 88–98. doi:10.1109/TRO.2008.2010358. http://www.ensta-bretagne.fr/jaulin/paper_reder_ieee_tro.pdf. 
  5. ↑ Jaulin, L. (2011). "Range-only SLAM with occupancy maps; A set-membership approach". IEEE Transactions on Robotics 27 (5): 1004–1010. doi:10.1109/TRO.2011.2147110. http://www.ensta-bretagne.fr/jaulin/paper_dig_slam.pdf. 
  6. ↑ Cadena, Cesar; Carlone, Luca; Carrillo, Henry; Latif, Yasir; Scaramuzza, Davide; Neira, Jose; Reid, Ian; Leonard, John J. (2016). "Past, Present, and Future of Simultaneous Localization and Mapping: Toward the Robust-Perception Age" (in en-US). IEEE Transactions on Robotics 32 (6): 1309–1332. doi:10.1109/tro.2016.2624754. ISSN 1552-3098. Bibcode: 2016arXiv160605830C. 
  7. ↑ Cummins, Mark; Newman, Paul (June 2008). "FAB-MAP: Probabilistic localization and mapping in the space of appearance". The International Journal of Robotics Research 27 (6): 647–665. doi:10.1177/0278364908090961. http://www.robots.ox.ac.uk/~mjc/Papers/IJRR_2008_FabMap.pdf. Retrieved 23 July 2014. 
  8. ↑ 8.0 8.1 Magnabosco, M.; Breckon, T.P. (February 2013). "Cross-Spectral Visual Simultaneous Localization And Mapping (SLAM) with Sensor Handover". Robotics and Autonomous Systems 63 (2): 195–208. doi:10.1016/j.robot.2012.09.023. http://www.durham.ac.uk/toby.breckon/publications/papers/magnabosco13slam.pdf. Retrieved 5 November 2013. 
  9. ↑ Karlsson, N. (2005). "The vSLAM Algorithm for Robust Localization and Mapping". Int. Conf. on Robotics and Automation (ICRA). doi:10.1109/ROBOT.2005.1570091. 
  10. ↑ Fox, C.; Evans, M.; Pearson, M.; Prescott, T. (2012). "Tactile SLAM with a biomimetic whiskered robot.". Proc. IEEE Int. Conf. on Robotics and Automation (ICRA). http://eprints.uwe.ac.uk/18384/1/fox_icra12_submitted.pdf. 
  11. ↑ Marck, J.W.; Mohamoud, A.; v.d. Houwen, E.; van Heijster, R. (2013). "Indoor radar SLAM A radar application for vision and GPS denied environments.". Radar Conference (EuRAD), 2013 European. http://publications.tno.nl/publication/34607287/4nJ48k/marck-2013-indoor.pdf. 
  12. ↑ Evers, Christine, Alastair H. Moore, and Patrick A. Naylor. "Acoustic simultaneous localization and mapping (a-SLAM) of a moving microphone array and its surrounding speakers." 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2016.
  13. ↑ Ferris, Brian, Dieter Fox, and Neil D. Lawrence. "Wi-Fi-slam using gaussian process latent variable models ." IJCAI. Vol. 7. No. 1. 2007.
  14. ↑ Robertson, P.; Angermann, M.; Krach, B. (2009). "Simultaneous Localization and Mapping for Pedestrians using only Foot-Mounted Inertial Sensors". Ubicomp 2009. Orlando, Florida, USA: ACM. doi:10.1145/1620545.1620560. http://www.kn-s.dlr.de/indoornav/ubicomp2009_final_my_pub.pdf. 
  15. ↑ Perera, Samunda; Pasqual, Ajith (2011). "Towards Realtime Handheld MonoSLAM in Dynamic Environments". in Bebis, George; Boyle, Richard; Parvin, Bahram et al. (in en). Advances in Visual Computing. Lecture Notes in Computer Science. 6938. Springer Berlin Heidelberg. pp. 313–324. doi:10.1007/978-3-642-24028-7_29. ISBN 9783642240287. 
  16. ↑ Perera, Samunda; Barnes, Dr.Nick; Zelinsky, Dr.Alexander (2014), Ikeuchi, Katsushi, ed., "Exploration: Simultaneous Localization and Mapping (SLAM)" (in en), Computer Vision: A Reference Guide (Springer US): pp. 268–275, doi:10.1007/978-0-387-31439-6_280, ISBN 9780387314396 
  17. ↑ Wang, Chieh-Chih; Thorpe, Charles; Thrun, Sebastian; Hebert, Martial; Durrant-Whyte, Hugh (2007). "Simultaneous Localization, Mapping and Moving Object Tracking". Int. J. Robot. Res. 26 (9): 889–916. doi:10.1177/0278364907081229. https://www.ri.cmu.edu/pub_files/pub4/wang_chieh_chih_2007_1/wang_chieh_chih_2007_1.pdf. 
  18. ↑ Howard, MW; Fotedar, MS; Datey, AV; Hasselmo, ME (2005). "The temporal context model in spatial navigation and relational learning: toward a common explanation of medial temporal lobe function across domains". Psychological Review 112 (1): 75–116. doi:10.1037/0033-295X.112.1.75. PMID 15631589. 
  19. ↑ Fox, C; Prescott, T (2010). "Hippocampus as unitary coherent particle filter". The 2010 International Joint Conference on Neural Networks (IJCNN). pp. 1–8. doi:10.1109/IJCNN.2010.5596681. ISBN 978-1-4244-6916-1. http://eprints.whiterose.ac.uk/108622/1/Fox2010_HippocampusUnitaryCoherentParticleFilter.pdf. 
  20. ↑ Milford, MJ; Wyeth, GF; Prasser, D (2004). "RatSLAM: A hippocampal model for simultaneous localization and mapping". IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004. pp. 403–408 Vol.1. doi:10.1109/ROBOT.2004.1307183. ISBN 0-7803-8232-3. https://eprints.qut.edu.au/37593/1/c37593.pdf. 
  21. ↑ Zou, Danping, and Ping Tan. "Coslam: Collaborative visual slam in dynamic environments." IEEE transactions on pattern analysis and machine intelligence 35.2 (2012): 354–366.
  22. ↑ Evers, Christine; Naylor, Patrick A. (September 2018). "Acoustic SLAM". IEEE/ACM Transactions on Audio, Speech, and Language Processing 26 (9): 1484–1498. doi:10.1109/TASLP.2018.2828321. ISSN 2329-9290. https://eprints.soton.ac.uk/437941/1/08340823.pdf. 
  23. ↑ Mahler, R.P.S. (October 2003). "Multitarget bayes filtering via first-order multitarget moments" (in en). IEEE Transactions on Aerospace and Electronic Systems 39 (4): 1152–1178. doi:10.1109/TAES.2003.1261119. ISSN 0018-9251. Bibcode: 2003ITAES..39.1152M. 
  24. ↑ Chau, Aaron; Sekiguchi, Kouhei; Nugraha, Aditya Arie; Yoshii, Kazuyoshi; Funakoshi, Kotaro (October 2019). "Audio-Visual SLAM towards Human Tracking and Human-Robot Interaction in Indoor Environments". 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). New Delhi, India: IEEE. pp. 1–8. doi:10.1109/RO-MAN46459.2019.8956321. ISBN 978-1-7281-2622-7. 
  25. ↑ Montemerlo, M.; Thrun, S.; Koller, D.; Wegbreit, B. (2002). "FastSLAM: A factored solution to the simultaneous localization and mapping problem". pp. 593–598. https://www.cs.cmu.edu/~mmde/mmdeaaai2002.pdf. 
  26. ↑ 26.0 26.1 Thrun, S.; Burgard, W.; Fox, D. (2005). Probabilistic Robotics. Cambridge: The MIT Press. ISBN 0-262-20162-3. 
  27. ↑ Smith, R.C.; Cheeseman, P. (1986). "On the Representation and Estimation of Spatial Uncertainty". The International Journal of Robotics Research 5 (4): 56–68. doi:10.1177/027836498600500404. http://www.frc.ri.cmu.edu/~hpm/project.archive/reference.file/Smith&Cheeseman.pdf. Retrieved 2008-04-08. 
  28. ↑ Smith, R.C.; Self, M.; Cheeseman, P. (1986). "Estimating Uncertain Spatial Relationships in Robotics". UAI '86. University of Pennsylvania, Philadelphia, PA, USA: Elsevier. pp. 435–461. http://www-robotics.usc.edu/~maja/teaching/cs584/papers/smith90stochastic.pdf. 
  29. ↑ Leonard, J.J.; Durrant-whyte, H.F. (1991). "Simultaneous map building and localization for an autonomous mobile robot". Proceedings IROS '91:IEEE/RSJ International Workshop on Intelligent Robots and Systems '91. pp. 1442–1447. doi:10.1109/IROS.1991.174711. ISBN 978-0-7803-0067-5. 
  30. ↑ Durrant-Whyte, H.; Bailey, T. (June 2006). "Simultaneous localization and mapping: part I". IEEE Robotics Automation Magazine 13 (2): 99–110. doi:10.1109/MRA.2006.1638022. ISSN 1558-223X. 
  31. ↑ Knight, Will (September 16, 2015). "With a Roomba Capable of Navigation, iRobot Eyes Advanced Home Robots" (in en). MIT Technology Review. https://www.technologyreview.com/s/541326/the-roomba-now-sees-and-maps-a-home/. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Simultaneous_localization_and_mapping&oldid=3365939"