Modeling and analysis of perceptive robot controller based on hybrid automata | IEEE Conference Publication | IEEE Xplore