The following pages link to Bai Xue (Q832193):
Displaying 12 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)
- Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems (Q6093192) (← links)
