Bai Xue

According to our database1, Bai Xue
  • authored at least 11 papers between 2005 and 2017.
  • has a "Dijkstra number"2 of four.

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


  Loading...