Autonomous navigation for an unmanned aerial vehicle by the decomposition coordination method | IEEE Conference Publication | IEEE Xplore