Bai Xue

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bai Xue