default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhikun She
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j31]Quanyi Liang
, Zhikun She, Lei Wang, Qing-Guo Wang:
Invariant Kernel-Based Synchronization for Certain Edge-Colored Networks. IEEE Trans. Syst. Man Cybern. Syst. 54(8): 4617-4629 (2024)- [i2]Kun Yang, Chenggang Bai, Zhikun She, Quan Quan:
High-Speed Interception Multicopter Control by Image-based Visual Servoing. CoRR abs/2404.08296 (2024) - 2023
- [j30]Shijie Wang, Zhikun She, Quanyi Liang, Junjie Lu, Wenyuan Wu:
Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions. Int. J. Syst. Sci. 54(2): 423-442 (2023) - [c23]Jia Geng, Ruiqi Hu, Kairong Liu, Zhihui Li, Zhikun She:
Reachability Based Uniform Controllability to Target Set with Evolution Function. SETTA 2023: 21-37 - 2022
- [j29]Ruiqi Hu, Zhikun She:
OURS: Over- and Under-approximating Reachable Sets for analytic time-invariant differential equations. J. Syst. Archit. 128: 102580 (2022) - [j28]Quanyi Liang, Chong-Jin Ong, Zhikun She:
Output consensusability of network with two-dimensional heterogeneous linear agents via static diffusive output feedback. Syst. Control. Lett. 159: 105084 (2022) - [j27]Shijie Wang, Zhikun She, Shuzhi Sam Ge:
Inner-Estimating Domains of Attraction for Nonpolynomial Systems With Polynomial Differential Inclusions. IEEE Trans. Cybern. 52(3): 1628-1641 (2022) - [j26]Shuyuan Zhang, Lei Wang, Quanyi Liang, Zhikun She, Qing-Guo Wang:
Polynomial Lyapunov Functions for Synchronization of Nonlinearly Coupled Complex Networks. IEEE Trans. Cybern. 52(3): 1812-1821 (2022) - [j25]Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang:
Probabilistic Preference Planning Problem for Markov Decision Processes. IEEE Trans. Software Eng. 48(5): 1545-1559 (2022) - [c22]Ruiqi Hu, Kairong Liu, Zhikun She:
Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. MEMOCODE 2022: 1-12 - 2021
- [j24]Kairong Liu, Meilun Li, Zhikun She:
Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming. SIAM J. Control. Optim. 59(1): 365-392 (2021) - [j23]Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She:
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. SIAM J. Control. Optim. 59(2): 1083-1108 (2021) - [j22]Zhikun She, Meilun Li:
Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions. IEEE Trans. Autom. Control. 66(3): 1414-1421 (2021) - [j21]Junjie Lu, Zhikun She, Bodan Liu, Shuzhi Sam Ge:
Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming. IEEE Trans. Autom. Control. 66(9): 4452-4459 (2021) - [j20]Lei Wang, Quanyi Liang, Zhikun She, Jinhu Lü, Qing-Guo Wang:
A Decomposition Approach for Synchronization of Heterogeneous Complex Networks. IEEE Trans. Syst. Man Cybern. Syst. 51(2): 853-863 (2021) - [j19]Shijie Wang, Zhikun She, Shuzhi Sam Ge:
Estimating Minimal Domains of Attraction for Uncertain Nonlinear Systems. IEEE Trans. Syst. Man Cybern. Syst. 51(12): 7776-7787 (2021) - [c21]Ruiqi Hu, Meilun Li, Zhikun She:
$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. SETTA 2021: 261-278 - 2020
- [c20]Quanyi Liang, Chong-Jin Ong, Zhikun She:
Achieving output consensus of heterogeneous network of two dimensional agents via static diffusive controller. ACC 2020: 3343-3348
2010 – 2019
- 2019
- [j18]Tianrong Weng, Lei Wang, Zhikun She, Quanyi Liang:
Distributed optimization with closed convex set for multi-agent networks over directed graphs. J. Frankl. Inst. 356(2): 883-893 (2019) - [j17]Junjie Lu, Zhikun She, Weijie Feng, Shuzhi Sam Ge:
Stabilizability of Time-Varying Switched Systems Based on Piecewise Continuous Scalar Functions. IEEE Trans. Autom. Control. 64(6): 2637-2644 (2019) - [c19]Kairong Liu, Meilun Li, Zhikun She:
Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming. CDC 2019: 7727-7732 - 2018
- [c18]Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue:
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. FORMATS 2018: 252-270 - [i1]Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She:
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. CoRR abs/1812.10588 (2018) - 2017
- [j16]Xin Jiang, Kairong Liu, Gang Meng, Zhikun She:
Continuity of the eigenvalues for a vibrating beam. Appl. Math. Lett. 67: 60-66 (2017) - [j15]Xin Jiang, Gang Meng, Zhikun She:
Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response. Appl. Math. Lett. 71: 59-66 (2017) - [j14]Xuhua Cheng, Zhikun She:
Study on Chaotic Behavior of the Restricted Four-Body Problem with an Equilateral Triangle Configuration. Int. J. Bifurc. Chaos 27(2): 1750026:1-1750026:12 (2017) - [j13]Xin Jiang, Zhikun She, Zhaosheng Feng, Xiuliang Zheng:
Bifurcation Analysis of a Predator-Prey System with Ratio-Dependent Functional Response. Int. J. Bifurc. Chaos 27(14): 1750222:1-1750222:21 (2017) - [j12]Zhikun She, Junjie Lu, Quanyi Liang, Shuzhi Sam Ge:
Dwell time based stabilisability criteria for discrete-time switched systems. Int. J. Syst. Sci. 48(14): 3087-3097 (2017) - [j11]Quanyi Liang, Zhikun She, Lei Wang, Michael Z. Q. Chen, Qing-Guo Wang:
Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces. SIAM J. Control. Optim. 55(6): 4048-4071 (2017) - [j10]Bai Xue, Zhikun She, Arvind Easwaran:
Underapproximating Backward Reachable Sets by Semialgebraic Sets. IEEE Trans. Autom. Control. 62(10): 5185-5197 (2017) - [j9]Quanyi Liang, Zhikun She, Lei Wang, Housheng Su:
General Lyapunov Functions for Consensus of Nonlinear Multiagent Systems. IEEE Trans. Circuits Syst. II Express Briefs 64-II(10): 1232-1236 (2017) - [c17]Xiuliang Zheng, Junjie Lu, Zhikun She:
Inner-approximations of domains of attraction for discrete-time switched systems with arbitrary switching. CDC 2017: 6531-6536 - 2016
- [j8]Haiyin Li, Gang Meng, Zhikun She:
Stability and Hopf Bifurcation of a Delayed Density-Dependent Predator-Prey System with Beddington-DeAngelis Functional Response. Int. J. Bifurc. Chaos 26(10): 1650165:1-1650165:17 (2016) - [j7]Junjie Lu, Zhikun She:
Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability. Int. J. Syst. Sci. 47(15): 3561-3572 (2016) - [c16]Bai Xue, Zhikun She, Arvind Easwaran:
Under-Approximating Backward Reachable Sets by Polytopes. CAV (1) 2016: 457-476 - 2015
- [c15]Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang:
Preference Planning for Markov Decision Processes. AAAI 2015: 3313-3319 - [c14]Zhikun She, Dan Song, Meilun Li:
Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. CASC 2015: 440-456 - [c13]Junjie Lu, Zhikun She, Bai Xue:
Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability. CDC 2015: 4252-4259 - 2014
- [j6]Zhikun She, Bai Xue:
Discovering Multiple Lyapunov Functions for Switched Hybrid Systems. SIAM J. Control. Optim. 52(5): 3312-3340 (2014) - 2013
- [j5]Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia:
Discovering polynomial Lyapunov functions for continuous dynamical systems. J. Symb. Comput. 58: 41-63 (2013) - 2012
- [j4]Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn:
Safety Verification for Probabilistic Hybrid Systems. Eur. J. Control 18(6): 572-587 (2012) - [c12]Zhikun She, Haoyang Li:
Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems. CASC 2012: 334-348 - [c11]Zhikun She, Bai Xue:
Algebraic analysis on asymptotic stability of switched hybrid systems. HSCC 2012: 187-196 - 2011
- [j3]Zhikun She, Bican Xia, Zhiming Zheng:
Condition number based complexity estimate for solving polynomial systems. J. Comput. Appl. Math. 235(8): 2670-2678 (2011) - [c10]Zhikun She, Bai Xue:
Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. CASC 2011: 333-344 - [c9]Zhikun She:
Termination Analysis of Safety Verification for Non-linear Robust Hybrid Systems. ICINCO (1) 2011: 251-261 - [c8]Zhikun She, Bai Xue, Zhiming Zheng:
Algebraic analysis on asymptotic stability of continuous dynamical systems. ISSAC 2011: 313-320 - 2010
- [j2]Stefan Ratschan, Zhikun She:
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions. SIAM J. Control. Optim. 48(7): 4377-4394 (2010) - [c7]Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn:
Safety Verification for Probabilistic Hybrid Systems. CAV 2010: 196-211 - [c6]Hongbo Zhou, Qiang Cheng, Zhikun She:
Reparameterization based consistent graph-structured linear programs. SAC 2010: 974-978
2000 – 2009
- 2008
- [c5]Stefan Ratschan, Zhikun She:
Recursive and Backward Reasoning in the Verification on Hybrid Systems. ICINCO-SPSMC 2008: 65-71 - 2007
- [j1]Stefan Ratschan, Zhikun She:
Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Trans. Embed. Comput. Syst. 6(1): 8 (2007) - [c4]Felix Klaedtke, Stefan Ratschan, Zhikun She:
Language-Based Abstraction Refinement for Hybrid System Verification. VMCAI 2007: 151-166 - 2006
- [c3]Stefan Ratschan, Zhikun She:
Constraints for Continuous Reachability in the Verification of Hybrid Systems. AISC 2006: 196-210 - [c2]Zhikun She, Bican Xia, Rong Xiao:
A Semi-Algebraic Approach for the Computation of Lyapunov Functions. Computational Intelligence 2006: 7-12 - 2005
- [c1]Stefan Ratschan, Zhikun She:
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. HSCC 2005: 573-589
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-11 00:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
