Title
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints
Abstract
In this work, we present a novel method for automating persistent surveillance missions involving multiple vehicles. Automata-based techniques are used to generate collision-free motion plans for a team of vehicles to satisfy a temporal logic specification. Vector fields are created for use with a differential flatness-based controller, allowing vehicle flight and deployment to be fully automated according to the motion plans. The use of charging platforms with the vehicles allows for truly persistent missions. Experiments were performed with two quadrotors for two different missions over 50 runs each to validate the theoretical results.
Year
DOI
Venue
2016
10.1007/s10514-015-9519-z
Auton. Robots
Keywords
Field
DocType
Persistent monitoring,Multi-robot systems,Aerial robotics,Formal methods
Control theory,Software deployment,Simulation,Computer science,Vector field,Automaton,Formal methods,Temporal logic,Differential flatness
Journal
Volume
Issue
ISSN
40
8
0929-5593
Citations 
PageRank 
References 
11
0.64
14
Authors
6
Name
Order
Citations
PageRank
Kevin Leahy1235.29
Dingjiang Zhou2834.97
Cristian Ioan Vasile311215.61
konstantinos oikonomopoulos4151.07
Mac Schwager593072.33
Calin Belta62197153.54