Constraints for Continuous Reachability in the Verification of Hybrid Systems. - Stefan Ratschan; Zhikun She (AISC, 2006)

A Semi-Algebraic Approach for the Computation of Lyapunov Functions. - Zhikun She; Bican Xia; Rong Xiao 004 (Computational Intelligence, 2006)

Language-Based Abstraction Refinement for Hybrid System Verification. - Felix Klaedtke; Stefan Ratschan; Zhikun She (VMCAI, 2007)

Safety verification of hybrid systems by constraint propagation-based abstraction refinement. - Stefan Ratschan; Zhikun She (ACM Trans. Embed. Comput. Syst., 2007)

Recursive and Backward Reasoning in the Verification on Hybrid Systems. - Stefan Ratschan; Zhikun She (ICINCO-SPSMC, 2008)

Reparameterization based consistent graph-structured linear programs. - Hongbo Zhou 001; Qiang Cheng 001; Zhikun She (SAC, 2010)

Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions. - Stefan Ratschan; Zhikun She (SIAM J. Control. Optim., 2010)

Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. - Zhikun She; Bai Xue 001 (CASC, 2011)

Termination Analysis of Safety Verification for Non-linear Robust Hybrid Systems. - Zhikun She (ICINCO (1), 2011)

Algebraic analysis on asymptotic stability of continuous dynamical systems. - Zhikun She; Bai Xue 001; Zhiming Zheng 001 (ISSAC, 2011)

Condition number based complexity estimate for solving polynomial systems. - Zhikun She; Bican Xia; Zhiming Zheng 001 (J. Comput. Appl. Math., 2011)

Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems. - Zhikun She; Haoyang Li (CASC, 2012)

Algebraic analysis on asymptotic stability of switched hybrid systems. - Zhikun She; Bai Xue 001 (HSCC, 2012)

Safety Verification for Probabilistic Hybrid Systems. - Lijun Zhang 001; Zhikun She; Stefan Ratschan; Holger Hermanns; Ernst Moritz Hahn (Eur. J. Control, 2012)

Discovering polynomial Lyapunov functions for continuous dynamical systems. - Zhikun She; Haoyang Li; Bai Xue 001; Zhiming Zheng 001; Bican Xia (J. Symb. Comput., 2013)

Discovering Multiple Lyapunov Functions for Switched Hybrid Systems. - Zhikun She; Bai Xue 001 (SIAM J. Control. Optim., 2014)

Preference Planning for Markov Decision Processes. - Meilun Li; Zhikun She; Andrea Turrini; Lijun Zhang 001 (AAAI, 2015)

Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. - Zhikun She; Dan Song 010; Meilun Li (CASC, 2015)

Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability. - Junjie Lu; Zhikun She; Bai Xue 001 (CDC, 2015)

Under-Approximating Backward Reachable Sets by Polytopes. - Bai Xue 001; Zhikun She; Arvind Easwaran (CAV (1), 2016)

Stability and Hopf Bifurcation of a Delayed Density-Dependent Predator-Prey System with Beddington-DeAngelis Functional Response. - Haiyin Li; Gang Meng; Zhikun She (Int. J. Bifurc. Chaos, 2016)

Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability. - Junjie Lu; Zhikun She (Int. J. Syst. Sci., 2016)

Inner-approximations of domains of attraction for discrete-time switched systems with arbitrary switching. - Xiuliang Zheng; Junjie Lu; Zhikun She (CDC, 2017)

Continuity of the eigenvalues for a vibrating beam. - Xin Jiang; Kairong Liu; Gang Meng; Zhikun She (Appl. Math. Lett., 2017)

Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response. - Xin Jiang; Gang Meng; Zhikun She (Appl. Math. Lett., 2017)

Study on Chaotic Behavior of the Restricted Four-Body Problem with an Equilateral Triangle Configuration. - Xuhua Cheng; Zhikun She (Int. J. Bifurc. Chaos, 2017)

Bifurcation Analysis of a Predator-Prey System with Ratio-Dependent Functional Response. - Xin Jiang; Zhikun She; Zhaosheng Feng; Xiuliang Zheng (Int. J. Bifurc. Chaos, 2017)

Dwell time based stabilisability criteria for discrete-time switched systems. - Zhikun She; Junjie Lu; Quanyi Liang; Shuzhi Sam Ge (Int. J. Syst. Sci., 2017)

Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces. - Quanyi Liang; Zhikun She; Lei Wang 055; Michael Z. Q. Chen; Qing-Guo Wang (SIAM J. Control. Optim., 2017)

Underapproximating Backward Reachable Sets by Semialgebraic Sets. - Bai Xue 001; Zhikun She; Arvind Easwaran (IEEE Trans. Autom. Control., 2017)

