In this paper we provide a wide-ranging review of the literature on stochastic modeling
applications within aviation, with a particular focus on problems involving demand and …

Safety is considered as some of the most important operational characteristics of
contemporary civil aviation. An extensive regulatory structure has been established to …

Because they incorporate both time-and event-driven dynamics, stochastic hybrid systems
(SHS) have become ubiquitous in a variety of fields, from mathematical finance to biological …

The safety of flights, and, in particular, separation assurance, is one of the main tasks of air
traffic control (ATC). Conflict resolution refers to the process used by ATCs to prevent loss of …

This paper presents a novel multiple model (MM) method for aircraft conflict detection and
resolution (CDR) in intent and weather uncertainty for the next generation air transportation …

This paper provides a detailed airspace capacity analysis for the Federal Aviation
Administration's Unmanned Aircraft System (UAS) Traffic Management (UTM) concept of …

Technology allows aircraft to broadcast information about its own-ship position and velocity
to surrounding aircraft, and to receive similar information from surrounding aircraft. This …

Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control
systems which mix discrete and continuous dynamics. For probabilistic discrete systems it …

The FAA and NASA are developing an Advanced Air Mobility (AAM) capability defining an
Unmanned Aircraft Systems (UAS) Traffic Management (UTM) architecture. The combined …

Air Traffic Management (ATM) involves interactions between multiple human operators,
procedures and technical systems, all of which are highly distributed. This yields that …