activity
20112026
most citedA Theorem Prover for Quantum Hoare Logic and Its Applications

17 citations · 81 across the 44 of their papers we have counts for

collaborators
Showing 2018Show all

8 papers · 1 filter

eess.SY2018★ 2 cited

Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations

Bai Xue, Qiuye Wang, Shenghua Feng +1

This note explores reach set computations for perturbed delay differential equations (DDEs). The perturbed DDEs of interest in this note is a class of DDEs whose dynamics are subje…

eess.SY2018

Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems

Bai Xue, Qiuye Wang, Naijun Zhan +2

In this paper we propose a novel semi-definite programming based method to compute robust domains of attraction for state-constrained perturbed polynomial systems. A robust domain…

cs.DM2018★ 7 cited

Robust Invariant Sets Computation for Switched Discrete-Time Polynomial Systems

Bai Xue, Naijun Zhan

In this paper we study the robust invariant sets generation problem for discrete-time switched polynomial systems subject to disturbance inputs within the optimal control framework…

math.OC2018★ 1 cited

Reach-Avoid Differential Games Based on Invariant Generation

Bai Xue, Qiuye Wang, Naijun Zhan +2

Reach-avoid differential games play an important role in collision avoidance, motion planning and control of aircrafts, and related applications. The central problem is the computa…

math.OC2018★ 5 cited

Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties

Bai Xue, Martin Fränzle, Naijun Zhan

In this paper we propose a convex programming based method to address a long-standing problem of inner-approximating backward reachable sets of state-constrained polynomial systems…

math.DS2018

Robust Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial Systems

Bai Xue, Naijun Zhan, Yangjia Li

In this paper we propose a convex programming based method for computing robust regions of attraction for state-constrained perturbed discrete-time polynomial systems. The robust r…