Hierarchical control system for autonomous vehicles based on robotic formalism | IEEE Conference Publication | IEEE Xplore