The following pages link to Bai Xue (Q832193):
Displaying 17 items.
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Safe over- and under-approximation of reachable sets for autonomous dynamical systems (Q1631238) (← links)
- Safe over- and under-approximation of reachable sets for delay differential equations (Q1683458) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Probably approximately correct interpolants generation (Q2169117) (← links)
- Nonlinear Craig interpolant generation (Q2225119) (← links)
- Unbounded-time safety verification of stochastic differential dynamics (Q2226745) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Algebraic analysis on asymptotic stability of switched hybrid systems (Q2986766) (← links)
- Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems (Q3090912) (← links)
- Temporal Logic Verification for Delay Differential Equations (Q3179413) (← links)
- Under-Approximating Reach Sets for Polynomial Continuous Systems (Q4561432) (← links)
- Underapproximating Backward Reachable Sets by Semialgebraic Sets (Q4566854) (← links)
- A Novel Planar Endfire Circularly Polarized Antenna With Wide Axial-Ratio Beamwidth and Wide Impedance Bandwidth (Q4572383) (← links)
- Model Checking Delay Differential Equations Against Metric Interval Temporal Logic (Q4621211) (← links)
- Under-Approximating Backward Reachable Sets by Polytopes (Q4633547) (← links)
- Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems (Q6093192) (← links)
