×
Compute Distance To:
Author ID: she.zhikun Recent zbMATH articles by "She, Zhikun"
Published as: She, Zhikun
Documents Indexed: 57 Publications since 2002
Co-Authors: 44 Co-Authors with 57 Joint Publications
1,486 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 254 times in 175 Documents Cited by Year
Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functions. Zbl 1215.65188
Ratschan, Stefan; She, Zhikun
35
2010
Safety verification of hybrid systems by constraint propagation based abstraction refinement. Zbl 1078.93508
Ratschan, Stefan; She, Zhikun
28
2005
Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response. Zbl 1306.92050
She, Zhikun; Li, Haiyin
13
2013
Stabilizability of time-varying switched systems based on piecewise continuous scalar functions. Zbl 1482.34134
Lu, Junjie; She, Zhikun; Feng, Weijie; Ge, Shuzhi Sam
12
2019
The existence of transversal homoclinic orbits in a planar circular restricted four-body problem. Zbl 1342.70032
She, Zhikun; Cheng, Xuhua; Li, Cuiping
12
2013
Discovering polynomial Lyapunov functions for continuous dynamical systems. Zbl 1338.37025
She, Zhikun; Li, Haoyang; Xue, Bai; Zheng, Zhiming; Xia, Bican
9
2013
Uniqueness of periodic solutions of a nonautonomous density-dependent predator-prey system. Zbl 1309.34081
Li, Haiyin; She, Zhikun
9
2015
The existence of a Smale horseshoe in a planar circular restricted four-body problem. Zbl 1293.70049
She, Zhikun; Cheng, Xuhua
8
2014
Discovering multiple Lyapunov functions for switched hybrid systems. Zbl 1319.93068
She, Zhikun; Xue, Bai
8
2014
A semi-algebraic approach for asymptotic stability analysis. Zbl 1217.93153
She, Zhikun; Xia, Bican; Xiao, Rong; Zheng, Zhiming
8
2009
Study on chaotic behavior of the restricted four-body problem with an equilateral triangle configuration. Zbl 1362.70015
Cheng, Xuhua; She, Zhikun
8
2017
Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces. Zbl 1401.34066
Liang, Quanyi; She, Zhikun; Wang, Lei; Chen, Michael Z. Q.; Wang, Qing-Guo
7
2017
Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response. Zbl 1370.92138
Jiang, Xin; Meng, Gang; She, Zhikun
6
2017
Dwell time based stabilisability criteria for discrete-time switched systems. Zbl 1386.93240
She, Zhikun; Lu, Junjie; Liang, Quanyi; Ge, Shuzhi Sam
6
2017
Bifurcation analysis of a predator-prey system with ratio-dependent functional responses. Zbl 1383.34071
Jiang, Xin; She, Zhikun; Feng, Zhaosheng; Zheng, Xiuliang
6
2017
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
6
2012
Constraints for continuous reachability in the verification of hybrid systems. Zbl 1156.68476
Ratschan, Stefan; She, Zhikun
5
2006
Stability and Hopf bifurcation of a delayed density-dependent predator-prey system with Beddington-DeAngelis functional response. Zbl 1352.34109
Li, Haiyin; Meng, Gang; She, Zhikun
5
2016
Minimization of the lowest eigenvalue for a vibrating beam. Zbl 1403.34064
Liang, Quanyi; Liu, Kairong; Meng, Gang; She, Zhikun
4
2018
Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability. Zbl 1346.93330
Lu, Junjie; She, Zhikun
4
2016
Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions. Zbl 1378.93096
Lu, Junjie; She, Zhikun; Ge, Shuzhi Sam; Jiang, Xin
4
2018
Over- and under-approximations of reachable sets with series representations of evolution functions. Zbl 07352095
She, Zhikun; Li, Meilun
3
2021
Continuity of the eigenvalues for a vibrating beam. Zbl 1381.74103
Jiang, Xin; Liu, Kairong; Meng, Gang; She, Zhikun
3
2017
Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov-like functions. Zbl 1390.93719
Zheng, Xiuliang; She, Zhikun; Liang, Quanyi; Li, Meilun
3
2018
Algebraic analysis on asymptotic stability of continuous dynamical systems. Zbl 1323.68627
She, Zhikun; Xue, Bai; Zheng, Zhiming
3
2011
Dynamics of a non-autonomous density-dependent predator-prey model with Beddington-DeAngelis type. Zbl 1342.34066
Li, Haiyin; She, Zhikun
3
2016
Distributed optimization with closed convex set for multi-agent networks over directed graphs. Zbl 1406.93037
Weng, Tianrong; Wang, Lei; She, Zhikun; Liang, Quanyi
3
2019
Global dynamics of a predator-prey system with density-dependent mortality and ratio-dependent functional response. Zbl 1466.92149
Jiang, Xin; She, Zhikun; Ruan, Shigui
3
2021
Average dwell time based stability analysis for nonautonomous continuous-time switched systems. Zbl 1418.93234
Lu, Junjie; She, Zhikun
2
2019
Sum-of-squares-based consensus verification for directed networks with nonlinear protocols. Zbl 1465.93198
Liang, Quanyi; Ong, Chong-Jin; She, Zhikun
2
2020
Tightened reachability constraints for the verification of linear hybrid systems. Zbl 1163.93006
She, Zhikun; Zheng, Zhiming
2
2008
Condition number based complexity estimate for computing local extrema. Zbl 1187.68723
She, Zhikun; Zheng, Zhiming
2
2009
Stability analysis and Hopf bifurcation of density-dependent predator-prey systems with Beddington-DeAngelis functional response. Zbl 1348.34084
Jiang, Xin; She, Zhikun; Feng, Zhaosheng
2
2016
Computing multiple Lyapunov-like functions for inner estimates of domains of attraction of switched hybrid systems. Zbl 1408.93071
Zheng, Xiuliang; She, Zhikun; Lu, Junjie; Li, Meilun
2
2018
Safety verification of hybrid systems using certified multiple Lyapunov-like functions. Zbl 1400.93282
She, Zhikun; Song, Dan; Li, Meilun
2
2015
Condition number based complexity estimate for solving polynomial systems. Zbl 1211.65059
She, Zhikun; Xia, Bican; Zheng, Zhiming
2
2011
Computing a basin of attraction to a target region by solving bilinear semi-definite problems. Zbl 1345.34107
She, Zhikun; Xue, Bai
2
2011
A note on the existence of a Smale horseshoe in the planar circular restricted three-body problem. Zbl 1345.37034
Cheng, Xuhua; She, Zhikun
2
2015
A density-dependent predator-prey model of Beddington-DeAngelis type. Zbl 1306.34078
Li, Haiyin; She, Zhikun
2
2014
Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions. Zbl 1478.93587
Wang, Shijie; Wu, Wenyuan; Lu, Junjie; She, Zhikun
2
2021
Dynamics of a diffusive predator-prey system with ratio-dependent functional response and time delay. Zbl 1461.92088
Jiang, Xin; Zhang, Ran; She, Zhikun
1
2020
Algebraic analysis on asymptotic stability of switched hybrid systems. Zbl 1364.93689
She, Zhikun; Xue, Bai
1
2012
Under-approximating backward reachable sets by polytopes. Zbl 1411.93026
Xue, Bai; She, Zhikun; Easwaran, Arvind
1
2016
Underapproximating backward reachable sets by semialgebraic sets. Zbl 1390.93143
Xue, Bai; She, Zhikun; Easwaran, Arvind
1
2017
Safe over- and under-approximation of reachable sets for autonomous dynamical systems. Zbl 06989610
Li, Meilun; Mosaad, Peter N.; Fränzle, Martin; She, Zhikun; Xue, Bai
1
2018
Analysis and verification of input-to-state stability for nonautonomous discrete-time switched systems via semidefinite programming. Zbl 1471.93234
Lu, Junjie; She, Zhikun; Liu, Bodan; Ge, Shuzhi Sam
1
2021
Over- and under-approximations of reachable sets with series representations of evolution functions. Zbl 07352095
She, Zhikun; Li, Meilun
3
2021
Global dynamics of a predator-prey system with density-dependent mortality and ratio-dependent functional response. Zbl 1466.92149
Jiang, Xin; She, Zhikun; Ruan, Shigui
3
2021
Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions. Zbl 1478.93587
Wang, Shijie; Wu, Wenyuan; Lu, Junjie; She, Zhikun
2
2021
Analysis and verification of input-to-state stability for nonautonomous discrete-time switched systems via semidefinite programming. Zbl 1471.93234
Lu, Junjie; She, Zhikun; Liu, Bodan; Ge, Shuzhi Sam
1
2021
Sum-of-squares-based consensus verification for directed networks with nonlinear protocols. Zbl 1465.93198
Liang, Quanyi; Ong, Chong-Jin; She, Zhikun
2
2020
Dynamics of a diffusive predator-prey system with ratio-dependent functional response and time delay. Zbl 1461.92088
Jiang, Xin; Zhang, Ran; She, Zhikun
1
2020
Stabilizability of time-varying switched systems based on piecewise continuous scalar functions. Zbl 1482.34134
Lu, Junjie; She, Zhikun; Feng, Weijie; Ge, Shuzhi Sam
12
2019
Distributed optimization with closed convex set for multi-agent networks over directed graphs. Zbl 1406.93037
Weng, Tianrong; Wang, Lei; She, Zhikun; Liang, Quanyi
3
2019
Average dwell time based stability analysis for nonautonomous continuous-time switched systems. Zbl 1418.93234
Lu, Junjie; She, Zhikun
2
2019
Minimization of the lowest eigenvalue for a vibrating beam. Zbl 1403.34064
Liang, Quanyi; Liu, Kairong; Meng, Gang; She, Zhikun
4
2018
Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions. Zbl 1378.93096
Lu, Junjie; She, Zhikun; Ge, Shuzhi Sam; Jiang, Xin
4
2018
Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov-like functions. Zbl 1390.93719
Zheng, Xiuliang; She, Zhikun; Liang, Quanyi; Li, Meilun
3
2018
Computing multiple Lyapunov-like functions for inner estimates of domains of attraction of switched hybrid systems. Zbl 1408.93071
Zheng, Xiuliang; She, Zhikun; Lu, Junjie; Li, Meilun
2
2018
Safe over- and under-approximation of reachable sets for autonomous dynamical systems. Zbl 06989610
Li, Meilun; Mosaad, Peter N.; Fränzle, Martin; She, Zhikun; Xue, Bai
1
2018
Study on chaotic behavior of the restricted four-body problem with an equilateral triangle configuration. Zbl 1362.70015
Cheng, Xuhua; She, Zhikun
8
2017
Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces. Zbl 1401.34066
Liang, Quanyi; She, Zhikun; Wang, Lei; Chen, Michael Z. Q.; Wang, Qing-Guo
7
2017
Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response. Zbl 1370.92138
Jiang, Xin; Meng, Gang; She, Zhikun
6
2017
Dwell time based stabilisability criteria for discrete-time switched systems. Zbl 1386.93240
She, Zhikun; Lu, Junjie; Liang, Quanyi; Ge, Shuzhi Sam
6
2017
Bifurcation analysis of a predator-prey system with ratio-dependent functional responses. Zbl 1383.34071
Jiang, Xin; She, Zhikun; Feng, Zhaosheng; Zheng, Xiuliang
6
2017
Continuity of the eigenvalues for a vibrating beam. Zbl 1381.74103
Jiang, Xin; Liu, Kairong; Meng, Gang; She, Zhikun
3
2017
Underapproximating backward reachable sets by semialgebraic sets. Zbl 1390.93143
Xue, Bai; She, Zhikun; Easwaran, Arvind
1
2017
Stability and Hopf bifurcation of a delayed density-dependent predator-prey system with Beddington-DeAngelis functional response. Zbl 1352.34109
Li, Haiyin; Meng, Gang; She, Zhikun
5
2016
Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability. Zbl 1346.93330
Lu, Junjie; She, Zhikun
4
2016
Dynamics of a non-autonomous density-dependent predator-prey model with Beddington-DeAngelis type. Zbl 1342.34066
Li, Haiyin; She, Zhikun
3
2016
Stability analysis and Hopf bifurcation of density-dependent predator-prey systems with Beddington-DeAngelis functional response. Zbl 1348.34084
Jiang, Xin; She, Zhikun; Feng, Zhaosheng
2
2016
Under-approximating backward reachable sets by polytopes. Zbl 1411.93026
Xue, Bai; She, Zhikun; Easwaran, Arvind
1
2016
Uniqueness of periodic solutions of a nonautonomous density-dependent predator-prey system. Zbl 1309.34081
Li, Haiyin; She, Zhikun
9
2015
Safety verification of hybrid systems using certified multiple Lyapunov-like functions. Zbl 1400.93282
She, Zhikun; Song, Dan; Li, Meilun
2
2015
A note on the existence of a Smale horseshoe in the planar circular restricted three-body problem. Zbl 1345.37034
Cheng, Xuhua; She, Zhikun
2
2015
The existence of a Smale horseshoe in a planar circular restricted four-body problem. Zbl 1293.70049
She, Zhikun; Cheng, Xuhua
8
2014
Discovering multiple Lyapunov functions for switched hybrid systems. Zbl 1319.93068
She, Zhikun; Xue, Bai
8
2014
A density-dependent predator-prey model of Beddington-DeAngelis type. Zbl 1306.34078
Li, Haiyin; She, Zhikun
2
2014
Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response. Zbl 1306.92050
She, Zhikun; Li, Haiyin
13
2013
The existence of transversal homoclinic orbits in a planar circular restricted four-body problem. Zbl 1342.70032
She, Zhikun; Cheng, Xuhua; Li, Cuiping
12
2013
Discovering polynomial Lyapunov functions for continuous dynamical systems. Zbl 1338.37025
She, Zhikun; Li, Haoyang; Xue, Bai; Zheng, Zhiming; Xia, Bican
9
2013
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
6
2012
Algebraic analysis on asymptotic stability of switched hybrid systems. Zbl 1364.93689
She, Zhikun; Xue, Bai
1
2012
Algebraic analysis on asymptotic stability of continuous dynamical systems. Zbl 1323.68627
She, Zhikun; Xue, Bai; Zheng, Zhiming
3
2011
Condition number based complexity estimate for solving polynomial systems. Zbl 1211.65059
She, Zhikun; Xia, Bican; Zheng, Zhiming
2
2011
Computing a basin of attraction to a target region by solving bilinear semi-definite problems. Zbl 1345.34107
She, Zhikun; Xue, Bai
2
2011
Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functions. Zbl 1215.65188
Ratschan, Stefan; She, Zhikun
35
2010
A semi-algebraic approach for asymptotic stability analysis. Zbl 1217.93153
She, Zhikun; Xia, Bican; Xiao, Rong; Zheng, Zhiming
8
2009
Condition number based complexity estimate for computing local extrema. Zbl 1187.68723
She, Zhikun; Zheng, Zhiming
2
2009
Tightened reachability constraints for the verification of linear hybrid systems. Zbl 1163.93006
She, Zhikun; Zheng, Zhiming
2
2008
Constraints for continuous reachability in the verification of hybrid systems. Zbl 1156.68476
Ratschan, Stefan; She, Zhikun
5
2006
Safety verification of hybrid systems by constraint propagation based abstraction refinement. Zbl 1078.93508
Ratschan, Stefan; She, Zhikun
28
2005
all top 5

