Di Lu

Hybrid formal verification of CSTR system based on MLD model

Yuhong Wang, Di Lu, Huayi Liu, 2011, 2011 Chinese Control and Decision Conference (CCDC).

Fault prediction technique based on hybrid verification

Xu Zhao, Yuhong Wang, Di Lu, 2010, Proceedings of the 29th Chinese Control Conference.