| Publication | Date of Publication | Type |
|---|
Estimating the minimal domains of attraction of uncertain discrete-time switched systems under state-dependent switching
Nonlinear Analysis. Hybrid Systems | 2024-11-26 | Paper |
Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump
Discrete and Continuous Dynamical Systems. Series B | 2024-01-16 | Paper |
Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty
International Journal of Robust and Nonlinear Control | 2023-12-16 | Paper |
Safety verification for regime-switching jump diffusions via barrier certificates
Nonlinear Analysis. Hybrid Systems | 2023-09-21 | Paper |
Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2023-07-06 | Paper |
OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations
| 2022-07-13 | Paper |
Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions
Nonlinear Analysis. Hybrid Systems | 2021-12-13 | Paper |
Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming
IEEE Transactions on Automatic Control | 2021-09-09 | Paper |
Threshold dynamics of a general delayed within-host viral infection model with humoral immunity and two modes of virus transmission
Discrete and Continuous Dynamical Systems. Series B | 2021-06-17 | Paper |
Global dynamics of a predator-prey system with density-dependent mortality and ratio-dependent functional response
Discrete and Continuous Dynamical Systems. Series B | 2021-06-17 | Paper |
Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Design proportional‐integral‐derivative/proportional‐derivative controls for second‐order time‐varying switched nonlinear systems
International Journal of Robust and Nonlinear Control | 2021-05-28 | Paper |
Dynamics of a diffusive predator-prey system with ratio-dependent functional response and time delay
International Journal of Biomathematics | 2021-04-21 | Paper |
Synthesizing robust domains of attraction for state-constrained perturbed polynomial systems
SIAM Journal on Control and Optimization | 2021-04-09 | Paper |
Stability verification for a class of stochastic hybrid systems by semidefinite programming
SIAM Journal on Control and Optimization | 2021-01-21 | Paper |
Average dwell time based stability analysis for nonautonomous continuous-time switched systems
International Journal of Robust and Nonlinear Control | 2019-07-18 | Paper |
Stabilizability of Time-Varying Switched Systems Based on Piecewise Continuous Scalar Functions
IEEE Transactions on Automatic Control | 2019-07-18 | Paper |
Under-approximating backward reachable sets by polytopes
Computer Aided Verification | 2019-05-03 | Paper |
Computing multiple Lyapunov-like functions for inner estimates of domains of attraction of switched hybrid systems
International Journal of Robust and Nonlinear Control | 2019-02-28 | Paper |
Corrigendum to “Computing multiple Lyapunov‐like functions for inner estimates of domains of attraction of switched hybrid systems” [International Journal of Robust and Nonlinear Control, 2018;28(17):5191–5212. DOI: 10.1002/rnc.4280]
International Journal of Robust and Nonlinear Control | 2019-02-28 | Paper |
Distributed optimization with closed convex set for multi-agent networks over directed graphs
Journal of the Franklin Institute | 2019-02-06 | Paper |
Safe over- and under-approximation of reachable sets for autonomous dynamical systems
| 2018-12-06 | Paper |
Minimization of the lowest eigenvalue for a vibrating beam
Discrete and Continuous Dynamical Systems | 2018-08-16 | Paper |
Underapproximating Backward Reachable Sets by Semialgebraic Sets
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov-like functions
International Journal of Robust and Nonlinear Control | 2018-05-30 | Paper |
Bifurcation analysis of a predator-prey system with ratio-dependent functional responses
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2018-01-31 | Paper |
Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
Nonlinear Analysis. Hybrid Systems | 2018-01-19 | Paper |
Dwell time based stabilisability criteria for discrete-time switched systems
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2018-01-05 | Paper |
Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces
SIAM Journal on Control and Optimization | 2018-01-04 | Paper |
Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response
Applied Mathematics Letters | 2017-09-15 | Paper |
Study on chaotic behavior of the restricted four-body problem with an equilateral triangle configuration
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2017-05-31 | Paper |
Algebraic analysis on asymptotic stability of switched hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Continuity of the eigenvalues for a vibrating beam
Applied Mathematics Letters | 2017-02-21 | Paper |
Stability and Hopf bifurcation of a delayed density-dependent predator-prey system with Beddington-DeAngelis functional response
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2017-01-06 | Paper |
Stability analysis and Hopf bifurcation of density-dependent predator-prey systems with Beddington-DeAngelis functional response
Electronic Journal of Differential Equations (EJDE) | 2016-10-11 | Paper |
Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2016-09-20 | Paper |
A note on the existence of a Smale horseshoe in the planar circular restricted three-body problem
Abstract and Applied Analysis | 2016-08-26 | Paper |
The existence of transversal homoclinic orbits in a planar circular restricted four-body problem
Celestial Mechanics and Dynamical Astronomy | 2016-08-05 | Paper |
Dynamics of a non-autonomous density-dependent predator-prey model with Beddington-DeAngelis type
International Journal of Biomathematics | 2016-05-27 | Paper |
Safety verification of hybrid systems using certified multiple Lyapunov-like functions
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Algebraic analysis on asymptotic stability of continuous dynamical systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response
Journal of Mathematical Analysis and Applications | 2015-02-25 | Paper |
Discovering multiple Lyapunov functions for switched hybrid systems
SIAM Journal on Control and Optimization | 2015-02-09 | Paper |
Uniqueness of periodic solutions of a nonautonomous density-dependent predator-prey system
Journal of Mathematical Analysis and Applications | 2014-10-31 | Paper |
A density-dependent predator-prey model of Beddington-DeAngelis type
Electronic Journal of Differential Equations (EJDE) | 2014-10-24 | Paper |
The existence of a Smale horseshoe in a planar circular restricted four-body problem
Celestial Mechanics and Dynamical Astronomy | 2014-08-20 | Paper |
Discovering polynomial Lyapunov functions for continuous dynamical systems
Journal of Symbolic Computation | 2014-03-03 | Paper |
Safety verification for probabilistic hybrid systems
European Journal of Control | 2014-01-21 | Paper |
Verifiable conditions on asymptotic stabilisability for a class of planar switched linear systems
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
Computing a basin of attraction to a target region by solving bilinear semi-definite problems
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
SIAM Journal on Control and Optimization | 2011-03-21 | Paper |
Condition number based complexity estimate for solving polynomial systems
Journal of Computational and Applied Mathematics | 2011-03-09 | Paper |
Topological conditions on a class of one-dimensional chaotic maps
| 2010-11-05 | Paper |
A semi-algebraic approach for asymptotic stability analysis
Nonlinear Analysis. Hybrid Systems | 2009-11-13 | Paper |
Condition number based complexity estimate for computing local extrema
Journal of Computational and Applied Mathematics | 2009-06-25 | Paper |
Tightened reachability constraints for the verification of linear hybrid systems
Nonlinear Analysis. Hybrid Systems | 2009-06-24 | Paper |
Constraints for Continuous Reachability in the Verification of Hybrid Systems
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
Language-Based Abstraction Refinement for Hybrid System Verification
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
scientific article; zbMATH DE number 1860713 (Why is no real title available?)
| 2003-01-28 | Paper |
