According to our database1, Bai Xue
Legend:Book In proceedings Article PhD thesis Other
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis.
IEEE Trans. Automat. Contr., 2017
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
Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
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
Discovering polynomial Lyapunov functions for continuous dynamical systems.
J. Symb. Comput., 2013
Algebraic analysis on asymptotic stability of switched hybrid systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
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
Anisotropic Ellipsoidal Smoothing of Volume Data.
Proceedings of the 16th IEEE Visualization Conference, 2005