Jiang Liu

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Automatically Discovering

Qualitative Differential Equations

Top Venues

Math. Comput. Sci.

J. Syst. Sci. Complex.

Publications

Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou
Abstraction of Elementary Hybrid Systems by Variable Transformation. FM (2015)
Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao
Discovering non-terminating inputs for multi-path polynomial programs. J. Syst. Sci. Complex. 27 (6) (2014)
Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou
Abstraction of Elementary Hybrid Systems by Variable Transformation. CoRR (2014)
Jiang Liu, Naijun Zhan, Hengjun Zhao
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. Math. Comput. Sci. 6 (4) (2012)
Jiang Liu, Naijun Zhan, Hengjun Zhao
A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems CoRR (2011)
Jiang Liu, Naijun Zhan, Hengjun Zhao
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems CoRR (2011)
Jiang Liu, Naijun Zhan, Hengjun Zhao
Computing semi-algebraic invariants for polynomial dynamical systems. EMSOFT (2011)
Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou
A Calculus for Hybrid CSP. APLAS (2010)