Search Results for author:
Found 4 papers, 0 papers with code
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
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.
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme
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.
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design
We study the temporal robustness of temporal logic specifications and show how to design temporally robust control laws for time-critical control systems.
Combined Left and Right Temporal Robustness for Control under STL Specifications
Many modern autonomous systems, particularly multi-agent systems, are time-critical and need to be robust against timing uncertainties.
