Bai Xue

IEEE Trans. Autom. Control., March, 2024

Credit assignment for trained neural networks based on Koopman operator theory.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., February, 2024

Reach-Avoid Verification Based on Convex Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., January, 2024

Verifying safety of neural networks from topological perspectives.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2024

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems.

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

CoRR, 2024

PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

An Iterative Method for Computing Controlled Reach-Avoid Sets.

[BibT_eX]

[DOI]

Dejin Ren

Taoran Wu

Proceedings of the American Control Conference, 2024

2023

Consensus verification for heterogeneous polynomial networked systems.

[BibT_eX]

[DOI]

J. Frankl. Inst., November, 2023

Towards robust neural networks via a global and monotonically decreasing robustness training strategy.

[BibT_eX]

[DOI]

Frontiers Inf. Technol. Electron. Eng., October, 2023

Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., August, 2023

Artifact for the ATVA'23 paper "Scenario Approach for Parametric Markov Models".

[BibT_eX]

[DOI]

Dataset, July, 2023

Stability Verification for Heterogeneous Complex Networks via Iterative SOS Programming.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

[BibT_eX]

[DOI]

CoRR, 2023

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.

[BibT_eX]

[DOI]

CoRR, 2023

Repairing Deep Neural Networks Based on Behavior Imitation.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Safety Verification for Neural Networks Based on Set-Boundary Analysis.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Model Predictive Control with Reach-avoid Analysis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Geometrical Characterization on Feature Density of Image Datasets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia and Expo, 2023

Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Scenario Approach for Parametric Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Reach-Avoid Analysis for Stochastic Differential Equations.

[BibT_eX]

[DOI]

CoRR, 2022

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems.

[BibT_eX]

[DOI]

Changyuan Zhao

Chuchu Fan

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Differential Games Based on Invariant Sets Generation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Consensus Control for Heterogeneous Multivehicle Systems: An Iterative Learning Approach.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2021

Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Probabilistic Robustness Analysis for DNNs based on PAC Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Improving Neural Network Verification through Spurious Region Guided Refinement.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Switching controller synthesis for delay hybrid systems under perturbations.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Reach-Avoid Analysis for Delay Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Reach-avoid Analysis for Stochastic Discrete-time Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

2020

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Safety Verification for Random Ordinary Differential Equations.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

PRODeep: a platform for robustness verification of deep neural networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

PAC Learning of Deterministic One-Clock Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Nonlinear Craig Interpolant Generation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Unbounded-Time Safety Verification of Stochastic Differential Dynamics.

[BibT_eX]

[DOI]

Shenghua Feng

Mingshuai Chen

Sriram Sankaranarayanan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Synthesizing More Expressive Invariants by Semidefinite Programming.

[BibT_eX]

[DOI]

CoRR, 2019

Nonlinear Craig Interpolant Generation.

[BibT_eX]

[DOI]

CoRR, 2019

Probably Approximate Safety Verification of Hybrid Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

Robust invariant sets generation for state-constrained perturbed polynomial systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

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

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Robust Non-termination Analysis of Numerical Software.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Under-Approximating Reach Sets for Polynomial Continuous Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017

Underapproximating Backward Reachable Sets by Semialgebraic Sets.

[BibT_eX]

[DOI]

Arvind Easwaran

IEEE Trans. Autom. Control., 2017

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic.

[BibT_eX]

[DOI]

Peter Nazier Mosaad

Sci. Ann. Comput. Sci., 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Just scratching the surface: Partial exploration of initial values in reach-set computation.

[BibT_eX]

[DOI]

Peter Nazier Mosaad

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Temporal Logic Verification for Delay Differential Equations.

[BibT_eX]

[DOI]

Peter Nazier Mosaad

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

Under-Approximating Backward Reachable Sets by Polytopes.

[BibT_eX]

[DOI]

Arvind Easwaran

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

2015

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

[BibT_eX]

[DOI]

Junjie Lu

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

2014

Discovering Multiple Lyapunov Functions for Switched Hybrid Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2014

2013

Discovering polynomial Lyapunov functions for continuous dynamical systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2013

2012

Algebraic analysis on asymptotic stability of switched hybrid systems.

[BibT_eX]

[DOI]

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

2011

Algebraic analysis on asymptotic stability of continuous dynamical systems.

[BibT_eX]

[DOI]

Zhiming Zheng

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.

[BibT_eX]

[DOI]