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 …

Efficient global robustness certification of neural networks via interleaving twin-network encoding

Z Wang, C Huang, Q Zhu - 2022 Design, Automation & Test in …, 2022 - ieeexplore.ieee.org
The robustness of deep neural networks has received significant interest recently, especially
when being deployed in safety-critical systems, as it is important to analyze how sensitive …

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 …

State-wise safe reinforcement learning with pixel observations

SS Zhan, Y Wang, Q Wu, R Jiao, C Huang… - arXiv preprint arXiv …, 2023 - arxiv.org
Reinforcement Learning (RL) in the context of safe exploration has long grappled with the
challenges of the delicate balance between maximizing rewards and minimizing safety …

Lyapunov-stable neural control for state and output feedback: A novel formulation for efficient synthesis and verification

L Yang, H Dai, Z Shi, CJ Hsieh, R Tedrake… - arXiv preprint arXiv …, 2024 - arxiv.org
Learning-based neural network (NN) control policies have shown impressive empirical
performance in a wide range of tasks in robotics and control. However, formal (Lyapunov) …

Empowering Autonomous Driving with Large Language Models: A Safety Perspective

Y Wang, R Jiao, C Lang, SS Zhan, C Huang… - arXiv preprint arXiv …, 2023 - arxiv.org
Autonomous Driving (AD) faces crucial hurdles for commercial launch, notably in the form of
diminished public trust and safety concerns from long-tail unforeseen driving scenarios. This …

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 …

Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task

Q Wu, SS Zhan, Y Wang, CW Lin, C Lv, Q Zhu… - arXiv preprint arXiv …, 2024 - arxiv.org
Reinforcement learning is challenging in delayed scenarios, a common real-world situation
where observations and interactions occur with delays. State-of-the-art (SOTA) state …

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 …

Safe Autonomous Driving with Latent Dynamics and State-Wise Constraints

C Wang, Y Wang - Sensors, 2024 - mdpi.com
Autonomous driving has the potential to revolutionize transportation, but developing safe
and reliable systems remains a significant challenge. Reinforcement learning (RL) has …