Tackling Occlusions & Limited Sensor Range with Set-based Safety Verification

Abstract

Provable safety is one of the most critical challenges in automated driving. The behavior of numerous traffic participants in a scene cannot be predicted reliably due to complex interdependencies and the indiscriminate behavior of humans. Additionally, we face high uncertainties and only incomplete environment knowledge. Recent approaches minimize risk with probabilistic and machine learning methods - even under occlusions. These generate comfortable behavior with good traffic flow, but cannot guarantee safety of their maneuvers. Therefore, we contribute a safety verification method for trajectories under occlusions. The field-of-view of the ego vehicle and a map are used to identify critical sensing field edges, each representing a potentially hidden obstacle. The state of occluded obstacles is unknown, but can be over-approximated by intervals over all possible states. Then set-based methods are extended to provide occupancy predictions for obstacles with state intervals. The proposed method can verify the safety of given trajectories (e.g. if they ensure collision-free fail-safe maneuver options) w.r.t. arbitrary safe-state formulations. The potential for provably safe trajectory planning is shown in three evaluative scenarios.

References in corpus (2)

• Congested Traffic States in Empirical Observations and Microscopic Simulations
• On a Formal Model of Safe and Scalable Self-driving Cars

Cited by in corpus (16)

• Occlusion-Aware Risk Assessment for Autonomous Driving in Urban Environments
• Formal Certification Methods for Automated Vehicle Safety Assessment
• Safe Occlusion-aware Autonomous Driving via Game-Theoretic Active Perception
• Decision-Making for Automated Vehicles Using a Hierarchical Behavior-Based Arbitration Scheme
• BSL: Navigation Method Considering Blind Spots Based on ROS Navigation Stack and Blind Spots Layer for Mobile Robot
• Comprehensive Reactive Safety: No Need For A Trajectory If You Have A Strategy
• I Know You Can't See Me: Dynamic Occlusion-Aware Safety Validation of Strategic Planners for Autonomous Vehicles Using Hypergames
• Overcoming Blind Spots: Occlusion Considerations for Improved Autonomous Driving Safety
• Lane level context and hidden space characterization for autonomous driving
• Perceive, Attend, and Drive: Learning Spatial Attention for Safe Self-Driving
• Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version)
• From Shadows to Safety: Occlusion Tracking and Risk Mitigation for Urban Autonomous Driving
• Risk Assessment and Planning with Bidirectional Reachability for Autonomous Driving
• Behavior Planning of Autonomous Cars with Social Perception
• Tackling Existence Probabilities of Objects with Motion Planning for Automated Urban Driving
• Learning A Unified Risk Map for Autonomous Driving in Partially Observable Environments