Bai Xue

Available identifiers

List of research outcomes

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

Research outcomes over time

This page was built for person: Bai Xue