Formal verification of curved flight collision avoidance maneuvers: A case study

A Platzer, EM Clarke - International Symposium on Formal Methods, 2009 - Springer
Aircraft collision avoidance maneuvers are important and complex applications. Curved
flight exhibits nontrivial continuous behavior. In combination with the control choices during …

Coordinated motion planning for multiple mobile robots along designed paths with formation requirement

S Liu, D Sun, C Zhu - IEEE/ASME transactions on …, 2010 - ieeexplore.ieee.org
This paper presents a motion-planning approach for coordinating multiple mobile robots in
moving along specified paths. The robots are required to fulfill formation requirements while …

Performance characterization of a reconfigurable planar array digital microfluidic system

EJ Griffth, S Akella, MK Goldberg - Design automation methods and tools …, 2006 - Springer
This chapter describes a computational approach to designing a digital micro-fluidic system
(DMFS) that can be rapidly reconfigured for new biochemical analyses. Such a “lab-on-a …

Feature selection-based decision model for UAV path planning on rough terrains

H Ali, G Xiong, MH Haider, TS Tamir, X Dong… - Expert Systems with …, 2023 - Elsevier
Path planning and obstacle avoidance in 3D terrain have been identified as a monumental
challenge for a UAV in a variety of autonomous missions, such as disaster management …

Three dimensional receding horizon control for UAVs

Y Kuwata, J How - AIAA Guidance, Navigation, and Control Conference …, 2004 - arc.aiaa.org
This paper presents a receding horizon controller (RHC) that can be used to design
trajectories for an aerial vehicle flying through a three dimensional terrain with obstacles and …

A space-discretized mixed-integer linear model for air-conflict resolution with speed and heading maneuvers

J Omer - Computers & Operations Research, 2015 - Elsevier
Air-conflict resolution is a bottleneck of air traffic management that will soon require powerful
decision-aid systems to avoid the proliferation of delays. Since reactivity is critical for this …

A satisficing approach to aircraft conflict resolution

JK Archibald, JC Hill, NA Jepsen… - … on Systems, Man …, 2008 - ieeexplore.ieee.org
Future generations of air traffic management systems may give appropriately equipped
aircraft the freedom to change flight paths in real time. This would require a conflict …

Protocol-based conflict resolution for air traffic control

I Hwang, J Kim, C Tomlin - Air Traffic Control Quarterly, 2007 - arc.aiaa.org
This paper proposes a simple geometric method for collaborative multiple-aircraft conflict
avoidance. We assume that aircraft cruise at constant altitude with varying velocities and …

Automatic commercial aircraft-collision avoidance in free flight: the three-dimensional problem

MA Christodoulou, SG Kodaxakis - IEEE transactions on …, 2006 - ieeexplore.ieee.org
In this paper, optimal resolution of air-traffic (AT) conflicts were considered. Aircraft are
assumed to cruise within a free altitude layer and are modeled in three dimensions with …

Blockchain-powered policy enforcement for ensuring flight compliance in drone-based service systems

MS Rahman, I Khalil, M Atiquzzaman - IEEE Network, 2021 - ieeexplore.ieee.org
Drones, or unmanned aerial vehicles, can be used for commercial services such as short-
distance delivery. In order to ensure quality services, multiple drone-based delivery service …