Bai Xue

According to our database1, Bai Xue
  • authored at least 17 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
A Subpixel Target Detection Approach to Hyperspectral Image Classification.
IEEE Trans. Geoscience and Remote Sensing, 2017

Band Subset Selection for Anomaly Detection in Hyperspectral Imagery.
IEEE Trans. Geoscience and Remote Sensing, 2017

Underapproximating Backward Reachable Sets by Semialgebraic Sets.
IEEE Trans. Automat. Contr., 2017

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis.
IEEE Trans. Automat. Contr., 2017

A Hyperspectral Imaging Approach to White Matter Hyperintensities Detection in Brain Magnetic Resonance Images.
Remote Sensing, 2017

Constrained Band Subset Selection for Hyperspectral Imagery.
IEEE Geosci. Remote Sensing Lett., 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 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...