Fault Diagnosis on Satellite Attitude Control with Dynamic Neural Network. - HanYong Hao; Zengqi Sun; Yu Zhang (ISNN (2), 2004)

Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT. - Zhipeng Shao; HanYong Hao; Yuanyuan Ma; Chen Wang; Jiaxuan Fei (QRS Companion, 2016)