Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire Detection and Monitoring

Drones or unmanned aerial swarms play a significant role in surveillance, suppression, observation and tactical planning. These tools are used to assist in fighting forest wildfire threats by expediting the detecting, containing, and extinguishing fire process. This study proposed an initial specification for a UAV swarm, modelling the swarm with its operator, leader, and followers and verifying the model using PRISM. This study aims to model a continuous stream of rotary drones towards a suspected fire area for detection and constant monitoring and mapping of the fire. This approach enables low-cost solutions to smaller local users and provides continuous real-time telemetry of the fire.