The use of aerial swarms to solve real-world problems has been increasing steadily,
accompanied by falling prices and improving performance of communication, sensing, and …

A number of methods have been proposed to automate air traffic conflict detection and
resolution (CDR), but there has been little cohesive discussion or comparative evaluation of …

This paper presents safety barrier certificates that ensure scalable and provably collision-
free behaviors in multirobot systems by modifying the nominal controllers to formally satisfy …

This article presents a novel method for exactly reformulating nondifferentiable collision
avoidance constraints into smooth, differentiable constraints using strong duality of convex …

A comprehensive introduction to hybrid control systems and design Hybrid control systems
exhibit both discrete changes, or jumps, and continuous changes, or flow. An example of a …

This paper addresses the consensus problem of multiagent systems with a time-invariant
communication topology consisting of general linear node dynamics. A distributed observer …

In this article, the event-triggered asynchronous control problem of nonlinear multiagent
systems is investigated based on Takagi-Sugeno fuzzy models. In order to rationally utilize …

l\lany systems encountered in practice involve a coupling between contin uous dynamics
and discrete events. Systems in which these two kinds of dynamics coexist and interact are …

This paper presents control and coordination algorithms for groups of vehicles. The focus is
on autonomous vehicle networks performing distributed sensing tasks, where each vehicle …

Air traffic management (ATM) of the future allows for the possibility of free flight, in which
aircraft choose their own optimal routes, altitudes, and velocities. The safe resolution of …