Email Record: Model Abstraction in Dynamical Systems: Application to Mobile Robot Control