Mathematical Foundations of Navigation and Perception for an Autonomous Mobile Robot