General Lyapunov Functions for Consensus of Nonlinear Multiagent Systems. - Quanyi Liang; Zhikun She; Lei Wang 055; Housheng Su (IEEE Trans. Circuits Syst. II Express Briefs, 2017)

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. - Meilun Li; Peter Nazier Mosaad; Martin Fränzle; Zhikun She; Bai Xue 001 (FORMATS, 2018)

Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming. - Kairong Liu; Meilun Li; Zhikun She (CDC, 2019)

Distributed optimization with closed convex set for multi-agent networks over directed graphs. - Tianrong Weng; Lei Wang 055; Zhikun She; Quanyi Liang (J. Frankl. Inst., 2019)

Stabilizability of Time-Varying Switched Systems Based on Piecewise Continuous Scalar Functions. - Junjie Lu; Zhikun She; Weijie Feng; Shuzhi Sam Ge (IEEE Trans. Autom. Control., 2019)

Achieving output consensus of heterogeneous network of two dimensional agents via static diffusive controller. - Quanyi Liang; Chong-Jin Ong; Zhikun She (ACC, 2020)

$ mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. - Ruiqi Hu; Meilun Li; Zhikun She (SETTA, 2021)

Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming. - Kairong Liu; Meilun Li; Zhikun She (SIAM J. Control. Optim., 2021)

Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. - Bai Xue 001; Qiuye Wang; Naijun Zhan; Shijie Wang; Zhikun She (SIAM J. Control. Optim., 2021)

Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming. - Junjie Lu; Zhikun She; Bodan Liu; Shuzhi Sam Ge (IEEE Trans. Autom. Control., 2021)

Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions. - Zhikun She; Meilun Li (IEEE Trans. Autom. Control., 2021)

A Decomposition Approach for Synchronization of Heterogeneous Complex Networks. - Lei Wang 055; Quanyi Liang; Zhikun She; Jinhu Lü; Qing-Guo Wang (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Estimating Minimal Domains of Attraction for Uncertain Nonlinear Systems. - Shijie Wang 005; Zhikun She; Shuzhi Sam Ge (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. - Ruiqi Hu; Kairong Liu; Zhikun She (MEMOCODE, 2022)

OURS: Over- and Under-approximating Reachable Sets for analytic time-invariant differential equations. - Ruiqi Hu; Zhikun She (J. Syst. Archit., 2022)

Output consensusability of network with two-dimensional heterogeneous linear agents via static diffusive output feedback. - Quanyi Liang; Chong-Jin Ong; Zhikun She (Syst. Control. Lett., 2022)

Inner-Estimating Domains of Attraction for Nonpolynomial Systems With Polynomial Differential Inclusions. - Shijie Wang 005; Zhikun She; Shuzhi Sam Ge (IEEE Trans. Cybern., 2022)

Polynomial Lyapunov Functions for Synchronization of Nonlinearly Coupled Complex Networks. - Shuyuan Zhang 001; Lei Wang 055; Quanyi Liang; Zhikun She; Qing-Guo Wang (IEEE Trans. Cybern., 2022)

Probabilistic Preference Planning Problem for Markov Decision Processes. - Meilun Li; Andrea Turrini; Ernst Moritz Hahn; Zhikun She; Lijun Zhang 001 (IEEE Trans. Software Eng., 2022)

Reachability Based Uniform Controllability to Target Set with Evolution Function. - Jia Geng; Ruiqi Hu; Kairong Liu; Zhihui Li; Zhikun She (SETTA, 2023)

Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions. - Shijie Wang; Zhikun She; Quanyi Liang; Junjie Lu; Wenyuan Wu (Int. J. Syst. Sci., 2023)

Mean-Field-Based Density Control for Swarm Robotics Passing-Through a Virtual Tube. - Yangqi Lei; Quan Quan; Zhikun She (IEEE Control. Syst. Lett., 2024)

Invariant Kernel-Based Synchronization for Certain Edge-Colored Networks. - Quanyi Liang; Zhikun She; Lei Wang 055; Qing-Guo Wang (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Complex state networks based safety analysis of complex engineering systems considering closed-loop feedback. - Mingzhe Li; Zhikun She; Dan Xu 004; Xueying Song; Wei Jia (Reliab. Eng. Syst. Saf., 2025)

Navigating Robot Swarm Through a Virtual Tube with Flow-Adaptive Distribution Control. - Yongwei Zhang; Shuli Lv; Kairong Liu; Quanyi Liang; Quan Quan; Zhikun She (CoRR, 2025)

High-Speed Interception Multicopter Control by Image-Based Visual Servoing. - Kun Yang; Chenggang Bai; Zhikun She; Quan Quan (IEEE Trans. Control. Syst. Technol., 2025)

Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances. - Ruiqi Hu; Kairong Liu; Zhikun She (ACM Trans. Embed. Comput. Syst., 2025)