A Calculus for Hybrid CSP. - Jiang Liu 009; Jidong Lv; Zhao Quan; Naijun Zhan; Hengjun Zhao; Chaochen Zhou; Liang Zou (APLAS, 2010)

Computing semi-algebraic invariants for polynomial dynamical systems. - Jiang Liu 009; Naijun Zhan; Hengjun Zhao (EMSOFT, 2011)

A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems - Jiang Liu 009; Naijun Zhan; Hengjun Zhao (CoRR, 2011)

Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. - Jiang Liu 009; Naijun Zhan; Hengjun Zhao (Math. Comput. Sci., 2012)

Discovering non-terminating inputs for multi-path polynomial programs. - Jiang Liu 009; Ming Xu 010; Naijun Zhan; Hengjun Zhao (J. Syst. Sci. Complex., 2014)

Abstraction of Elementary Hybrid Systems by Variable Transformation. - Jiang Liu 009; Naijun Zhan; Hengjun Zhao; Liang Zou (FM, 2015)

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. - Jiang Liu 009; Han Su 003; Yunjun Bai; Bin Gu 006; Bai Xue 001; Mengfei Yang; Naijun Zhan (CoRR, 2023)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. - Han Su 003; Jiyu Zhu; Shenghua Feng; Yunjun Bai; Bin Gu 006; Jiang Liu 009; Mengfei Yang; Naijun Zhan (CoRR, 2023)