DeepAI AI Chat
Log In Sign Up

Goal-Aware RSS for Complex Scenarios via Program Logic

by   Ichiro Hasuo, et al.

We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement – in addition to collision avoidance as in the original RSS – requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reasoning framework based on program logic, in which one can systematically develop RSS rules for smaller subscenarios and combine them to obtain RSS rules for bigger scenarios. As the basis of the framework, we introduce a program logic dFHL that accommodates continuous dynamics and safety conditions. Our framework presents a dFHL-based workflow for deriving goal-aware RSS rules; we discuss its software support, too. We conducted experimental evaluation using RSS rules in a safety architecture. Its results show that goal-aware RSS is indeed effective in realising both collision avoidance and goal achievement.


page 4

page 13

page 14

page 21

page 29

page 30


Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization

Responsibility-sensitive safety (RSS) is an approach to the safety of au...

Learning-based Initialization Strategy for Safety of Multi-Vehicle Systems

Multi-vehicle collision avoidance is a highly crucial problem due to the...

Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X

The design of aircraft collision avoidance algorithms is a subtle but im...

Resource Planning For Rescue Operations

After an earthquake, disaster sites pose a multitude of health and safet...

Hybrid Deep Reinforcement Learning and Planning for Safe and Comfortable Automated Driving

We present a novel hybrid learning method, HyLEAR, for solving the colli...

Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure

This paper presents a method of computing a revision of a function-free ...

Development and Simulation-based Testing of a 5G-Connected Intersection AEB System

In Europe, 20 evolving communication technologies are making V2V and V2I...