Study on Tool Wear Monitoring Based on Multi-source Information Fusion. - Lanshen Guo; Haiwei Zhang; Yanxia Qi; Zhi Wei 002 (ICIC (2), 2008)

SPARDL: A Requirement Modeling Language for Periodic Control System. - Zheng Wang 005; Jianwen Li; Yongxin Zhao; Yanxia Qi; Geguang Pu; Jifeng He 001; Bin Gu 006 (ISoLA (1), 2010)

An Event-B Interpretation for SPARDL Model. - Jianwen Li; Zheng Wang 005; Yongxin Zhao; Geguang Pu; Yanxia Qi; Bin Gu 006 (HASE, 2011)

An Approach to Requirement Analysis for Periodic Control Systems. - Jianwen Li; Geguang Pu; Zheng Wang 005; Yuxiang Chen; Liyun Zhang; Yanxia Qi; Bin Gu 006 (SEW, 2012)