Diagnostic Tree Generation Method Based on Global Optimal AO * Algorithm | IEEE Conference Publication | IEEE Xplore