FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace

作者: Connor Kurtz , Houssam Abbas

DOI: 10.1109/ITSC45102.2020.9294612

关键词:

摘要: We present a solution to the problem of fairly planning fleet Unmanned Aerial Vehicles (UAVs) that have different missions and operators, such no one operator unfairly gets finish its early at expense others - unless this was explicitly negotiated. When hundreds UAVs share an urban airspace, relevant authorities should allocate corridors them they complete their missions, but vehicle is accidentally given exceptionally fast path another, which thus forced wait waste energy. Our solution, FairFly, addresses fair question for general autonomous systems, including UAV fleets, subject complex typical applications. FairFly formalizes each mission in temporal logic. An offline search finds fairest paths satisfy can be flown by UAVs, leading lighter online control load. It allows explicit negotiation between enable imbalanced durations if desired. three fairness notions, reduces energy consumption.We validate our results simulation, demonstrate computational load less consumption as result flying trajectories.

参考文章(7)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos, On-Line Monitoring for Temporal Logic Robustness runtime verification. ,vol. 8734, pp. 231- 246 ,(2014) , 10.1007/978-3-319-11164-3_19
Alexandre Donzé, Oded Maler, Robust satisfaction of temporal logic over real-valued signals formal modeling and analysis of timed systems. ,vol. 6246, pp. 92- 106 ,(2010) , 10.1007/978-3-642-15297-9_9
Houssam Abbas, Georgios Fainekos, Computing descent direction of MTL robustness for non-linear systems american control conference. pp. 4405- 4410 ,(2013) , 10.1109/ACC.2013.6580518
Georgios E. Fainekos, George J. Pappas, Robustness of temporal logic specifications for continuous-time signals Theoretical Computer Science. ,vol. 410, pp. 4262- 4291 ,(2009) , 10.1016/J.TCS.2009.06.021
Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam, Smooth operator: Control using the smooth robustness of temporal logic 2017 IEEE Conference on Control Technology and Applications (CCTA). pp. 1235- 1240 ,(2017) , 10.1109/CCTA.2017.8062628
Mohammad Hekmatnejad, Georgios Fainekos, Optimal Multi-Valued LTL Planning for Systems with Access Right Levels advances in computing and communications. pp. 2363- 2370 ,(2018) , 10.23919/ACC.2018.8431556
Lars Lindemann, Jakub Nowak, Lukas Schonbachler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas, Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks IEEE Transactions on Control Systems and Technology. ,vol. 29, pp. 858- 865 ,(2021) , 10.1109/TCST.2019.2955628