Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire Detection and Monitoring.
Negin MoghadasiAmar KulkarniDustin CraytonRobert J. GrissomJames H. LambertLu FengPublished in: SysCon (2023)
Keyphrases
- formal methods
- unmanned aerial vehicles
- formal analysis
- human operators
- control system
- real time
- software engineering
- object detection
- database
- knowledge based systems
- aerial vehicles
- path planning
- detection algorithm
- machine learning
- monitoring system
- expert systems
- control algorithm
- object recognition
- image segmentation
- artificial intelligence
- safety critical
- knowledge acquisition
- model checking
- decision making
- formal specification language