Text this: Model Abstraction in Dynamical Systems: Application to Mobile Robot Control