Zhikun She
Zhikun She
School of Mathematics and Systems Science, Beihang University
Verified email at buaa.edu.cn
Title
Cited by
Cited by
Year
Safety verification of hybrid systems by constraint propagation-based abstraction refinement
S Ratschan, Z She
ACM Transactions on Embedded Computing Systems (TECS) 6 (1), 8-es, 2007
1922007
Safety verification of hybrid systems by constraint propagation based abstraction refinement
S Ratschan, Z She
International Workshop on Hybrid Systems: Computation and Control, 573-589, 2005
1672005
Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functions
S Ratschan, Z She
SIAM Journal on Control and Optimization 48 (7), 4377-4394, 2010
1072010
Safety verification for probabilistic hybrid systems
L Zhang, Z She, S Ratschan, H Hermanns, EM Hahn
International Conference on Computer Aided Verification, 196-211, 2010
722010
Discovering multiple Lyapunov functions for switched hybrid systems
Z She, B Xue
SIAM Journal on Control and Optimization 52 (5), 3312-3340, 2014
422014
Under-approximating backward reachable sets by polytopes
B Xue, Z She, A Easwaran
International Conference on Computer Aided Verification, 457-476, 2016
342016
Discovering polynomial Lyapunov functions for continuous dynamical systems
Z She, H Li, B Xue, Z Zheng, B Xia
Journal of Symbolic Computation 58, 41-63, 2013
282013
Safety verification for probabilistic hybrid systems
L Zhang, Z She, S Ratschan, H Hermanns, EM Hahn
European Journal of Control 18 (6), 572-587, 2012
282012
Constraints for continuous reachability in the verification of hybrid systems
S Ratschan, Z She
International Conference on Artificial Intelligence and Symbolic Computation …, 2006
282006
Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces
Q Liang, Z She, L Wang, MZQ Chen, QG Wang
SIAM Journal on Control and Optimization 55 (6), 4048-4071, 2017
272017
Stabilizability of time-varying switched systems based on piecewise continuous scalar functions
J Lu, Z She, W Feng, SS Ge
IEEE Transactions on Automatic Control 64 (6), 2637-2644, 2018
262018
A semi-algebraic approach for asymptotic stability analysis
Z She, B Xia, R Xiao, Z Zheng
Nonlinear Analysis: Hybrid Systems 3 (4), 588-596, 2009
262009
Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
J Lu, Z She, SS Ge, X Jiang
Nonlinear Analysis: Hybrid Systems 27, 44-61, 2018
252018
General Lyapunov functions for consensus of nonlinear multiagent systems
Q Liang, Z She, L Wang, H Su
IEEE Transactions on Circuits and Systems II: Express Briefs 64 (10), 1232-1236, 2017
252017
Brief paper: Computing an invariance kernel with target by computing Lyapunov-like functions
Z She, B Xue
IET Control Theory & Applications 7 (15), 1932-1940, 2013
252013
Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov‐like functions
X Zheng, Z She, Q Liang, M Li
International Journal of Robust and Nonlinear Control 28 (6), 2191-2208, 2018
212018
Providing a basin of attraction to a target region by computation of Lyapunov-like functions
S Ratschan, Z She
2006 IEEE International Conference on Computational Cybernetics, 1-5, 2006
192006
Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability
J Lu, Z She
International Journal of Systems Science 47 (15), 3561-3572, 2016
182016
The existence of transversal homoclinic orbits in a planar circular restricted four-body problem
Z She, X Cheng, C Li
Celestial Mechanics and Dynamical Astronomy 115 (3), 299-309, 2013
182013
Dwell time based stabilisability criteria for discrete-time switched systems
Z She, J Lu, Q Liang, SS Ge
International Journal of Systems Science 48 (14), 3087-3097, 2017
172017
The system can't perform the operation now. Try again later.
Articles 1–20