Vitalsource Technologies, Inc. Model Abstraction In Dynamical Systems: Application To Mobile Robot Con