Presentation

Time Optimal Robust Fleet Management of Micro UAV through Timed Games Formulation

Henrik Schioler • Jan Dimon Bendtsen • Luminita C. Totu • Kim Larsen • Jakob Haahr Taankvist

10:40 - 11:00 | Wednesday 22 August 2018 | Kronborg

Manuscript

Summary

We consider the case of fleet management of a moderate number of Unmanned Aerial Vehicles (UAV or UAS) in confined space, e.g. indoor. Indoor operation of UAV is requires indoor localization capabilities as well as a sufficiently precise 3D map of the facility, whereas fleet management of multiple UAV adds an extra dimension of complexity. Additional complexity is mainly introduced by constraints ensuring collision free operation. Based on earlier work on mapping, path planning and localization we suggest fleet management through a Timed Game formulation and Winning Strategy controller synthesis using the tool Uppaal-Tiga.