arXiv Science⌕ Search

arXiv subjects

John-Paul Clarke

Publications and source records attributed to John-Paul Clarke.

28 records · Page 2Linked to original sources

Developing 3D Virtual Safety Risk Terrain for UAS Operations in Complex Urban Environments

Unmanned Aerial Systems (UAS), an integral part of the Advanced Air Mobility (AAM) vision, are capable of performing a wide spectrum of tasks in urban environments. The societal integration of UAS is a pivotal challenge, as these systems must operate harmoniously within the constraints imposed by regulations and societal concerns. In complex urban environments, UAS safety has been a perennial obstacle to their large-scale deployment. To mitigate UAS safety risk and facilitate risk-aware UAS operations planning, we propose a novel concept called \textit{3D virtual risk terrain}. This concept converts public risk constraints in an urban environment into 3D exclusion zones that UAS operations should avoid to adequately reduce risk to Entities of Value (EoV). To implement the 3D virtual risk terrain, we develop a conditional probability framework that comprehensively integrates most existing basic models for UAS ground risk. To demonstrate the concept, we build risk terrains on a Chicago downtown model and observe their characteristics under different conditions. We believe that the 3D virtual risk terrain has the potential to become a new routine tool for risk-aware UAS operations planning, urban airspace management, and policy development. The same idea can also be extended to other forms of societal impacts, such as noise, privacy, and perceived risk.

cs.CE↗

Alpha-Fair Routing in Urban Air Mobility with Risk-Aware Constraints

In the vision of urban air mobility, air transport systems serve the demands of urban communities by routing flight traffic in networks formed by vertiports and flight corridors. We develop a routing algorithm to ensure that the air traffic flow fairly serves the demand of multiple communities subject to stochastic network capacity constraints. This algorithm guarantees that the flight traffic volume allocated to different communities satisfies the \emph{alpha-fairness conditions}, a commonly used family of fairness conditions in resource allocation. It further ensures robust satisfaction of stochastic network capacity constraints by bounding the coherent risk measures of capacity violation. We prove that implementing the proposed algorithm is equivalent to solving a convex optimization problem. We demonstrate the proposed algorithm using a case study based on the city of Austin. Compared with one that maximizes the total served demands, the proposed algorithm promotes even distributions of served demands for different communities.

math.OC↗

Nested Vehicle Routing Problem: Optimizing Drone-Truck Surveillance Operations

Unmanned aerial vehicles or drones are becoming increasingly popular due to their low cost and high mobility. In this paper we address the routing and coordination of a drone-truck pairing where the drone travels to multiple locations to perform specified observation tasks and rendezvous periodically with the truck to swap its batteries. We refer to this as the Nested-Vehicle Routing Problem (Nested-VRP) and develop a Mixed Integer Quadratically Constrained Programming (MIQCP) formulation with critical operational constraints, including drone battery capacity and synchronization of both vehicles during scheduled rendezvous. An enhancement of the MIQCP model for the Nested-VRP is achieved by deriving the equivalent Mixed Integer Linear Programming (MILP) formulation as well as leveraging lifting and Reformulation-Linearization techniques to strengthen the subtour elimination constraints of the drone. Given the NP-hard nature of the Nested-VRP, we further propose an efficient neighborhood search (NS) heuristic where we generate and improve on a good initial solution by iteratively solving the Nested-VRP on a local scale. We provide comparisons of both the exact approaches based on MIQCP or its enhanced formulations and NS heuristic methods with a relaxation lower bound in the cases of small and large problem sizes, and present the results of a computational study to show the effectiveness of the MIQCP model and its variants as well as the efficiency of the NS heuristic, including for a real-life instance with 631 locations. We envision that this framework will facilitate the planning and operations of combined drone-truck missions.

cs.DM↗

Finite-Sample Analysis of Nonlinear Stochastic Approximation with Applications in Reinforcement Learning

Motivated by applications in reinforcement learning (RL), we study a nonlinear stochastic approximation (SA) algorithm under Markovian noise, and establish its finite-sample convergence bounds under various stepsizes. Specifically, we show that when using constant stepsize (i.e., $α_k\equiv α$), the algorithm achieves exponential fast convergence to a neighborhood (with radius $O(α\log(1/α))$) around the desired limit point. When using diminishing stepsizes with appropriate decay rate, the algorithm converges with rate $O(\log(k)/k)$. Our proof is based on Lyapunov drift arguments, and to handle the Markovian noise, we exploit the fast mixing of the underlying Markov chain. To demonstrate the generality of our theoretical results on Markovian SA, we use it to derive the finite-sample bounds of the popular $Q$-learning with linear function approximation algorithm, under a condition on the behavior policy. Importantly, we do not need to make the assumption that the samples are i.i.d., and do not require an artificial projection step in the algorithm to maintain the boundedness of the iterates. Numerical simulations corroborate our theoretical results.

math.OC↗

Using Submodularity within Column Generation to Solve the Flight-to-Gate Assignment Problem

