Abstract
Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft Systems (UASs) 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. One of the key requirements for this to happen is safely managing the air traffic in these urban airspaces. Due to the expected density of the airspace, this requires fast autonomous solutions that can be deployed online. We propose Learning-‘N-Flying (LNF), a multi-UAS Collision Avoidance (CA) framework. It is decentralized, works on the fly, and allows autonomous Unmanned Aircraft System (UAS)s managed by different operators to safely carry out complex missions, represented using Signal Temporal Logic, in a shared airspace. We initially formulate the problem of predictive collision avoidance for two UASs as a mixed-integer linear program, and show that it is intractable to solve online. Instead, we first develop Learning-to-Fly (L2F) by combining (1) learning-based decision-making and (2) decentralized convex optimization-based control. LNF extends L2F to cases where there are more than two UASs on a collision path. Through extensive simulations, we show that our method can run online (computation time in the order of milliseconds) and under certain assumptions has failure rates of less than 1% in the worst case, improving to near 0% in more relaxed operations. We show the applicability of our scheme to a wide variety of settings through multiple case studies.
- Federal Aviation Administration. 2018. Concept of Operations: Unmanned Aircraft System (UAS) Traffic Management (UTM). https://utm.arc.nasa.gov/docs/2018-UTM-ConOps-v1.0.pdf.Google Scholar
- Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, and Calin Belta. 2016. Q-Learning for robust satisfaction of signal temporal logic specifications. In IEEE Conference on Decision and Control.Google ScholarDigital Library
- Javier Alonso-Mora, Tobias Naegeli, Roland Siegwart, and Paul Beardsley. 2015. Collision avoidance for aerial vehicles in multi-agent scenarios. Autonomous Robots 39, 1 (2015), 101–121. Google ScholarDigital Library
- Anjan Chakrabarty, Corey Ippolito, Joshua Baculi, Kalmanje Krishnakumar, and Sebastian Hening. 2019. Vehicle to Vehicle (V2V) communication for Collision avoidance for Multi-copters flying in UTM–TCL4. DOI:https://doi.org/10.2514/6.2019-0690Google Scholar
- Mohammed Dahleh, Munther A. Dahleh, and George Verghese. 2004. Lectures on dynamic systems and control. MIT Lecture Notes 4, 100 (2004), 1–100.Google Scholar
- Jonathan A. DeCastro, Javier Alonso-Mora, Vasumathi Raman, and Hadas Kress-Gazit. 2017. Collision-free reactive mission and motion planning for multi-robot systems. In Springer Proceedings in Advanced Robotics.Google Scholar
- Ankush Desai, Indranil Saha, Yang Jianqiao, Shaz Qadeer, and Sanjit A. Seshia. 2017. DRONA: A framework for safe distributed mobile robotics. In ACM/IEEE International Conference on Cyber-Physical Systems. Google ScholarDigital Library
- Francisco Fabra, Willian Zamora, Julio Sangüesa, Carlos T. Calafate, Juan-Carlos Cano, and Pietro Manzoni. 2019. A distributed approach for collision avoidance between multirotor UAVs following planned missions. Sensors 19, 10 (2019), 2404.Google ScholarCross Ref
- G. Fainekos and G. Pappas. 2009. Robustness of temporal logic specifications for continuous-time signals. Theoretical Computer Science 410, 42 (2009), 4262–4291. Google ScholarDigital Library
- G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas. 2005. Hybrid controllers for path planning: A temporal logic approach. In Proceedings of the 44th IEEE Conference on Decision and Control. 4885–4890. DOI:https://doi.org/10.1109/CDC.2005.1582935Google ScholarCross Ref
- Felix A. Gers, Nicol N. Schraudolph, and Jürgen Schmidhuber. 2002. Learning precise timing with LSTM recurrent networks. Journal of Machine Learning Research 3, (2002), 115–143. Google ScholarDigital Library
- Davis L. Hackenberg. 2018. ARMD Urban Air Mobility Grand Challenge: UAM Grand Challenge Scenarios. https://evtol.news/__media/PDFs/eVTOL-NASA-Revised_UAM_Grand_Challenge_Scenarios.pdf. (2018).Google Scholar
- Sepp Hochreiter and Jürgen Schmidhuber. 1997. Long short-term memory. Neural Computation 9, 8 (1997), 1735–1780. Google ScholarDigital Library
- S. Karaman and E. Frazzoli. 2011. Linear temporal logic vehicle routing with applications to multi-UAV mission planning. International Journal of Robust and Nonlinear Control 21, 12 (2011), 1372–1395.Google ScholarCross Ref
- Diederik P. Kingma and Jimmy Ba. 2014. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014).Google Scholar
- M. Kloetzer and C. Belta. 2006. Hierarchical abstractions for robotic swarms. In Proc. of 2006 IEEE International Conference on Robotics and Automation. 952–957. DOI:https://doi.org/10.1109/ROBOT.2006.1641832Google Scholar
- M. Kloetzer and C. Belta. 2008. A fully automated framework for control of linear systems from temporal logic specifications. IEEE Transactions on Automatic Control 53, 1 (Feb. 2008), 287–297. DOI:https://doi.org/10.1109/TAC.2007.914952Google ScholarCross Ref
- Mykel J. Kochenderfer, Jessica E. Holland, and James P. Chryssanthacopoulos. 2012. Next-Generation Airborne Collision Avoidance System. Technical Report. MIT-Lincoln Laboratory, Lexington, KY.Google Scholar
- M. Z. Li, W. R. Tam, S. M. Prakash, J. F. Kennedy, M. S. Ryerson, D. Lee, and Y. V. Pant. 2018. Design and implementation of a centralized system for autonomous unmanned aerial vehicle trajectory conflict resolution. In Proceedings of IEEE National Aerospace and Electronics Conference.Google Scholar
- Johan Lofberg. 2004. YALMIP: A toolbox for modeling and optimization in MATLAB. In 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No. 04CH37508). IEEE, 284–289.Google ScholarCross Ref
- Teppo Luukkonen. 2011. Modelling and control of quadcopter. Independent Research Project in Applied Mathematics, Espoo 22 (2011).Google Scholar
- Xiaobai Ma, Ziyuan Jiao, and Zhenkai Wang. 2016. Decentralized prioritized motion planning for multiple autonomous UAVs in 3D polygonal obstacle environments. In International Conference on Unmanned Aircraft Systems.Google ScholarCross Ref
- Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. Springer, Berlin.Google Scholar
- G. Manfredi and Y. Jestin. 2016. An introduction to ACAS Xu and the challenges ahead. In 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC'16). 1–9. DOI:https://doi.org/10.1109/DASC.2016.7778055Google ScholarCross Ref
- Mark W. Mueller, Markus Hehn, and Raffaello D'Andrea. 2015. A computationally efficient motion primitive for quadrocopter trajectory generation. IEEE Transactions on Robotics 31, 6 (2015), 1294–1310.Google ScholarDigital Library
- NASA. 2018. Executive Briefing: Urban Air Mobility (UAM) Market Study. https://www.nasa.gov/sites/default/files/atoms/files/bah_uam_executive_briefing_181005_tagged.pdf.Google Scholar
- Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam. 2017. Smooth operator: Control using the smooth robustness of temporal logic. In 2017 IEEE Conference on Control Technology and Applications. IEEE, 1235–1240.Google ScholarCross Ref
- Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, and Rahul Mangharam. 2015. Co-design of anytime computation and robust control. In 2015 IEEE Real-Time Systems Symposium. IEEE, 43–52. Google ScholarDigital Library
- Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, and Rahul Mangharam. 2018. Fly-by-logic: Control of multi-drone fleets with temporal logic objectives. In Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems. IEEE Press, 186–197. Google ScholarDigital Library
- V. Raman, A. Donze, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia. 2014. Model predictive control with signal temporal logic specifications. In 53rd IEEE Conference on Decision and Control. 81–87. DOI:https://doi.org/10.1109/CDC.2014.7039363Google ScholarCross Ref
- Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto Sangiovanni-Vincentelli, and Sanjit A. Seshia. 2014. Model predictive control with signal temporal logic specifications. In 53rd IEEE Conference on Decision and Control. IEEE, 81–87. Google ScholarDigital Library
- Alena Rodionova, Yash Vardhan Pant, Kuk Jang, Houssam Abbas, and Rahul Mangharam. 2020. Learning to Fly - Learning-based Collision Avoidance for Scalable Urban Air Mobility. In Proceedings of the IEEE International Conference on Intelligent Transportation Systems. http://arxiv.org/abs/2006.13267.Google Scholar
- Olga Russakovsky, Jia Deng, Hao Su, Jonathan Krause, Sanjeev Satheesh, Sean Ma, Zhiheng Huang, Andrej Karpathy, Aditya Khosla, Michael Bernstein, Alexander C. Berg, and Li Fei-Fei. 2015. ImageNet large scale visual recognition challenge. International Journal of Computer Vision (IJCV) 115, 3 (2015), 211–252. DOI:https://doi.org/10.1007/s11263-015-0816-y Google ScholarDigital Library
- Indranil Saha, Ramaithitima Rattanachai, Vijay Kumar, George J. Pappas, and Sanjit A. Seshia. 2014. Automated composition of motion primitives for multi-robot systems from safe LTL specifications. In IEEE/RSJ International Conference on Intelligent Robots and Systems.Google Scholar
- S. Saha and A. Agung Julius. 2016. An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications. In Proceedings of the 2016 American Control Conference (ACC'16).Google Scholar
Index Terms
- Learning-‘N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme
Recommendations
Development of numerical sensor models for cooperative and non-cooperative collision avoidance
ATACCS '13: Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control SystemsOne of the most hazardous consequences of the growth of air traffic volume foreseen in the next decade is undoubtedly the threat of Mid Air Collision in proximity of major airports. Besides this consideration, another great-involved factor has to be ...
On-board model-based automatic collision avoidance: application in remotely-piloted unmanned aerial vehicles
This paper focuses on real-world implementation and verification of a local, model-based stochastic automatic collision avoidance algorithm, with application in remotely-piloted (tele-operated) unmanned aerial vehicles (UAVs). Automatic collision ...
Collaborative Intent Exchange Based Flight Management System with Airborne Collision Avoidance for UAS
This paper presents a Flight Management System (FMS) with multi-level autonomy modes that meet the requirements of future flight operations for unmanned aerial systems (UAS). It is envisioned that the future of airspace will become highly heterogeneous ...
Comments