Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner



Liu, Xiangguo, Huang, Chao ORCID: 0000-0002-9300-1787, Wang, Yixuan, Zheng, Bowen and Zhu, Qi
(2022) Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. In: 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), 2022-5-4 - 2022-5-6.

[img] Text
2022_ICCPS_Unprotected_Left_Turn.pdf - Author Accepted Manuscript

Download (1MB) | Preview

Abstract

Neural networks have shown great promises in planning, control, and general decision making for learning-enabled cyber-physical systems (LE-CPSs), especially in improving performance under complex scenarios. However, it is very challenging to formally analyze the behavior of neural network based planners for ensuring system safety, which significantly impedes their applications in safety-critical domains such as autonomous driving. In this work, we propose a hierarchical neural network based planner that analyzes the underlying physical scenarios of the system and learns a system-level behavior planning scheme with multiple scenario-specific motion-planning strategies. We then develop an efficient verification method that incorporates overapproximation of the system state reachable set and novel partition and union techniques for formally ensuring system safety under our physics-aware planner. With theoretical analysis, we show that considering the different physical scenarios and building a hierarchical planner based on such analysis may improve system safety and verifiability. We also empirically demonstrate the effectiveness of our approach and its advantage over other baselines in practical case studies of unprotected left turn and highway merging, two common challenging safety-critical tasks in autonomous driving.

Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: physics-aware, safety-assured, neural network, hierarchical planner
Depositing User: Symplectic Admin
Date Deposited: 07 Nov 2022 16:52
Last Modified: 15 Mar 2024 17:58
DOI: 10.1109/ICCPS54341.2022.00019
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3166034