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
2132007
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
1312010
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
1112012
Discovering multiple Lyapunov functions for switched hybrid systems
Z She, B Xue
SIAM Journal on Control and Optimization 52 (5), 3312-3340, 2014
532014
Under-approximating backward reachable sets by polytopes
B Xue, Z She, A Easwaran
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
512016
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
472018
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
362017
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
352009
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
342018
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
342013
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
312017
Constraints for continuous reachability in the verification of hybrid systems
S Ratschan, Z She
International Conference on Artificial Intelligence and Symbolic Computation …, 2006
312006
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
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
232016
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, 299-309, 2013
232013
Resilient perimeter control for hyper-congested two-region networks with MFD dynamics
S Gao, D Li, N Zheng, R Hu, Z She
Transportation Research Part B: Methodological 156, 50-75, 2022
222022
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
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
222017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20