{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T18:12:27Z","timestamp":1771611147936,"version":"3.50.1"},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2021,9,22]],"date-time":"2021-09-22T00:00:00Z","timestamp":1632268800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2021,10,31]]},"abstract":"<jats:p>\n            Urban Air Mobility, the scenario where hundreds of manned and\n            <jats:bold>Unmanned Aircraft Systems<\/jats:bold>\n            (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-\u2018N-Flying (LNF), a multi-UAS Collision Avoidance (CA) framework. It is decentralized, works on the fly, and allows autonomous\n            <jats:bold>Unmanned Aircraft System<\/jats:bold>\n            (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.\n          <\/jats:p>","DOI":"10.1145\/3447624","type":"journal-article","created":{"date-parts":[[2021,9,22]],"date-time":"2021-09-22T21:36:34Z","timestamp":1632346594000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Learning-\u2018N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme"],"prefix":"10.1145","volume":"5","author":[{"given":"Al\u00ebna","family":"Rodionova","sequence":"first","affiliation":[{"name":"University of Pennsylvania, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yash Vardhan","family":"Pant","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Connor","family":"Kurtz","sequence":"additional","affiliation":[{"name":"Oregon State University, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuk","family":"Jang","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[{"name":"Oregon State University, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,9,22]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"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.  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."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799279"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-015-9429-0"},{"key":"#cr-split#-e_1_2_1_4_1.1","doi-asserted-by":"crossref","unstructured":"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-0690 10.2514\/6.2019-0690","DOI":"10.2514\/6.2019-0690"},{"key":"#cr-split#-e_1_2_1_4_1.2","doi-asserted-by":"crossref","unstructured":"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-0690","DOI":"10.2514\/6.2019-0690"},{"key":"e_1_2_1_5_1","first-page":"1","article-title":"Lectures on dynamic systems and control","volume":"4","author":"Dahleh Mohammed","year":"2004","unstructured":"Mohammed Dahleh , Munther A. Dahleh , and George Verghese . 2004 . Lectures on dynamic systems and control . MIT Lecture Notes 4 , 100 (2004), 1 \u2013 100 . Mohammed Dahleh, Munther A. Dahleh, and George Verghese. 2004. Lectures on dynamic systems and control. MIT Lecture Notes 4, 100 (2004), 1\u2013100.","journal-title":"MIT Lecture Notes"},{"key":"e_1_2_1_6_1","volume-title":"Collision-free reactive mission and motion planning for multi-robot systems","author":"DeCastro Jonathan A.","unstructured":"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. 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."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3390\/s19102404"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1162\/153244303768966139"},{"key":"e_1_2_1_12_1","unstructured":"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).  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)."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"e_1_2_1_15_1","volume-title":"Kingma and Jimmy Ba","author":"Diederik","year":"2014","unstructured":"Diederik P. Kingma and Jimmy Ba . 2014 . Adam : A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014). Diederik P. Kingma and Jimmy Ba. 2014. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014)."},{"key":"e_1_2_1_16_1","volume-title":"Proc. of 2006 IEEE International Conference on Robotics and Automation. 952\u2013957","author":"Kloetzer M.","year":"2006","unstructured":"M. Kloetzer and C. Belta . 2006. Hierarchical abstractions for robotic swarms . In Proc. of 2006 IEEE International Conference on Robotics and Automation. 952\u2013957 . DOI:https:\/\/doi.org\/10.1109\/ROBOT. 2006 .1641832 10.1109\/ROBOT.2006.1641832 M. Kloetzer and C. Belta. 2006. Hierarchical abstractions for robotic swarms. In Proc. of 2006 IEEE International Conference on Robotics and Automation. 952\u2013957. DOI:https:\/\/doi.org\/10.1109\/ROBOT.2006.1641832"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"e_1_2_1_18_1","volume-title":"Chryssanthacopoulos","author":"Kochenderfer Mykel J.","year":"2012","unstructured":"Mykel J. Kochenderfer , Jessica E. Holland , and James P . Chryssanthacopoulos . 2012 . Next-Generation Airborne Collision Avoidance System. Technical Report. MIT-Lincoln Laboratory, Lexington, KY. Mykel J. Kochenderfer, Jessica E. Holland, and James P. Chryssanthacopoulos. 2012. Next-Generation Airborne Collision Avoidance System. Technical Report. MIT-Lincoln Laboratory, Lexington, KY."},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of IEEE National Aerospace and Electronics Conference.","author":"Li M. Z.","unstructured":"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. 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."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"e_1_2_1_21_1","volume-title":"Espoo 22","author":"Luukkonen Teppo","year":"2011","unstructured":"Teppo Luukkonen . 2011. Modelling and control of quadcopter. Independent Research Project in Applied Mathematics , Espoo 22 ( 2011 ). Teppo Luukkonen. 2011. Modelling and control of quadcopter. Independent Research Project in Applied Mathematics, Espoo 22 (2011)."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2016.7502596"},{"key":"e_1_2_1_23_1","volume-title":"Monitoring Temporal Properties of Continuous Signals","author":"Maler Oded","unstructured":"Oded Maler and Dejan Nickovic . 2004. Monitoring Temporal Properties of Continuous Signals . Springer , Berlin . Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. Springer, Berlin."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2016.7778055"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2479878"},{"key":"e_1_2_1_26_1","volume-title":"Executive Briefing: Urban Air Mobility (UAM) Market Study. https:\/\/www.nasa.gov\/sites\/default\/files\/atoms\/files\/bah_uam_executive_briefing_181005_tagged.pdf.","author":"NASA.","year":"2018","unstructured":"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. 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."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.12"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593458.2593472"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the IEEE International Conference on Intelligent Transportation Systems. http:\/\/arxiv.org\/abs\/2006","author":"Rodionova Alena","year":"2020","unstructured":"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. 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."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-015-0816-y"},{"key":"e_1_2_1_34_1","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems.","author":"Saha Indranil","unstructured":"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. 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."},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the 2016 American Control Conference (ACC'16)","author":"Saha S.","unstructured":"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) . 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)."}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447624","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:09Z","timestamp":1750200069000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447624"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,22]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,10,31]]}},"alternative-id":["10.1145\/3447624"],"URL":"https:\/\/doi.org\/10.1145\/3447624","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,22]]},"assertion":[{"value":"2020-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}