| Publication | Date of Publication | Type |
|---|
| Reach-avoid controllers synthesis for safety critical systems | 2025-01-21 | Paper |
| Consensus criterion verification for heterogeneous multiagent systems via sum-of-squares programming | 2025-01-21 | Paper |
| Reach-avoid verification based on convex optimization | 2024-07-21 | Paper |
| Reach-avoid analysis for polynomial stochastic differential equations | 2024-07-21 | Paper |
| Switching controller synthesis for delay hybrid systems under perturbations | 2024-02-21 | Paper |
| Taming delays in dynamical systems. Unbounded verification of delay differential equations | 2024-02-16 | Paper |
| Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems | 2023-10-06 | Paper |
| Robust non-termination analysis of numerical software | 2023-05-26 | Paper |
| Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming | 2022-12-08 | Paper |
| Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming | 2022-09-20 | Paper |
| Probably approximately correct interpolants generation | 2022-09-01 | Paper |
| Synthesizing invariant barrier certificates via difference-of-convex programming | 2022-03-25 | Paper |
| Switching controller synthesis for time-delayed hybrid systems | 2022-03-21 | Paper |
| Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems | 2022-02-24 | Paper |
| Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems | 2021-04-09 | Paper |
| Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations | 2021-03-12 | Paper |
| Unbounded-time safety verification of stochastic differential dynamics | 2021-02-09 | Paper |
| Nonlinear Craig interpolant generation | 2021-02-04 | Paper |
| Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties | 2020-10-07 | Paper |
| Robust invariant sets generation for state-constrained perturbed polynomial systems | 2019-10-22 | Paper |
| Under-Approximating Backward Reachable Sets by Polytopes | 2019-05-03 | Paper |
| Model Checking Delay Differential Equations Against Metric Interval Temporal Logic | 2019-02-08 | Paper |
| Safe over- and under-approximation of reachable sets for autonomous dynamical systems | 2018-12-06 | Paper |
| Under-Approximating Reach Sets for Polynomial Continuous Systems | 2018-12-06 | Paper |
| Reach-Avoid Differential Games Based on Invariant Generation | 2018-11-07 | Paper |
| Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties | 2018-11-02 | Paper |
| Robust Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial Systems | 2018-10-28 | Paper |
| A Novel Planar Endfire Circularly Polarized Antenna With Wide Axial-Ratio Beamwidth and Wide Impedance Bandwidth | 2018-07-18 | Paper |
| Underapproximating Backward Reachable Sets by Semialgebraic Sets | 2018-06-27 | Paper |
| Safe over- and under-approximation of reachable sets for delay differential equations | 2017-12-01 | Paper |
| Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis | 2017-09-21 | Paper |
| Algebraic analysis on asymptotic stability of switched hybrid systems | 2017-05-16 | Paper |
| Temporal Logic Verification for Delay Differential Equations | 2016-12-21 | Paper |
| Algebraic analysis on asymptotic stability of continuous dynamical systems | 2015-06-09 | Paper |
| Discovering Multiple Lyapunov Functions for Switched Hybrid Systems | 2015-02-09 | Paper |
| Discovering polynomial Lyapunov functions for continuous dynamical systems | 2014-03-03 | Paper |
| Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems | 2011-09-02 | Paper |
