Dr. Bai Xue
Dr. Bai Xue
State Key Laboratory of Computer Science, Institute of Software CAS
Verified email at ios.ac.cn - Homepage
Title
Cited by
Cited by
Year
Discovering multiple Lyapunov functions for switched hybrid systems
Z She, B Xue
SIAM Journal on Control and Optimization 52 (5), 3312-3340, 2014
422014
Under-approximating backward reachable sets by polytopes
B Xue, Z She, A Easwaran
International Conference on Computer Aided Verification, 457-476, 2016
352016
Discovering polynomial Lyapunov functions for continuous dynamical systems
Z She, H Li, B Xue, Z Zheng, B Xia
Journal of Symbolic Computation 58, 41-63, 2013
282013
Computing an invariance kernel with target by computing Lyapunov-like functions
Z She, B Xue
IET Control Theory & Applications 7 (15), 1932-1940, 2013
252013
Inner-approximating reachable sets for polynomial systems with time-varying uncertainties
B Xue, M Fränzle, N Zhan
IEEE Transactions on Automatic Control 65 (4), 1468-1483, 2019
242019
Safe over-and under-approximation of reachable sets for delay Differential equations(The revised version can be downloaded from http://lcs.ios.ac.cn/~xuebai/Publications.html)
B Xue, PN Mosaad, M Fränzle, M Chen, Y Li, N Zhan
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
212017
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations
X Bai, NM Peter, F Martin, C Mingshuai, L Yangjia, Z Naijun
15th International Conference on Formal Modelling and Analysis of Timed …, 2017
21*2017
Reach-avoid verification for nonlinear systems based on boundary analysis
B Xue, A Easwaran, NJ Cho, M Fränzle
IEEE Transactions on Automatic Control 62 (7), 3518-3523, 2016
182016
Robust invariant sets generation for state-constrained perturbed polynomial systems
B Xue, Q Wang, N Zhan, M Fränzle
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
142019
Underapproximating backward reachable sets by semialgebraic sets
B Xue, Z She, A Easwaran
IEEE Transactions on Automatic Control 62 (10), 5185-5197, 2017
142017
Algebraic analysis on asymptotic stability of continuous dynamical systems
Z She, B Xue, Z Zheng
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
142011
Taming delays in dynamical systems
S Feng, M Chen, N Zhan, M Fränzle, B Xue
International Conference on Computer Aided Verification, 650-669, 2019
102019
Under-approximating reach sets for polynomial continuous systems
B Xue, M Fränzle, N Zhan
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
102018
Robust invariant sets computation for switched discrete-time polynomial systems
B Xue, N Zhan
arXiv preprint arXiv:1811.11454, 2018
72018
Safe over-and under-approximation of reachable sets for autonomous dynamical systems
M Li, PN Mosaad, M Fränzle, Z She, B Xue
International Conference on Formal Modeling and Analysis of Timed Systems …, 2018
72018
Just scratching the surface: Partial exploration of initial values in reach-set computation
B Xue, M Fränzle, PN Mosaad
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 1769-1775, 2017
72017
Probably Approximate Safety Verification of Hybrid Dynamical Systems
B Xue, M Fränzle, H Zhao, N Zhan, A Easwaran
ICFEM 2019: International Conference on Formal Engineering Methods, 2019
62019
Algebraic analysis on asymptotic stability of switched hybrid systems
Z She, B Xue
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
62012
Computing a basin of attraction to a target region by solving bilinear semi-definite problems
Z She, B Xue
International Workshop on Computer Algebra in Scientific Computing, 333-344, 2011
62011
PRODeep: a platform for robustness verification of deep neural networks
R Li, J Li, CC Huang, P Yang, X Huang, L Zhang, B Xue, H Hermanns
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20