Heuristics for Designing the Control of a UAV Fleet With Model Checking

Christopher A. Bohn ()
Additional contact information
Christopher A. Bohn: Air Force Institute of Technology

A chapter in Cooperative Systems, 2007, pp 21-36 from Springer

Abstract: Summary We describe a pursuer-evader game played on a grid in which the pursuers can move faster than the evaders, but the pursuers cannot determine an evader’s location except when a pursuer occupies the same grid cell as that evader. The pursuers’ object is to locate all evaders, while the evader’s object is to prevent collocation with any pursuer indefinitely. The game is loosely based on autonomous unmanned aerial vehicles (UAVs) with a limited field-of-view attempting to locate enemy vehicles on the ground, where the idea is to control a fleet of UAVs to meet the search objective. The requirement that the pursuers move without knowing the evaders’ locations necessitates a model of the game that does not explicitly model the evaders. This has the positive benefit that the model is independent of the number of evaders (indeed, the number of evaders need not be known); however, this has the negative side-effect that the time and memory requirements to determine a pursuer-winning strategy is exponential in the size of the grid. We report significant improvements in the available heuristics to abstract the model further and reduce the time and memory needed.

Keywords: Model Check; Linear Temporal Logic; Minimum Speed; Computation Tree Logic; Symbolic Model Check (search for similar items in EconPapers)
Date: 2007
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:lnechp:978-3-540-48271-0_2

Ordering information: This item can be ordered from
http://www.springer.com/9783540482710

DOI: 10.1007/978-3-540-48271-0_2

Access Statistics for this chapter

More chapters in Lecture Notes in Economics and Mathematical Systems from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().