Αποστολή με SMS: Model Abstraction in Dynamical Systems: Application to Mobile Robot Control