Jiang Liu

According to our database, Jiang Liu authored at least 8 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems.

Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan

CoRR, 2023

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.

Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan

CoRR, 2023

2015

Abstraction of Elementary Hybrid Systems by Variable Transformation.

Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou

Proceedings of the FM 2015: Formal Methods, 2015

2014

Discovering non-terminating inputs for multi-path polynomial programs.

Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao

J. Syst. Sci. Complex., 2014

2012

Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems.

Jiang Liu, Naijun Zhan, Hengjun Zhao

Math. Comput. Sci., 2012

2011

A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems

Jiang Liu, Naijun Zhan, Hengjun Zhao

CoRR, 2011

Computing semi-algebraic invariants for polynomial dynamical systems.

Jiang Liu, Naijun Zhan, Hengjun Zhao

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

A Calculus for Hybrid CSP.

Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010