Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns

05/10/2022
by   Yanni Kouskoulas, et al.
0

We present an approach to analyzing the safety of asynchronous, independent, non-deterministic, turn-to-bearing horizontal maneuvers for two vehicles. Future turn rates, final bearings, and continuously varying ground speeds throughout the encounter are unknown but restricted to known ranges. We develop a library of formal proofs about turning kinematics, and apply the library to create a formally verified timing computation. Additionally, we create a technique that evaluates future collision possibilities that is based on waves of position possibilities and relies on the timing computation. The result either determines that the encounter will be collision-free, or computes a safe overapproximation for when and where collisions may occur.

READ FULL TEXT

Authors

page 11

page 15

page 17

03/29/2021

A hybrid controller for safe and efficient collision avoidance control

We design and experimentally evaluate a hybrid safe-by-construction coll...
06/10/2019

Composition of Safety Constraints With Applications to Decentralized Fixed-Wing Collision Avoidance

In this paper we discuss how to construct a barrier certificate for a co...
09/09/2019

DCAD: Decentralized Collision Avoidance with Dynamics Constraints for Agile Quadrotor Swarms

We present a novel, decentralized collision avoidance algorithm for navi...
09/16/2020

SwarmCCO: Probabilistic Reactive Collision Avoidance for Quadrotor Swarms under Uncertainty

We present decentralized collision avoidance algorithms for quadrotor sw...
05/31/2019

Fast and Agile Vision-Based Flight with Teleoperation and Collision Avoidance on a Multirotor

We present a multirotor architecture capable of aggressive autonomous fl...
12/17/2021

Towards Disturbance-Free Visual Mobile Manipulation

Embodied AI has shown promising results on an abundance of robotic tasks...
05/13/2019

Leveraging synthetic imagery for collision-at-sea avoidance

Maritime collisions involving multiple ships are considered rare, but in...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.