no code implementations • 29 Mar 2022 • Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
We study the temporal robustness of temporal logic specifications and show how to design temporally robust control laws for time-critical control systems.
no code implementations • 25 Jan 2021 • Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jang, Houssam Abbas, Rahul Mangharam
Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft System (UAS) carry out a wide variety of missions (e. g. moving humans and goods within the city), is gaining acceptance as a transportation solution of the future.
no code implementations • 23 Jun 2020 • Alëna Rodionova, Yash Vardhan Pant, Kuk Jang, Houssam Abbas, Rahul Mangharam
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 airspace above cities.