# Bai Xue

According to our database

^{1}, Bai Xue## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis.

IEEE Trans. Automat. Contr., 2017

2016

Temporal Logic Verification for Delay Differential Equations.

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Under-Approximating Backward Reachable Sets by Polytopes.

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability.

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Discovering Multiple Lyapunov Functions for Switched Hybrid Systems.

SIAM J. Control and Optimization, 2014

A Study on Recursive Neural Network Based Sentiment Classification of Sina Weibo.

Proceedings of the 13th IEEE International Conference on Trust, 2014

2013

Discovering polynomial Lyapunov functions for continuous dynamical systems.

J. Symb. Comput., 2013

2012

Algebraic analysis on asymptotic stability of switched hybrid systems.

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Algebraic analysis on asymptotic stability of continuous dynamical systems.

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems.

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2005

Anisotropic Ellipsoidal Smoothing of Volume Data.

Proceedings of the 16th IEEE Visualization Conference, 2005