关注
Zhikun She
Zhikun She
School of Mathematics and Systems Science, Beihang University
在 buaa.edu.cn 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
2022007
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
1722005
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
1192010
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
772010
Discovering multiple Lyapunov functions for switched hybrid systems
Z She, B Xue
SIAM Journal on Control and Optimization 52 (5), 3312-3340, 2014
482014
Under-approximating backward reachable sets by polytopes
B Xue, Z She, A Easwaran
International Conference on Computer Aided Verification, 457-476, 2016
442016
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
352018
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
312017
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
312013
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
302009
Constraints for continuous reachability in the verification of hybrid systems
S Ratschan, Z She
International Conference on Artificial Intelligence and Symbolic Computation …, 2006
302006
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
292017
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
292012
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
282018
Computing an invariance kernel with target by computing Lyapunovlike functions
Z She, B Xue
IET Control Theory & Applications 7 (15), 1932-1940, 2013
282013
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
252018
Computing multiple Lyapunovlike functions for inner estimates of domains of attraction of switched hybrid systems
X Zheng, Z She, J Lu, M Li
International Journal of Robust and Nonlinear Control 28 (17), 5191-5212, 2018
222018
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
202016
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
202013
Dynamics of a density-dependent stage-structured predator–prey system with Beddington–DeAngelis functional response
Z She, H Li
Journal of Mathematical Analysis and Applications 406 (1), 188-202, 2013
192013
系统目前无法执行此操作,请稍后再试。
文章 1–20