This paper explores the design of a high-level mission planner and controller for managing UAVs fighting a wildfire through the utilization of reactive synthesis and dynamic allocation of the UAVs as resources to the fires. Reactive synthesis provides a formal means of guaranteeing the UAVs transition to areas of fire, refill on water, and emergency land as defined by linear temporal logic specifications. Dynamic allocation coordinates the behavior of multiple UAVs through assignments to regions of fire based on a cost function that takes into effect the fire locations, fire intensities and other UAV locations. For six fire scenarios, this paper determines the minimum number of UAVs required to eliminate all fires and prevent the burning of more than a set amount of fuel (i.e. forestry or shrubbery). Lastly, our results and successful application expand discussion on the utilization of reactive synthesis in larger task spaces and the implications of abstracting UAV transitions for use in formal methods.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Receding Horizon Synthesis and Dynamic Allocation of UAVs to Fight Fires


    Contributors:


    Publication date :

    2018-08-01


    Size :

    1588292 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Three Dimensional Receding Horizon Control for UAVs

    Kuwata, Yoshiaki / How, Jonathan | AIAA | 2004



    AIAA-2004-5144 Three Dimensional Receding Horizon Control for UAVs

    Kuwata, Y. / How, J. | British Library Conference Proceedings | 2004


    Receding Horizon Control for Atmospheric Energy Harvesting by Small UAVs

    Depenbusch, Nathan / Langelaan, Jack | AIAA | 2010


    Receding-Horizon Trajectory Planning for Multiple UAVs Using Particle Swarm Optimization

    Vijayakumari, Dileep M. / Kim, Seungkeun / Suk, Jinyoung et al. | AIAA | 2019