skip to main content


Title: A Safety Fallback Controller for Improved Collision Avoidance
We present an implementation of a formally verified safety fallback controller for improved collision avoidance in an autonomous vehicle research platform. Our approach uses a primary trajectory planning system that aims for collision-free navigation in the presence of pedestrians and other vehicles, and a fallback controller that guards its behavior. The safety fallback controller excludes the possibility of collisions by accounting for nondeterministic uncertainty in the dynamics of the vehicle and moving obstacles, and takes over the primary controller as necessary. We demonstrate the system in an experimental set-up that includes simulations and real-world tests with a 1/5-scale vehicle. In stressing simulation scenarios, the safety fallback controller significantly reduces the number of collisions.  more » « less
Award ID(s):
1931821
PAR ID:
10483347
Author(s) / Creator(s):
; ; ; ; ; ; ; ;
Publisher / Repository:
IEEE
Date Published:
Journal Name:
2023 IEEE International Conference on Assured Autonomy (ICAA)
ISBN:
979-8-3503-2601-7
Page Range / eLocation ID:
129 to 136
Format(s):
Medium: X
Location:
Laurel, MD, USA
Sponsoring Org:
National Science Foundation
More Like this
  1. A. Ghate, K. Krishnaiyer (Ed.)
    Deaths due to road traffic accidents are one of the leading causes of death in the United States. Furthermore, the economic impact of road traffic accidents accounts for about 3% of the United States' annual gross domestic product (GDP). In the past decade, extensive research has focused on autonomous vehicles (AVs). This technology is said to help prevent traffic accidents while promoting road traffic safety. This study aims to investigate the safety performance of AVs and identify the significant risk factors associated with the AV collisions. The study considers more than 200 crashes involving AVs and includes vehicle factors, environmental factors, collision type and crash severity. Multinomial logistic regression was conducted with collision type. The results showed no statistically significant risk factors to crash severity. However, movement preceding to collision contributes significantly to collision type. When both vehicles are moving, there's a higher likelihood of an angled collision, 47% to be exact. The other scenario which demonstrates a high probability of an angled collision is when the AV vehicle is not moving while the other is moving. The highest probability for a rear-end collision to occur is when the AV vehicle is not moving while the other is moving. This scenario makes up 55% of the entire rear-end collisions. As for the second-highest proportion, both vehicles moving, it consists of 42%. The research shall help reduce AV involved collisions and increase driving safety. 
    more » « less
  2. Nowadays, AI-based techniques, such as deep neural networks (DNNs), are widely deployed in autonomous systems for complex mission requirements (e.g., motion planning in robotics). However, DNNs-based controllers are typically very complex, and it is very hard to formally verify their correctness, potentially causing severe risks for safety-critical autonomous systems. In this paper, we propose a construction scheme for a so-called Safe-visor architecture to sandbox DNNs-based controllers. Particularly, we consider the construction under a stochastic game framework to provide a system-level safety guarantee which is robust to noises and disturbances. A supervisor is built to check the control inputs provided by a DNNs-based controller and decide whether to accept them. Meanwhile, a safety advisor is running in parallel to provide fallback control inputs in case the DNN-based controller is rejected. We demonstrate the proposed approaches on a quadrotor employing an unverified DNNs-based controller.

     
    more » « less
  3. Bicycling has become an increasingly popular and environmentally friendly active transportation modality for many commuters across the nation. Consequently, as ridership increases so does the rate of bicycle–motor vehicle crashes, many of which are caused by reduced bicycle visibility and driver inattention. Therefore, one effective solution to improve bicyclist safety may be through the use of an audible bicycle alarm system to alert both the driver and the rider. A study was conducted to determine whether a unique auditory alert would be effective at reducing crash rates and whether a localized alert (i.e., an alert presented from the driver’s perspective) would improve the driver’s responsiveness in avoiding a potential collision. A driving simulator study tested car horn sounds, an experimental bike alert, and no auditory alert in different potential collision scenarios to measure collision rates and other collision avoidance metrics. Findings indicated that the experimental bike alert contributed to fewer relative crashes than the horn sound and no sound on bicycles, motor vehicles were struck more frequently than bicycles, collisions were more likely to occur from the front than the sides, and collisions were more likely for drivers going straight than when making turns. Taken together, the findings suggest that an alarm designed to be specifically compatible with bicycles is more effective than auditory alerts from other sources.

     
    more » « less
  4. We consider a prototypical intelligent transportation system with a control law that is specifically designed to avoid collisions. We experimentally demonstrate that, nevertheless, an attack on a position sensor can result in collisions between vehicles. This is a consequence of the feeding of malicious sensor measurements to the controller and the collision avoidance module built into the system. This is an instance of the broader concern of cybersecurity vulnerabilities opened up by the increasing integration of critical physical infrastructures with the cyber system. We consider a solution based on “dynamic watermarking” of signals to detect and stop such attacks on cyber-physical systems. We show how dynamic watermarking can handle nonlinearities arising in vehicular models. We then experimentally demonstrate that employing this nonlinear extension indeed restores the property of collision freedom even in the presence of attacks. 
    more » « less
  5. Skateboarding as a method of transportation has become prevalent, which has increased the occurrence and likelihood of pedestrian–skateboarder collisions and near-collision scenarios in shared-use roadway areas. Collisions between pedestrians and skateboarders can result in significant injury. New approaches are needed to evaluate shared-use areas prone to hazardous pedestrian–skateboarder interactions, and perform real-time, in situ (e.g., on-device) predictions of pedestrian–skateboarder collisions as road conditions vary due to changes in land usage and construction. A mechanism called the Surrogate Safety Measures for skateboarder–pedestrian interaction can be computed to evaluate high-risk conditions on roads and sidewalks using deep learning object detection models. In this paper, we present the first ever skateboarder–pedestrian safety study leveraging deep learning architectures. We view and analyze state of the art deep learning architectures, namely the Faster R-CNN and two variants of the Single Shot Multi-box Detector (SSD) model to select the correct model that best suits two different tasks: automated calculation of Post Encroachment Time (PET) and finding hazardous conflict zones in real-time. We also contribute a new annotated data set that contains skateboarder–pedestrian interactions that has been collected for this study. Both our selected models can detect and classify pedestrians and skateboarders correctly and efficiently. However, due to differences in their architectures and based on the advantages and disadvantages of each model, both models were individually used to perform two different set of tasks. Due to improved accuracy, the Faster R-CNN model was used to automate the calculation of post encroachment time, whereas to determine hazardous regions in real-time, due to its extremely fast inference rate, the Single Shot Multibox MobileNet V1 model was used. An outcome of this work is a model that can be deployed on low-cost, small-footprint mobile and IoT devices at traffic intersections with existing cameras to perform on-device inferencing for in situ Surrogate Safety Measurement (SSM), such as Time-To-Collision (TTC) and Post Encroachment Time (PET). SSM values that exceed a hazard threshold can be published to an Message Queuing Telemetry Transport (MQTT) broker, where messages are received by an intersection traffic signal controller for real-time signal adjustment, thus contributing to state-of-the-art vehicle and pedestrian safety at hazard-prone intersections. 
    more » « less