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