Kairong Liu

According to our database, Kairong Liu authored at least 6 papers between 2017 and 2023.

Collaborative distances:

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

2023

Reachability Based Uniform Controllability to Target Set with Evolution Function.

Jia Geng, Ruiqi Hu, Kairong Liu, Zhihui Li, Zhikun She

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022

Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances.

Ruiqi Hu, Kairong Liu, Zhikun She

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

2021

Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming.

Kairong Liu, Meilun Li, Zhikun She

SIAM J. Control. Optim., 2021

2020

Identifying Cell Type Specific TF Combinatorial Regulation via a Two-Stage Statistical Method.

Kairong Liu, Andrew Hutchins, Yong Wang

Proceedings of the 2020 IEEE International Conference on Big Data and Smart Computing, 2020

2019

Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming.

Kairong Liu, Meilun Li, Zhikun She

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2017

Continuity of the eigenvalues for a vibrating beam.

Xin Jiang, Kairong Liu, Gang Meng, Zhikun She

Appl. Math. Lett., 2017