• Home
  • Search
  • Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns
  • Open Access IconOpen Access
  • Cite Icon1
  • https://doi.org/10.1007/s10009-022-00654-2Copy DOI Icon

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns

Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

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.

Similar Papers
  • Research Article
  • Citations15

Real-time Collision Avoidance for Pedestrian and Bicyclist Simulation: A Smooth and Predictive Approach

  • Jan 01, 2013
  • Procedia Computer Science
  • Jocelyn Buisson +4
  • Research Article
  • Citations14

Minimum predicted distance: Applying a common metric to collision avoidance strategies between children and adult walkers

  • May 22, 2019
  • Gait & Posture
  • Victoria Rapos +4
  • Research Article

65 pp., 33 fig., 2 tab., 1982. Pb. DM 49.-. Ralph-Michael Böhmer Flow Cytometry and Cell Proliferation Kinetics Progress in Histochemistry and Cytochemistry Vol. 14, No 4 VI 1982 Gustav Fischer Verlag Stuttgart - New York VI

  • Nov 01, 1984
  • Pathology - Research and Practice
  • E Sprenger
  • Conference Article
  • Citations2

The Consideration of Pilot Factors in Development of Future Collision Avoidance Systems

  • Oct 14, 1985
  • SAE technical papers on CD-ROM/SAE technical paper series
  • George P Boucek +2
  • Research Article
  • Citations97

Ship collision avoidance behaviour recognition and analysis based on AIS data

  • Jan 12, 2022
  • Ocean Engineering
  • H Rong +2
  • Conference Article
  • Citations4

Application of in-vehicle data buses for collision avoidance systems

  • Nov 09, 1997
  • W.D Horne +2
  • Conference Article
  • Citations15

Issues in airborne systems for closely-spaced parallel runway operations

  • Nov 05, 1995
  • A Pritchett +4
  • Conference Article
  • Citations20

A generic optimization-based framework for reactive collision avoidance in bipedal locomotion

  • Aug 01, 2016
  • Chengxu Zhou +4
  • Research Article
  • Citations16

Synthesis of Optimal Control for Cooperative Collision Avoidance for Aircraft (Ships) with Unequal Turn Capabilities

  • Aug 28, 2009
  • Journal of Optimization Theory and Applications
  • T Tarnopolskaya +1
  • Book Chapter
  • Citations3

Decentralized Autonomous Unmanned Aerial Vehicle Swarm Formation and Flight Control

  • Jan 01, 2019
  • Ihor Skyrda
  • Research Article
  • Citations18

Practical Distributed Control for Cooperative Multicopters in Structured Free Flight Concepts

  • Apr 01, 2023
  • IEEE Transactions on Intelligent Transportation Systems
  • Rao Fu +3
  • Conference Article
  • Citations15

Trajectory Optimization for Nonlinear Multi-Agent Systems using Decentralized Learning Model Predictive Control

  • Dec 14, 2020
  • Edward L Zhu +3
  • Conference Article
  • Citations1

An improved ant colony optimization approach for multi-aircraft horizontal escape maneuvers

  • Oct 01, 2012
  • Gang Xiao
  • Conference Article

Look Out for the Little Ones: On the Long-Term Impact of Debris Size Distribution on Breakup

  • Sep 13, 2024
  • Cameron J Liang +3
  • Conference Article
  • Citations6

On time-memory trade-off for collision detection

  • Jun 01, 2015
  • Albert Rizaldi +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.