Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Zhikun She
Observed names:
She, Zhikun,
ZHIKUN SHE
Institutions:
Putian University,
Beihang University
Observed institutions:
Max Planck Society,
Peking University,
Max Planck Institute for Informatics,
State Key Laboratory of Software Development Environment,
Putian University,
Beihang University
show all 6
ORCID:
0000-0003-2762-8730
Observed ORCID:
0000-0003-2762-8730
OpenAlex ID:
A5022816848
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
2005
·
Stefan Ratschan
, Zhikun She
·
Lecture notes in computer science
·
258
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
2010
·
Stefan Ratschan
, Zhikun She
·
SIAM Journal on Control and Optimization
·
120
Safety Verification for Probabilistic Hybrid Systems
2010
·
Lijun Zhang
, Zhikun She
, et al.
·
Lecture notes in computer science
·
59
Discovering Multiple Lyapunov Functions for Switched Hybrid Systems
2014
·
Zhikun She
, Bai Xue
·
SIAM Journal on Control and Optimization
·
57
Resilient perimeter control for hyper-congested two-region networks with MFD dynamics
2022
·
Shengling Gao
, Daqing Li
, et al.
·
Transportation Research Part B Methodological
·
50
Stabilizability of Time-Varying Switched Systems Based on Piecewise Continuous Scalar Functions
2018
·
Junjie Lu
, Zhikun She
, et al.
·
IEEE Transactions on Automatic Control
·
50
Under-Approximating Backward Reachable Sets by Polytopes
2016
·
Bai Xue
, Zhikun She
, et al.
·
Lecture notes in computer science
·
47
General Lyapunov Functions for Consensus of Nonlinear Multiagent Systems
2017
·
Quanyi Liang
, Zhikun She
, et al.
·
IEEE Transactions on Circuits & Systems II Express Briefs
·
41
Stability analysis of discrete-time switched systems via Multi-step multiple Lyapunov-like functions
2017
·
Junjie Lu
, Zhikun She
, et al.
·
Nonlinear Analysis Hybrid Systems
·
40
Discovering polynomial Lyapunov functions for continuous dynamical systems
2013
·
Zhikun She
, Haoyang Li
, et al.
·
Journal of Symbolic Computation
·
39
PDF
A semi-algebraic approach for asymptotic stability analysis
2009
·
Zhikun She
, Bican Xia
, et al.
·
Nonlinear Analysis Hybrid Systems
·
36
Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces
2017
·
Quanyi Liang
, Zhikun She
, et al.
·
SIAM Journal on Control and Optimization
·
34
Average dwell time based stability analysis for nonautonomous continuous‐time switched systems
2019
·
Junjie Lu
, Zhikun She
·
International Journal of Robust and Nonlinear Control
·
31
Safety Verification for Probabilistic Hybrid Systems
2012
·
Lijun Zhang
, Zhikun She
, et al.
·
European Journal of Control
·
30
Computing an invariance kernel with target by computing Lyapunov‐like functions
2013
·
Zhikun She
, Bai Xue
·
IET Control Theory and Applications
·
28
High-Speed Interception Multicopter Control by Image-Based Visual Servoing
2024
·
Kun Yang
, Chenggang Bai
, et al.
·
IEEE Transactions on Control Systems Technology
·
27
PDF
Estimating Minimal Domains of Attraction for Uncertain Nonlinear Systems
2020
·
Shijie Wang
, Zhikun She
, et al.
·
IEEE Transactions on Systems Man and Cybernetics Systems
·
27
Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov‐like functions
2017
·
Xiuliang Zheng
, Zhikun She
, et al.
·
International Journal of Robust and Nonlinear Control
·
26
Polynomial Lyapunov Functions for Synchronization of Nonlinearly Coupled Complex Networks
2020
·
Shuyuan Zhang
, Lei Wang
, et al.
·
IEEE Transactions on Cybernetics
·
25
Computing multiple Lyapunov‐like functions for inner estimates of domains of attraction of switched hybrid systems
2018
·
Xiuliang Zheng
, Zhikun She
, et al.
·
International Journal of Robust and Nonlinear Control
·
22
Dwell time based stabilisability criteria for discrete-time switched systems
2017
·
Zhikun She
, Junjie Lu
, et al.
·
International Journal of Systems Science
·
22
Underapproximating Backward Reachable Sets by Semialgebraic Sets
2017
·
Bai Xue
, Zhikun She
, et al.
·
IEEE Transactions on Automatic Control
·
22
Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability
2015
·
Junjie Lu
, Zhikun She
·
International Journal of Systems Science
·
22
Constraints for Continuous Reachability in the Verification of Hybrid Systems
2006
·
Stefan Ratschan
, Zhikun She
·
Lecture notes in computer science
·
22
A Decomposition Approach for Synchronization of Heterogeneous Complex Networks
2018
·
Lei Wang
, Quanyi Liang
, et al.
·
IEEE Transactions on Systems Man and Cybernetics Systems
·
20
Show more works
View as search
Works count:
116
Citation count:
1,637
H-index:
22
I10-index:
48
Year
Topic
Type
