Abstract In the future, Air Traffic Control (ATC) will have to cope with a radical change in air
traffic. Apart from the probable increase in traffic that will push the system to its limits, the …

We introduce differential refinement logic (dRL), a logic with first-class support for refinement
relations on hybrid systems, and a proof calculus for verifying such relations. dRL …

A network design problem is to select a subset of links in a transport network that satisfy
passengers or cargo transportation demands while minimizing the overall costs of the …

In this paper we present an approach to coordinate the motions of droplets in digital
microfluidic systems, a new class of lab-on-a-chip systems for biochemical analysis. A digital …

This paper extends the Navigation Function methodology to the case of 3D nonholonomic
vehicles, both in single agent and multi‐agent problems. The kinematic, nonholonomic …

This paper studies the problem of aircraft midair conflict resolution, which is a key
technology to enable the coordinated and decentralized air traffic control envisioned in the …

Game theory has been widely used in various fields since its birth. Particularly, it plays an
important role in transportation analysis and provides powerful tools to solve many difficult …

This paper presents a novel bilateral shared framework for online trajectory generation for
mobile robots. The robot navigates along a dynamic path, represented as a B-spline, whose …

This paper addresses the design of a secure and fault-tolerant air transportation system in
the presence of attempts to disrupt the system through the satellite-based navigation system …

As airspace becomes ever more crowded, air traffic management must reduce both space
and time between aircraft to increase throughput, making on-board collision avoidance …