Model abstraction in dynamical systems: application to mobile robot control - Mellodge, Patricia; Kachroo, Pushkin 1967- (Springer, 2008)