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

by   Yanni Kouskoulas, et al.

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.



page 11

page 15

page 17


A hybrid controller for safe and efficient collision avoidance control

We design and experimentally evaluate a hybrid safe-by-construction coll...

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...

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

We present a novel, decentralized collision avoidance algorithm for navi...

SwarmCCO: Probabilistic Reactive Collision Avoidance for Quadrotor Swarms under Uncertainty

We present decentralized collision avoidance algorithms for quadrotor sw...

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

We present a multirotor architecture capable of aggressive autonomous fl...

Towards Disturbance-Free Visual Mobile Manipulation

Embodied AI has shown promising results on an abundance of robotic tasks...

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.