With increasing urban population, there is global interest in Urban Air Mobility (UAM), where
hundreds of autonomous Unmanned Aircraft Systems (UAS) execute missions in the …

This paper addresses the onboard locally centralized conflict resolution problem of
heterogeneous unmanned aerial vehicles (UAVs) with variable headings. First, the …

Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft
Systems (UASs) carry out a wide variety of missions (eg, moving humans and goods within …

As hundreds of Unmanned Aircraft System (UAS) operate within urban airspaces,
automated and decentralized UAS traffic management (UTM) will be critical to maintain safe …

Background: Due to the rising popularity of autonomous unmanned vehicles, and the lack of
well-defined rules to follow, a solution is needed when the physical space is crowded to a …

An increased focus on the development of autonomous safety-critical systems requires more
attention at ensuring safety of humans and the environment. The main objective of this thesis …

Abstract Signal Temporal Logic (STL) is a common way to express a broad range of real-
time constraints that can be imposed on control systems. Spatial robustness of STL …