Robust Optimal Sliding-Mode Tracking Control for a Class of Uncertain Nonlinear MIMO Systems. - Haiping Pang; Xiuqin Yang (J. Appl. Math., 2013)

Formalization and Verification of the Powerlink Protocol Using CSP. - Haiping Pang; Ju Li; Yijia Ruan; Yanhong Huang; Jianqi Shi; Shengchao Qin (APSEC, 2016)

Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP. - Yanhong Huang; Haiping Pang; Jianqi Shi (Formal Aspects Comput., 2020)