The following pages link to Zhikun She (Q305004):
Displaying 49 items.
- A note on the existence of a Smale horseshoe in the planar circular restricted three-body problem (Q305005) (← links)
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- The existence of a Smale horseshoe in a planar circular restricted four-body problem (Q399977) (← links)
- Uniqueness of periodic solutions of a nonautonomous density-dependent predator-prey system (Q465183) (← links)
- Continuity of the eigenvalues for a vibrating beam (Q511528) (← links)
- Condition number based complexity estimate for solving polynomial systems (Q629539) (← links)
- The existence of transversal homoclinic orbits in a planar circular restricted four-body problem (Q736944) (← links)
- Tightened reachability constraints for the verification of linear hybrid systems (Q1026401) (← links)
- Condition number based complexity estimate for computing local extrema (Q1026449) (← links)
- A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
- Safe over- and under-approximation of reachable sets for autonomous dynamical systems (Q1631238) (← links)
- Minimization of the lowest eigenvalue for a vibrating beam (Q1661050) (← links)
- Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (Q1690489) (← links)
- Distributed optimization with closed convex set for multi-agent networks over directed graphs (Q1717465) (← links)
- Global dynamics of a predator-prey system with density-dependent mortality and ratio-dependent functional response (Q2033427) (← links)
- Threshold dynamics of a general delayed within-host viral infection model with humoral immunity and two modes of virus transmission (Q2033769) (← links)
- Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions (Q2061252) (← links)
- OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations (Q2154032) (← links)
- Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response (Q2257554) (← links)
- Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response (Q2403165) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Dynamics of a non-autonomous density-dependent predator–prey model with Beddington–DeAngelis type (Q2809292) (← links)
- Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability (Q2821371) (← links)
- (Q2826992) (← links)
- Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems (Q2915010) (← links)
- (Q2926357) (← links)
- Stability and Hopf Bifurcation of a Delayed Density-Dependent Predator–Prey System with Beddington–DeAngelis Functional Response (Q2953733) (← links)
- Algebraic analysis on asymptotic stability of switched hybrid systems (Q2986766) (← links)
- (Q3054080) (← links)
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions (Q3083226) (← links)
- Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems (Q3090912) (← links)
- Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions (Q3454562) (← links)
- Underapproximating Backward Reachable Sets by Semialgebraic Sets (Q4566854) (← links)
- Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces (Q4599721) (← links)
- Dwell time based stabilisability criteria for discrete-time switched systems (Q4600049) (← links)
- Bifurcation Analysis of a Predator–Prey System with Ratio-Dependent Functional Response (Q4602539) (← links)
- Computing multiple Lyapunov‐like functions for inner estimates of domains of attraction of switched hybrid systems (Q4626618) (← links)
- Corrigendum to “Computing multiple Lyapunov‐like functions for inner estimates of domains of attraction of switched hybrid systems” [<i>International Journal of Robust and Nonlinear Control</i>, 2018;28(17):5191–5212. DOI: 10.1002/rnc.4280] (Q4626652) (← links)
- Under-Approximating Backward Reachable Sets by Polytopes (Q4633547) (← links)
- Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov‐like functions (Q4644157) (← links)
- (Q4790442) (← links)
- Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming (Q4957748) (← links)
- Dynamics of a diffusive predator–prey system with ratio-dependent functional response and time delay (Q4984950) (← links)
- Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions (Q4990194) (← links)
- Design proportional‐integral‐derivative/proportional‐derivative controls for second‐order time‐varying switched nonlinear systems (Q4990417) (← links)
- Average dwell time based stability analysis for nonautonomous continuous‐time switched systems (Q5223520) (← links)
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
- Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty (Q6090130) (← links)
- Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump (Q6139057) (← links)
