Intelligent Modeling and Verification - Guiming Luo; Graziano Chesi; Xiaoyu Song; Xiaojing Yang (Journal of Applied Mathematics)