Cited by 369 Authors

25 She, Zhikun
7 Hafstein, Sigurður Freyr
6 Giesl, Peter
6 Zhan, Naijun
5 Jiang, Xin
5 Meng, Gang
5 Mireles-James, Jason D.
4 Li, Haiyin
4 Liang, Quanyi
4 Platzer, André
4 Xia, Bican
4 Xue, Bai
4 Zheng, Zhiming
3 Cheng, Xuhua
3 Jiang, Daqing
3 Katoen, Joost-Pieter
3 Lin, Wang
3 Lu, Junjie
3 Platonov, Alekseĭ Viktorovich
3 Tan, Yong Kiam
3 Wang, Qiuye
3 Yang, Zhengfeng
3 Zhao, Hengjun
2 Akbarpour, Behzad
2 Alvarez-Ramírez, Martha
2 Bauer, Kerstin
2 Bresolin, Davide
2 Chabert, Gilles
2 Chen, Mingshuai
2 Collins, Peter J.
2 Czornik, Adam
2 Dubey, Balram
2 Duggirala, Parasara Sridhar
2 Feng, Zhaosheng
2 García Rodríguez, José Antonio
2 Gentilini, Raffaella
2 Geretti, Luca
2 Goldsztejn, Alexandre
2 Guo, Ke
2 Hayat, Tasawar
2 Hladík, Milan
2 Jaulin, Luc
2 Kepley, Shane
2 Kumar, Ankit
2 Li, Meilun
2 Li, Sen
2 Li, Zhibin
2 Liu, Kairong
2 Liu, Qun
2 Ma, Wanbiao
2 Murray, Maxime
2 Paulson, Lawrence Charles
2 Schneider, Klaus
2 Schupp, Stefan
2 Sogokon, Andrew
2 Villa, Tiziano
2 Wang, Lei
2 Wang, Ruihua
2 Wang, Shijie
2 Wang, Shuling
2 Wu, Min
2 Xu, Ming
2 Yu, Qiang
2 Zotos, Euaggelos E.
1 Abdel-Rahman, Essam Othman
1 Ábrahám, Erika
1 Ahmad, Bashir
1 Akbarzadeh-T, Mohammad-R
1 Alam, Shariful
1 Alhussain, Ziyad Ali
1 Al-saedi, Ahmed Eid Salem
1 Ansari, Abdullah Abduljabar
1 Awrejcewicz, Jan
1 Babiarz, Artur
1 Baghel, Randhir Singh
1 Bai, Chuanzhi
1 Banerjee, Malay
1 Barman, Binandita
1 Basagiannis, Stylianos
1 Bilichenko, Dmytro
1 Björnsson, Jóhann
1 Bouissou, Olivier
1 Broucke, Mireille E.
1 Burgos-García, Jaime
1 Burlion, Laurent
1 Campagna, Dario
1 Cao, Hongjun
1 Carter, Rebekah
1 Chapoutot, Alexandre
1 Chaudhary, Manisha
1 Cheib, Akram Khalil
1 Chen, Guanrong
1 Chen, Liping
1 Chen, Mengxin
1 Chen, Michael Z. Q.
1 Chen, Taolue
1 Chen, Tongtong
1 Chen, Wei
1 Chen, Wuhua
1 Chen, Xiang
...and 269 more Authors
all top 5

