Model Abstraction in Dynamical Systems: Application to Mobile Robot Control - Mellodge, Patricia. (Lecture Notes in Control and Information Sciences,, 2008)