This volume presents a number of fundamental theoretical advances in the area of stochastic hybrid systems, motivated primarily from applications to air traffic management. Air traffic is arguably the most challenging application area...