[ FreeCourseWeb ] Reliable Robot Localization- A Constraint-Programming Approach Over Dynamical Systems