Zhikun She

According to our database, Zhikun She authored at least 53 papers between 2006 and 2024.

Collaborative distances:

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

2024

Invariant Kernel-Based Synchronization for Certain Edge-Colored Networks.

Quanyi Liang, Zhikun She, Lei Wang, Qing-Guo Wang

IEEE Trans. Syst. Man Cybern. Syst., August, 2024

High-Speed Interception Multicopter Control by Image-based Visual Servoing.

Kun Yang, Chenggang Bai, Zhikun She, Quan Quan

CoRR, 2024

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., January, 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

Probabilistic Preference Planning Problem for Markov Decision Processes.

Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang

IEEE Trans. Software Eng., 2022

Polynomial Lyapunov Functions for Synchronization of Nonlinearly Coupled Complex Networks.

Shuyuan Zhang, Lei Wang, Quanyi Liang, Zhikun She, Qing-Guo Wang

IEEE Trans. Cybern., 2022

Inner-Estimating Domains of Attraction for Nonpolynomial Systems With Polynomial Differential Inclusions.

Shijie Wang, Zhikun She, Shuzhi Sam Ge

IEEE Trans. Cybern., 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

OURS: Over- and Under-approximating Reachable Sets for analytic time-invariant differential equations.

Ruiqi Hu, Zhikun She

J. Syst. Archit., 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

Estimating Minimal Domains of Attraction for Uncertain Nonlinear Systems.

Shijie Wang, Zhikun She, Shuzhi Sam Ge

IEEE Trans. Syst. Man Cybern. Syst., 2021

A Decomposition Approach for Synchronization of Heterogeneous Complex Networks.

Lei Wang, Quanyi Liang, Zhikun She, Jinhu Lü, Qing-Guo Wang

IEEE Trans. Syst. Man Cybern. Syst., 2021

Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions.

Zhikun She, Meilun Li

IEEE Trans. Autom. Control., 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

Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems.

Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She

SIAM J. Control. Optim., 2021

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

Kairong Liu, Meilun Li, Zhikun She

SIAM J. Control. Optim., 2021

$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations.

Ruiqi Hu, Meilun Li, Zhikun She

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

2020

Achieving output consensus of heterogeneous network of two dimensional agents via static diffusive controller.

Quanyi Liang, Chong-Jin Ong, Zhikun She

Proceedings of the 2020 American Control Conference, 2020

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

Distributed optimization with closed convex set for multi-agent networks over directed graphs.

Tianrong Weng, Lei Wang, Zhikun She, Quanyi Liang

J. Frankl. Inst., 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

2018

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.

Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017

General Lyapunov Functions for Consensus of Nonlinear Multiagent Systems.

Quanyi Liang, Zhikun She, Lei Wang, Housheng Su

IEEE Trans. Circuits Syst. II Express Briefs, 2017

Underapproximating Backward Reachable Sets by Semialgebraic Sets.

Bai Xue, Zhikun She, Arvind Easwaran

IEEE Trans. Autom. Control., 2017

Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces.

Quanyi Liang, Zhikun She, Lei Wang, Michael Z. Q. Chen, Qing-Guo Wang

SIAM J. Control. Optim., 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

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

Study on Chaotic Behavior of the Restricted Four-Body Problem with an Equilateral Triangle Configuration.

Xuhua Cheng, Zhikun She

Int. J. Bifurc. Chaos, 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

Continuity of the eigenvalues for a vibrating beam.

Xin Jiang, Kairong Liu, Gang Meng, Zhikun She

Appl. Math. Lett., 2017

Inner-approximations of domains of attraction for discrete-time switched systems with arbitrary switching.

Xiuliang Zheng, Junjie Lu, Zhikun She

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

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

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

Under-Approximating Backward Reachable Sets by Polytopes.

Bai Xue, Zhikun She, Arvind Easwaran

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability.

Junjie Lu, Zhikun She, Bai Xue

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions.

Zhikun She, Dan Song, Meilun Li

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

Preference Planning for Markov Decision Processes.

Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Discovering Multiple Lyapunov Functions for Switched Hybrid Systems.

Zhikun She, Bai Xue

SIAM J. Control. Optim., 2014

2013

Discovering polynomial Lyapunov functions for continuous dynamical systems.

Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia

J. Symb. Comput., 2013

2012

Safety Verification for Probabilistic Hybrid Systems.

Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn

Eur. J. Control, 2012

Algebraic analysis on asymptotic stability of switched hybrid systems.

Zhikun She, Bai Xue

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems.

Zhikun She, Haoyang Li

Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

2011

Condition number based complexity estimate for solving polynomial systems.

Zhikun She, Bican Xia, Zhiming Zheng

J. Comput. Appl. Math., 2011

Algebraic analysis on asymptotic stability of continuous dynamical systems.

Zhikun She, Bai Xue, Zhiming Zheng

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Termination Analysis of Safety Verification for Non-linear Robust Hybrid Systems.

Zhikun She

Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011

Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems.

Zhikun She, Bai Xue

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

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

Reparameterization based consistent graph-structured linear programs.

Hongbo Zhou, Qiang Cheng, Zhikun She

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2008

Recursive and Backward Reasoning in the Verification on Hybrid Systems.

Stefan Ratschan, Zhikun She

Proceedings of the ICINCO 2008, 2008

2007

Safety verification of hybrid systems by constraint propagation-based abstraction refinement.

Stefan Ratschan, Zhikun She

ACM Trans. Embed. Comput. Syst., 2007

Language-Based Abstraction Refinement for Hybrid System Verification.

Felix Klaedtke, Stefan Ratschan, Zhikun She

Proceedings of the Verification, 2007

2006

A Semi-Algebraic Approach for the Computation of Lyapunov Functions.

Zhikun She, Bican Xia, Rong Xiao

Proceedings of the Second IASTED International Conference on Computational Intelligence, 2006

Constraints for Continuous Reachability in the Verification of Hybrid Systems.

Stefan Ratschan, Zhikun She

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006