Abstract
Various missions carried out by Unmanned Aerial Vehicles (UAVs) are concerned with permanent monitoring of a predefined set of ground targets under relative deadline constraints, which means that there is an upper bound on the time between two consecutive scans of that target. The targets have to be revisited ‘indefinitely’ while satisfying these constraints. Our goal is to minimize the number of UAVs required for satisfying the timing constraints. The solution to this problem is given in the form of cyclic (synchronized) routes that jointly satisfy the timing constraints. We develop lower- and upper-bounds on the number of required UAVs, show a reduction of the problem to a Boolean combination of ‘difference constraints’ (constraints of the form x - y ≥ c where x, y ∈ R and c is a constant), and present numerical results based on our experiments with several hundred randomly generated problems.
Original language | English |
---|---|
Title of host publication | Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Proceedings |
Editors | Claude-Guy Quimper |
Publisher | Springer Verlag |
Pages | 125-141 |
Number of pages | 17 |
ISBN (Print) | 9783319339535 |
DOIs | |
State | Published - 2016 |
Externally published | Yes |
Event | 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, CPAIOR 2016 - Banff, Canada Duration: 29 May 2016 → 1 Jun 2016 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 9676 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, CPAIOR 2016 |
---|---|
Country/Territory | Canada |
City | Banff |
Period | 29/05/16 → 1/06/16 |
Bibliographical note
Publisher Copyright:© Springer International Publishing Switzerland 2016.
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science