Folgen
Zhikun She
Zhikun She
School of Mathematics and Systems Science, Beihang University
Bestätigte E-Mail-Adresse bei buaa.edu.cn
Titel
Zitiert von
Zitiert von
Jahr
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
1172010
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
762010
Discovering multiple Lyapunov functions for switched hybrid systems
Z She, B Xue
SIAM Journal on Control and Optimization 52 (5), 3312-3340, 2014
472014
Under-approximating backward reachable sets by polytopes
B Xue, Z She, A Easwaran
International Conference on Computer Aided Verification, 457-476, 2016
412016
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
342018
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
Constraints for continuous reachability in the verification of hybrid systems
S Ratschan, Z She
International Conference on Artificial Intelligence and Symbolic Computation …, 2006
302006
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
292013
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
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
292009
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
282017
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
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
262018
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
232018
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
202018
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
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
192016
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20