The proof of Husqvarna Automower 415X: the hitech robotic lawnmower