| 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 | 217 | 2007 |
| 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 | 171 | 2005 |
| 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 | 141 | 2010 |
| 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 | 116 | 2012 |
| Discovering multiple Lyapunov functions for switched hybrid systems Z She, B Xue SIAM Journal on Control and Optimization 52 (5), 3312-3340, 2014 | 59 | 2014 |
| Under-approximating backward reachable sets by polytopes B Xue, Z She, A Easwaran Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 57 | 2016 |
| 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 | 48 | 2018 |
| 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 | 40 | 2017 |
| 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 | 39 | 2018 |
| 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 | 39 | 2013 |
| 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 | 39 | 2009 |
| 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 | 33 | 2017 |
| 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 | 31 | 2022 |
| Constraints for continuous reachability in the verification of hybrid systems S Ratschan, Z She International Conference on Artificial Intelligence and Symbolic Computation …, 2006 | 31 | 2006 |
| Computing an invariance kernel with target by computing Lyapunov‐like functions Z She, B Xue IET Control Theory & Applications 7 (15), 1932-1940, 2013 | 28 | 2013 |
| 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 | 27 | 2018 |
| 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 | 24 | 2016 |
| 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 | 24 | 2013 |
| Average dwell time based stability analysis for nonautonomous continuous‐time switched systems J Lu, Z She International Journal of Robust and Nonlinear Control 29 (8), 2333-2350, 2019 | 23 | 2019 |
| 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 | 23 | 2018 |
Stefan RatschanCzech Academy of SciencesEmail verificata su cs.cas.cz