Henrik Schioler1, Jan Dimon Bendtsen1, Luminita C. Totu, Kim Larsen, Jakob Haahr Taankvist
10:40 - 11:00 | Wed 22 Aug | Kronborg | WeA5.3
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.