Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper addresses the critical challenges of airspace management in Urban Air Mobility (UAM) by introducing an Answer Set Programming (ASP) approach for strategic deconfliction of aerial vehicles. The study highlights the importance of time synchronization and route optimization to generate conflict-free flight plans, demonstrating that ASP outperforms Constraint Programming (CP) in terms of execution speed and scalability for small to medium scenarios. Key findings reveal that while CP remains stable in memory usage, its performance deteriorates with increasing complexity, underscoring the advantages of ASP in UAM applications.
ASP-based deconfliction can significantly enhance the safety and efficiency of Urban Air Mobility operations, outperforming traditional methods in speed and scalability.
The growing demand for Urban Air Mobility (UAM) introduces significant challenges in airspace management, particularly within densely populated metropolitan regions. As the number of aerial vehicles-such as drones, air taxis, and helicopters-continues to rise, so does the risk of mid-air collisions and conflicts with existing air traffic and obstacles. Ensuring safe and efficient UAM operations requires robust strategic deconfliction mechanisms. We propose an Answer Set Programming (ASP) based approach for strategic deconfliction, focusing on time synchronization and route optimization for conflict-free flight plans. The solution is benchmarked against Constraint Programming (CP), emphasizing scalability and resource use. Results show that ASP offers faster execution and better scalability for small to medium cases, while CP maintains stable memory but degrades with complexity.