Cited in 61 Serials

10 Automatica
9 Journal of the Franklin Institute
9 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
9 Nonlinear Analysis. Hybrid Systems
6 SIAM Journal on Control and Optimization
6 Discrete and Continuous Dynamical Systems. Series B
6 International Journal of Biomathematics
5 Journal of Mathematical Analysis and Applications
5 Applied Mathematics and Computation
5 Journal of Differential Equations
5 Celestial Mechanics and Dynamical Astronomy
5 International Journal of Systems Science. Principles and Applications of Systems and Integration
4 Applied Mathematics Letters
4 Formal Aspects of Computing
3 International Journal of Control
3 Journal of Computational and Applied Mathematics
3 Journal of Automated Reasoning
3 Formal Methods in System Design
3 Abstract and Applied Analysis
3 Communications in Nonlinear Science and Numerical Simulation
2 Chaos, Solitons and Fractals
2 Theoretical Computer Science
2 Journal of Symbolic Computation
2 Information and Computation
2 Discrete and Continuous Dynamical Systems
2 European Journal of Control
2 Nonlinear Analysis. Real World Applications
2 Mathematical Biosciences and Engineering
2 Mathematics in Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 Bulletin of Mathematical Biology
1 Systems & Control Letters
1 Circuits, Systems, and Signal Processing
1 Stochastic Analysis and Applications
1 Journal of Global Optimization
1 Numerical Algorithms
1 Applied Mathematical Modelling
1 Linear Algebra and its Applications
1 Archives of Control Sciences
1 Annals of Mathematics and Artificial Intelligence
1 Complexity
1 Chaos
1 Discrete Dynamics in Nature and Society
1 International Journal of Applied Mathematics and Computer Science
1 Nonlinear Analysis. Modelling and Control
1 The Journal of Logic and Algebraic Programming
1 Dynamics of Continuous, Discrete & Impulsive Systems. Series A. Mathematical Analysis
1 Journal of Systems Science and Complexity
1 Acta Mathematica Scientia. Series B. (English Edition)
1 Journal of Applied Mathematics and Computing
1 Journal of Dynamical Systems and Geometric Theories
1 SIAM Journal on Applied Dynamical Systems
1 Advances in Difference Equations
1 Advances in Applied Mathematics and Mechanics
1 Science China. Mathematics
1 Arabian Journal for Science and Engineering
1 Numerical Algebra, Control and Optimization
1 Journal of Applied Analysis and Computation
1 Discontinuity, Nonlinearity, and Complexity

Citations by Year