| Publication | Date of Publication | Type |
|---|
| Estimating the minimal domains of attraction of uncertain discrete-time switched systems under state-dependent switching | 2024-11-26 | Paper |
| Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump | 2024-01-16 | Paper |
| Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty | 2023-12-16 | Paper |
| Safety verification for regime-switching jump diffusions via barrier certificates | 2023-09-21 | Paper |
| Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions | 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 | 2021-12-13 | Paper |
| Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming | 2021-09-09 | Paper |
| Threshold dynamics of a general delayed within-host viral infection model with humoral immunity and two modes of virus transmission | 2021-06-17 | Paper |
| Global dynamics of a predator-prey system with density-dependent mortality and ratio-dependent functional response | 2021-06-17 | Paper |
| Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions | 2021-05-28 | Paper |
| Design proportional‐integral‐derivative/proportional‐derivative controls for second‐order time‐varying switched nonlinear systems | 2021-05-28 | Paper |
| Dynamics of a diffusive predator-prey system with ratio-dependent functional response and time delay | 2021-04-21 | Paper |
| Synthesizing robust domains of attraction for state-constrained perturbed polynomial systems | 2021-04-09 | Paper |
| Stability verification for a class of stochastic hybrid systems by semidefinite programming | 2021-01-21 | Paper |
| Average dwell time based stability analysis for nonautonomous continuous-time switched systems | 2019-07-18 | Paper |
| Stabilizability of Time-Varying Switched Systems Based on Piecewise Continuous Scalar Functions | 2019-07-18 | Paper |
| Under-approximating backward reachable sets by polytopes | 2019-05-03 | Paper |
| Computing multiple Lyapunov-like functions for inner estimates of domains of attraction of switched hybrid systems | 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] | 2019-02-28 | Paper |
| Distributed optimization with closed convex set for multi-agent networks over directed graphs | 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 | 2018-08-16 | Paper |
| Underapproximating Backward Reachable Sets by Semialgebraic Sets | 2018-06-27 | Paper |
| Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov-like functions | 2018-05-30 | Paper |
| Bifurcation analysis of a predator-prey system with ratio-dependent functional responses | 2018-01-31 | Paper |
| Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions | 2018-01-19 | Paper |
| Dwell time based stabilisability criteria for discrete-time switched systems | 2018-01-05 | Paper |
| Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces | 2018-01-04 | Paper |
| Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response | 2017-09-15 | Paper |
| Study on chaotic behavior of the restricted four-body problem with an equilateral triangle configuration | 2017-05-31 | Paper |
| Algebraic analysis on asymptotic stability of switched hybrid systems | 2017-05-16 | Paper |
| Continuity of the eigenvalues for a vibrating beam | 2017-02-21 | Paper |
| Stability and Hopf bifurcation of a delayed density-dependent predator-prey system with Beddington-DeAngelis functional response | 2017-01-06 | Paper |
| Stability analysis and Hopf bifurcation of density-dependent predator-prey systems with Beddington-DeAngelis functional response | 2016-10-11 | Paper |
| Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability | 2016-09-20 | Paper |
| A note on the existence of a Smale horseshoe in the planar circular restricted three-body problem | 2016-08-26 | Paper |
| The existence of transversal homoclinic orbits in a planar circular restricted four-body problem | 2016-08-05 | Paper |
| Dynamics of a non-autonomous density-dependent predator-prey model with Beddington-DeAngelis type | 2016-05-27 | Paper |
| Safety verification of hybrid systems using certified multiple Lyapunov-like functions | 2015-11-25 | Paper |
| Algebraic analysis on asymptotic stability of continuous dynamical systems | 2015-06-09 | Paper |
| Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response | 2015-02-25 | Paper |
| Discovering multiple Lyapunov functions for switched hybrid systems | 2015-02-09 | Paper |
| Uniqueness of periodic solutions of a nonautonomous density-dependent predator-prey system | 2014-10-31 | Paper |
| A density-dependent predator-prey model of Beddington-DeAngelis type | 2014-10-24 | Paper |
| The existence of a Smale horseshoe in a planar circular restricted four-body problem | 2014-08-20 | Paper |
| Discovering polynomial Lyapunov functions for continuous dynamical systems | 2014-03-03 | Paper |
| Safety verification for probabilistic hybrid systems | 2014-01-21 | Paper |
| Verifiable conditions on asymptotic stabilisability for a class of planar switched linear systems | 2012-09-21 | Paper |
| Computing a basin of attraction to a target region by solving bilinear semi-definite problems | 2011-09-02 | Paper |
| Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions | 2011-03-21 | Paper |
| Condition number based complexity estimate for solving polynomial systems | 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 | 2009-11-13 | Paper |
| Condition number based complexity estimate for computing local extrema | 2009-06-25 | Paper |
| Tightened reachability constraints for the verification of linear hybrid systems | 2009-06-24 | Paper |
| Constraints for Continuous Reachability in the Verification of Hybrid Systems | 2009-01-15 | Paper |
| Language-Based Abstraction Refinement for Hybrid System Verification | 2008-04-04 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790442 | 2003-01-28 | Paper |