In this paper, we provide a column generation-based approach for solving the airport flight-to-gate assignment problem, where the goal is to minimize the on-ground portion of arrival delays by optimally assigning each scheduled flight to a compatible gate. Specifically, we use a set covering formulation for the master problem and decompose the pricing problem such that each gate is the basis for an independent pricing problem to be solved for assignment patterns with negative reduced costs. We use a combination of an approximation algorithm based on the submodularity of the underlying set and dynamic programming algorithms to solve the independent pricing problems. To the best of our knowledge, this is the first use of submodularity property to efficiently solve pricing problems and improve the performance of column generation algorithm. We show that the dynamic programming algorithm is pseudo-polynomial when there are integer inputs. We also design and employ a rolling horizon method and block decomposition algorithm to solve large-sized instances. Finally, we perform extensive computational experiments to validate the performance of our approach.

math.OC↗

Passenger Flow Predictions at Sydney International Airport: A Data-Driven Queuing Approach

Time spent in processing zones at an airport are an important part of the passenger's airport experience. It undercuts the time spent in the rest of the airport, and therefore the revenue that could be generated from shopping and dining. It can also result in passengers missing flights and connections, which has significant operational repercussions. Inadequate staffing levels are often to blame for large congestion at an airport. In this paper, we present a stochastic simulation that estimates the operational uncertainty in passenger processing at immigration. Congestion and delays are estimated on arrivals and departures based on scheduled flight departures and arrivals. We demonstrate the use of cellular tracking data in refining the model, and an approach to controlling congestion by adjusting staffing levels.

cs.OH↗

Vertical Trajectory Optimization to Minimize Environmental Impact in the Presence of Wind

The vertical trajectory optimization for the en route descent phase is studied in the presence of both along track and cross winds, which are both modeled as functions of altitude. The flight range covers some portion of a cruise segment and ends at a meter fix. The descent trajectory is assumed as a flight idle descent. The problem is formulated as an optimal control problem with both mixed state path constraints and pure state constraints. For minimizing environmental impacts, we optimize descent trajectory with respect to two cost functionals: fuel and emissions cost. We analyze both singular arc and boundary arc using the necessary conditions of the optimality. From the analysis result, we propose the optimal trajectory generation method, in which the optimal trajectory is generated by the backward and forward integration. The trajectory from the proposed algorithm is compared to the numerical optimal solution of the original optimal control problem. The result shows that proposed algorithm generates the same solution as the numerical optimal solution. The wind speed, wind shear, and cross wind effects on the optimal trajectory are analyzed with two aircraft type, Boeing 737-500 and Boeing 767-400.

math.OC↗

Airport Gate Scheduling for Passengers, Aircraft, and Operation

Passengers' experience is becoming a key metric to evaluate the air transportation system's performance. Efficient and robust tools to handle airport operations are needed along with a better understanding of passengers' interests and concerns. Among various airport operations, this paper studies airport gate scheduling for improved passengers' experience. Three objectives accounting for passengers, aircraft, and operation are presented. Trade-offs between these objectives are analyzed, and a balancing objective function is proposed. The results show that the balanced objective can improve the efficiency of traffic flow in passenger terminals and on ramps, as well as the robustness of gate operations.

eess.SY↗

Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis

Due to the stochastic nature of departure operations, working at full capacity makes major US airports very sensitive to uncertainties. Consequently, airport ground operations face critically congested taxiways and long runway queues. In this report, we show how improved management of departure operations from the ready-to-push-back time to the wheels-off time can potentially yield significant benefits to airlines and air traffic services. We develop a Collaborative Virtual Queue to enable better optimization capabilities during congested situations while taking into account the laissez-faire competitive environment. Results are evaluated using a departure system model, validated using current statistics and previous studies. First, the Collaborative Virtual Queue enables keeping aircraft away from runway queues, which increases wheels-off time predictability. Second, holding aircraft enables last-minute intra-airline flight switching. This creates new optimization capabilities for airlines i.e. it gives airlines the flexibility to prioritize their flight sequence in real-time. These capabilities are illustrated by the trade-off between minimizing the average passenger waiting time and minimizing the level of unfairness between aircraft of the same airline. For instance, airlines could choose to decrease by up to 15% their average passenger waiting time by prioritizing heavy planes over small planes when the taxiway system is congested.

cs.OH↗

A Dynamic I/O Model for TRACON Traffic Management

This work investigates the TRACON flow management around a major airport. Aircraft flows are analyzed through a study of TRACON trajectories records. Rerouting and queuing processes are highlighted and airport characteristics are shown as function of the number of planes in the TRACON. Then, a simple input-output TRACON queuing and landing model is proposed. This model is calibrated and validated using available TRACON data. It reproduces the same phenomenon as the real system. This model is used to show the impact of limiting the number of aircrafts in the TRACON. A limited number of aircraft does not increase delays but reduces the controller's workload and increases safety.

cs.OH↗