Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments

Y Wang, SS Zhan, R Jiao, Z Wang… - International …, 2023 - proceedings.mlr.press
It is quite challenging to ensure the safety of reinforcement learning (RL) agents in an
unknown and stochastic environment under hard constraints that require the system state …

Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems

Y Wang, W Zhou, J Fan, Z Wang, J Li… - … on Computer-Aided …, 2023 - ieeexplore.ieee.org
Neural networks (NNs) playing the role of controllers have demonstrated impressive
empirical performance on challenging control problems. However, the potential adoption of …

Learning representation for anomaly detection of vehicle trajectories

R Jiao, J Bai, X Liu, T Sato, X Yuan… - 2023 IEEE/RSJ …, 2023 - ieeexplore.ieee.org
Predicting the future trajectories of surrounding vehicles based on their history trajectories is
a critical task in autonomous driving. However, when small crafted perturbations are …

Semi-supervised semantics-guided adversarial training for robust trajectory prediction

R Jiao, X Liu, T Sato, QA Chen… - Proceedings of the IEEE …, 2023 - openaccess.thecvf.com
Predicting the trajectories of surrounding objects is a critical task for self-driving vehicles and
many other autonomous systems. Recent works demonstrate that adversarial attacks on …

Joint differentiable optimization and verification for certified reinforcement learning

Y Wang, S Zhan, Z Wang, C Huang, Z Wang… - Proceedings of the …, 2023 - dl.acm.org
Model-based reinforcement learning has been widely studied for controller synthesis in
cyber-physical systems (CPSs). In particular, for safety-critical CPSs, it is important to …

Safety-assured speculative planning with adaptive prediction

X Liu, R Jiao, Y Wang, Y Han… - 2023 IEEE/RSJ …, 2023 - ieeexplore.ieee.org
Recently significant progress has been made in vehicle prediction and planning algorithms
for autonomous driving. However, it remains quite challenging for an autonomous vehicle to …

ADAssure: Debugging methodology for autonomous driving control algorithms

A Roberts, MRH Iman, M Bellone… - … , Automation & Test …, 2024 - ieeexplore.ieee.org
Autonomous driving (AD) system designers need methods to efficiently debug vulnerabilities
found in control algorithms. Existing methods lack alignment to the requirements of AD …

Cloud and Edge Computing for Connected and Automated Vehicles

Q Zhu, B Yu, Z Wang, J Tang, QA Chen… - … and Trends® in …, 2023 - nowpublishers.com
The recent development of cloud computing and edge computing shows great promise for
the Connected and Automated Vehicle (CAV), by enabling CAVs to offload their massive on …

Waving the double-edged sword: Building resilient cavs with edge and cloud computing

X Liu, Y Luo, A Goeckner, T Chakraborty… - 2023 60th ACM/IEEE …, 2023 - ieeexplore.ieee.org
The rapid advancement of edge and cloud computing platforms, vehicular ad-hoc networks,
and machine learning techniques have brought both opportunities and challenges for next …

Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control

D Yuan, X Yu, S Li, X Yin - International Journal of Systems …, 2024 - Taylor & Francis
Ensuring safety for vehicle overtaking systems is one of the most fundamental and
challenging tasks in autonomous driving. This task is particularly intricate when the vehicle …