Artificial intelligence for safety-critical systems in industrial and transportation domains: A survey

J Perez-Cerrolaza, J Abella, M Borg, C Donzella… - ACM Computing …, 2023 - dl.acm.org
Artificial Intelligence (AI) can enable the development of next-generation autonomous safety-
critical systems in which Machine Learning (ML) algorithms learn optimized and safe …

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 …

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 …

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 …

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 …

Safety-driven interactive planning for neural network-based lane changing

X Liu, R Jiao, B Zheng, D Liang, Q Zhu - … of the 28th Asia and South …, 2023 - dl.acm.org
Neural network-based driving planners have shown great promises in improving task
performance of autonomous driving. However, it is critical and yet very challenging to ensure …

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 …

Connectivity enhanced safe neural network planner for lane changing in mixed traffic

X Liu, R Jiao, B Zheng, D Liang, Q Zhu - arXiv preprint arXiv:2302.02513, 2023 - arxiv.org
Connectivity technology has shown great potentials in improving the safety and efficiency of
transportation systems by providing information beyond the perception and prediction …

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 …

Collaborative trolley transportation system with autonomous nonholonomic robots

B Xia, H Luan, Z Zhao, X Gao, P Xie… - 2023 IEEE/RSJ …, 2023 - ieeexplore.ieee.org
Cooperative object transportation using multiple robots has been intensively studied in the
control and robotics literature, but most approaches are either only applicable to …