| Publication | Date of Publication | Type |
|---|
Sufficient and necessary barrier-like conditions for safety and reach-avoid verification of stochastic discrete-time systems
Automatica | 2026-04-02 | Paper |
Reach-avoid controllers synthesis for safety critical systems
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Consensus criterion verification for heterogeneous multiagent systems via sum-of-squares programming
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Reach-avoid verification based on convex optimization
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Reach-avoid analysis for polynomial stochastic differential equations
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Switching controller synthesis for delay hybrid systems under perturbations
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Taming delays in dynamical systems. Unbounded verification of delay differential equations
Computer Aided Verification | 2024-02-16 | Paper |
Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems
IEEE Transactions on Automatic Control | 2023-10-06 | Paper |
Robust non-termination analysis of numerical software
Dependable Software Engineering. Theories, Tools, and Applications | 2023-05-26 | Paper |
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
Information and Computation | 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
SCIENTIA SINICA Mathematica | 2022-03-21 | Paper |
Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Synthesizing robust domains of attraction for state-constrained perturbed polynomial systems
SIAM Journal on Control and Optimization | 2021-04-09 | Paper |
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations
IEEE Transactions on Automatic Control | 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
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Robust invariant sets generation for state-constrained perturbed polynomial systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Under-approximating backward reachable sets by polytopes
Computer Aided Verification | 2019-05-03 | Paper |
Model checking delay differential equations against metric interval temporal logic
Scientific Annals of Computer Science | 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
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 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
IEEE Transactions on Antennas and Propagation | 2018-07-18 | Paper |
Underapproximating Backward Reachable Sets by Semialgebraic Sets
IEEE Transactions on Automatic Control | 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
IEEE Transactions on Automatic Control | 2017-09-21 | 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 |
Temporal logic verification for delay differential equations
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | 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 |
Discovering multiple Lyapunov functions for switched hybrid systems
SIAM Journal on Control and Optimization | 2015-02-09 | Paper |
Discovering polynomial Lyapunov functions for continuous dynamical systems
Journal of Symbolic Computation | 2014-03-03 | 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 |
