Verifiable Obstacle Detection

08/30/2022
by   Ayoosh Bansal, et al.
4

Perception of obstacles remains a critical safety concern for autonomous vehicles. Real-world collisions have shown that the autonomy faults leading to fatal collisions originate from obstacle existence detection. Open source autonomous driving implementations show a perception pipeline with complex interdependent Deep Neural Networks. These networks are not fully verifiable, making them unsuitable for safety-critical tasks. In this work, we present a safety verification of an existing LiDAR based classical obstacle detection algorithm. We establish strict bounds on the capabilities of this obstacle detection algorithm. Given safety standards, such bounds allow for determining LiDAR sensor properties that would reliably satisfy the standards. Such analysis has as yet been unattainable for neural network based perception systems. We provide a rigorous analysis of the obstacle detection system with empirical results based on real-world sensor data.

READ FULL TEXT

page 4

page 8

page 9

research
10/18/2022

You Can't See Me: Physical Removal Attacks on LiDAR-based Autonomous Vehicles Driving Frameworks

Autonomous Vehicles (AVs) increasingly use LiDAR-based object detection ...
research
09/04/2022

Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles

As Autonomous Vehicle (AV) development has progressed, concerns regardin...
research
07/05/2023

Mainline Automatic Train Horn and Brake Performance Metric

This paper argues for the introduction of a mainline rail-oriented perfo...
research
06/24/2022

Interaction-Dynamics-Aware Perception Zones for Obstacle Detection Safety Evaluation

To enable safe autonomous vehicle (AV) operations, it is critical that a...
research
08/11/2023

Refining Obstacle Perception Safety Zones via Maneuver-Based Decomposition

A critical task for developing safe autonomous driving stacks is to dete...
research
09/20/2022

Testing Rare Downstream Safety Violations via Upstream Adaptive Sampling of Perception Error Models

Testing black-box perceptual-control systems in simulation faces two dif...
research
12/06/2022

veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System

In this short paper, we present our ongoing work on the veriFIRE project...

Please sign up or login with your details

Forgot password? Click here to reset