Bai Xue

Orcid: 0000-0001-9717-846X

Affiliations:
  • Chinese Academy of Sciences, Institute of Software, SKLCS, Beijing, China
  • Carl von Ossietzky University of Oldenburg, Department of Computer Science, Germany (2015 - 2017)
  • Nanyang Technological University, Centre for High Performance Embedded Systems, Singapore (2014 - 2015)
  • Beihang University, School of Mathematics and Systems Science, China (PhD 2014)


According to our database1, Bai Xue authored at least 69 papers between 2011 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations.
IEEE Trans. Autom. Control., March, 2024

Credit assignment for trained neural networks based on Koopman operator theory.
Frontiers Comput. Sci., February, 2024

Reach-Avoid Verification Based on Convex Optimization.
IEEE Trans. Autom. Control., January, 2024

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems.
CoRR, 2024

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
CoRR, 2024

2023
Consensus verification for heterogeneous polynomial networked systems.
J. Frankl. Inst., November, 2023

Towards robust neural networks via a global and monotonically decreasing robustness training strategy.
Frontiers Inf. Technol. Electron. Eng., October, 2023

Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems.
IEEE Trans. Autom. Control., August, 2023

Stability Verification for Heterogeneous Complex Networks via Iterative SOS Programming.
IEEE Control. Syst. Lett., 2023

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.
CoRR, 2023

Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties.
CoRR, 2023

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.
CoRR, 2023

Verifying Safety of Neural Networks from Topological Perspectives.
CoRR, 2023

Repairing Deep Neural Networks Based on Behavior Imitation.
CoRR, 2023

Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets.
CoRR, 2023

Safety Verification for Neural Networks Based on Set-Boundary Analysis.
Proceedings of the Theoretical Aspects of Software Engineering, 2023

Model Predictive Control with Reach-avoid Analysis.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Geometrical Characterization on Feature Density of Image Datasets.
Proceedings of the IEEE International Conference on Multimedia and Expo, 2023

Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Scenario Approach for Parametric Markov Models.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems.
IEEE Trans. Autom. Control., 2022

Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming.
Inf. Comput., 2022

Reach-Avoid Analysis for Stochastic Differential Equations.
CoRR, 2022

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Differential Games Based on Invariant Sets Generation.
Proceedings of the American Control Conference, 2022

2021
Consensus Control for Heterogeneous Multivehicle Systems: An Iterative Learning Approach.
IEEE Trans. Neural Networks Learn. Syst., 2021

Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations.
IEEE Trans. Autom. Control., 2021

Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems.
SIAM J. Control. Optim., 2021

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness.
CoRR, 2021

Probabilistic Robustness Analysis for DNNs based on PAC Learning.
CoRR, 2021

Improving Neural Network Verification through Spurious Region Guided Refinement.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Switching controller synthesis for delay hybrid systems under perturbations.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Reach-Avoid Analysis for Delay Differential Equations.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Reach-avoid Analysis for Stochastic Discrete-time Systems.
Proceedings of the 2021 American Control Conference, 2021

2020
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Safety Verification for Random Ordinary Differential Equations.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties.
IEEE Trans. Autom. Control., 2020

PRODeep: a platform for robustness verification of deep neural networks.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Probably Approximately Correct Interpolants Generation.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

PAC Learning of Deterministic One-Clock Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2020

Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Nonlinear Craig Interpolant Generation.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Unbounded-Time Safety Verification of Stochastic Differential Dynamics.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Synthesizing More Expressive Invariants by Semidefinite Programming.
CoRR, 2019

Nonlinear Craig Interpolant Generation.
CoRR, 2019

Probably Approximate Safety Verification of Hybrid Dynamical Systems.
Proceedings of the Formal Methods and Software Engineering, 2019

Robust invariant sets generation for state-constrained perturbed polynomial systems.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations.
CoRR, 2018

Robust Invariant Sets Computation for Switched Discrete-Time Polynomial Systems.
CoRR, 2018

Robust Non-termination Analysis of Numerical Software.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Under-Approximating Reach Sets for Polynomial Continuous Systems.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017
Underapproximating Backward Reachable Sets by Semialgebraic Sets.
IEEE Trans. Autom. Control., 2017

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

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic.
Sci. Ann. Comput. Sci., 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Just scratching the surface: Partial exploration of initial values in reach-set computation.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 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. Optim., 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


  Loading...