Jianglin Lan

Xianxian Zhao

Congcong Sun

CoRR, 2024

Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Finding the LQR Weights to Ensure the Associated Riccati Equations Admit a Common Solution.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., October, 2023

Data-Driven Robust Predictive Control for Mixed Vehicle Platoons Using Noisy Measurement.

[BibT_eX]

[DOI]

Daxin Tian

IEEE Trans. Intell. Transp. Syst., June, 2023

Eco-Driving of General Mixed Platoons With CAVs and HDVs.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Veh., February, 2023

A Less-Disturbed Ecological Driving Strategy for Connected and Automated Vehicles.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Veh., January, 2023

Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation.

[BibT_eX]

[DOI]

CoRR, 2023

Data-Driven Cooperative Adaptive Cruise Control for Unknown Nonlinear Vehicle Platoons.

[BibT_eX]

[DOI]

CoRR, 2023

Data-driven dual-loop control for platooning mixed human-driven and automated vehicles.

[BibT_eX]

[DOI]

CoRR, 2023

Filter-based Online Neuro-Fuzzy Model Learning using Noisy Measurements.

[BibT_eX]

[DOI]

Wen Gu

Byron Mason

Proceedings of the International Joint Conference on Neural Networks, 2023

A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification.

[BibT_eX]

[DOI]

Benedikt Brückner

Alessio Lomuscio

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification.

[BibT_eX]

[DOI]

Yang Zheng

Alessio Lomuscio

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

An iterative strategy for robust integration of fault estimation and fault-tolerant control.

[BibT_eX]

[DOI]

Ron Patton

Autom., 2022

Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations.

[BibT_eX]

[DOI]

Yang Zheng

Alessio Lomuscio

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

Min-Max Model Predictive Vehicle Platooning With Communication Delay.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2020

Adaptive output regulation for a class of nonlinear systems with guaranteed transient performance.

[BibT_eX]

[DOI]

Trans. Inst. Meas. Control, 2020

Asymptotic estimation of state and faults for linear systems with unknown perturbations.

[BibT_eX]

[DOI]

Autom., 2020

Robust Cooperative Adaptive Cruise Control of Vehicles on Banked and Curved Roads with Sensor Bias.

[BibT_eX]

[DOI]

Daxin Tian

Proceedings of the 2020 American Control Conference, 2020

2018

A decoupling approach to integrated fault-tolerant control for linear systems with unmatched non-differentiable faults.

[BibT_eX]

[DOI]

Autom., 2018

2017

Integrated Design of Fault-Tolerant Control for Nonlinear Systems Based on Fault Estimation and T-S Fuzzy Modeling.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2017

2016

A new strategy for integration of fault estimation within fault-tolerant control.

[BibT_eX]

[DOI]

Autom., 2016

2015

Integrated design of robust fault estimation and fault-tolerant control for linear systems.

[BibT_eX]

[DOI]

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

2014

Constraint robust adaptive stabilization for a class of lower triangular systems with unknown control direction.

[BibT_eX]

[DOI]