| Publication | Date of Publication | Type |
|---|
| 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 |
| Global dynamics of a predator-prey system with density-dependent mortality and ratio-dependent functional response | 2021-06-17 | 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 |
| 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 Response | 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 |
| https://portal.mardi4nfdi.de/entity/Q2826992 | 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 |
| https://portal.mardi4nfdi.de/entity/Q2926357 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3054080 | 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 |
