Zhikun She
Orcid: 0000-0003-2762-8730
According to our database1,
Zhikun She
authored at least 51 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions.
Int. J. Syst. Sci., January, 2023
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023
2022
IEEE Trans. Software Eng., 2022
Polynomial Lyapunov Functions for Synchronization of Nonlinearly Coupled Complex Networks.
IEEE Trans. Cybern., 2022
Inner-Estimating Domains of Attraction for Nonpolynomial Systems With Polynomial Differential Inclusions.
IEEE Trans. Cybern., 2022
Output consensusability of network with two-dimensional heterogeneous linear agents via static diffusive output feedback.
Syst. Control. Lett., 2022
OURS: Over- and Under-approximating Reachable Sets for analytic time-invariant differential equations.
J. Syst. Archit., 2022
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
2021
IEEE Trans. Syst. Man Cybern. Syst., 2021
IEEE Trans. Syst. Man Cybern. Syst., 2021
Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions.
IEEE Trans. Autom. Control., 2021
Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming.
IEEE Trans. Autom. Control., 2021
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems.
SIAM J. Control. Optim., 2021
Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming.
SIAM J. Control. Optim., 2021
$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations.
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.
Proceedings of the 2020 American Control Conference, 2020
2019
Stabilizability of Time-Varying Switched Systems Based on Piecewise Continuous Scalar Functions.
IEEE Trans. Autom. Control., 2019
Distributed optimization with closed convex set for multi-agent networks over directed graphs.
J. Frankl. Inst., 2019
Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
2018
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
2017
IEEE Trans. Circuits Syst. II Express Briefs, 2017
IEEE Trans. Autom. Control., 2017
Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces.
SIAM J. Control. Optim., 2017
Int. J. Syst. Sci., 2017
Bifurcation Analysis of a Predator-Prey System with Ratio-Dependent Functional Response.
Int. J. Bifurc. Chaos, 2017
Study on Chaotic Behavior of the Restricted Four-Body Problem with an Equilateral Triangle Configuration.
Int. J. Bifurc. Chaos, 2017
Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response.
Appl. Math. Lett., 2017
Inner-approximations of domains of attraction for discrete-time switched systems with arbitrary switching.
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.
Int. J. Syst. Sci., 2016
Stability and Hopf Bifurcation of a Delayed Density-Dependent Predator-Prey System with Beddington-DeAngelis Functional Response.
Int. J. Bifurc. Chaos, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions.
Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
SIAM J. Control. Optim., 2014
2013
J. Symb. Comput., 2013
2012
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.
Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012
2011
J. Comput. Appl. Math., 2011
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011
Termination Analysis of Safety Verification for Non-linear Robust Hybrid Systems.
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.
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.
SIAM J. Control. Optim., 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
2008
Recursive and Backward Reasoning in the Verification on Hybrid Systems.
Proceedings of the ICINCO 2008, 2008
2007
Safety verification of hybrid systems by constraint propagation-based abstraction refinement.
ACM Trans. Embed. Comput. Syst., 2007
Proceedings of the Verification, 2007
2006
A Semi-Algebraic Approach for the Computation of Lyapunov Functions.
Proceedings of the Second IASTED International Conference on Computational Intelligence, 2006
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006