This monograph covers theoretical aspects of simultaneous localization and map building for mobile robots, such as estimation stability, nonlinear models for the propagation of uncertainties, temporal landmark compatibility, as well as issues pertaining the coupling of control and SLAM. One of the most relevant topics covered in this monograph is the theoretical formalism of partial observability in SLAM. The authors show that the typical approach to SLAM using a Kalman filter results in marginal filter stability, making the final reconstruction estimates dependant on the initial vehicle estimates. However, by anchoring the map to a fixed landmark in the scene, they are able to attain full observability in SLAM, with reduced covariance estimates. This result earned the first author the EURON Georges Giralt Best PhD Award in its fourth edition, and has prompted the SLAM community to think in new ways to approach the mapping problem. For example, by creating local maps anchored on a...