Model Abstraction in Dynamical Systems: Application to Mobile Robot Control - Mellodge, Patricia; Kachroo, Pushkin (Springer Berlin Heidelberg, 2008)