Hybrid and multi-controller architecture for autonomous system application to the navigation of a mobile robot

This paper deals with the problem of unicycle mobile robot navigation in cluttered environments. It presents in particular an approach which permits to verify the stability of the control architecture of mobile robot using the reachability analysis. To perform this analysis, we consider the robot as a hybrid dynamic system. The latter is modeled by an hybrid automata in order to verify the reachability property by using the interval analysis. The simulation results validate the proposed control architecture.