-
1
-
-
0142199879
-
Coordination and control of multiple UAVs with timing contraints and loitering
-
Alighanbari, M., Kuwata, Y., and How, J., "Coordination and Control of Multiple UAVs with Timing Contraints and Loitering," American Control Conference, 2003.
-
(2003)
American Control Conference
-
-
Alighanbari, M.1
Kuwata, Y.2
How, J.3
-
2
-
-
33947421206
-
Optimization of air vehicles operations using mixed-integer linear programming
-
Schumacher, C., Chandler, P., Pachter, M., and Patcher, L., "Optimization of air vehicles operations using mixed-integer linear programming," Journal of the Operational Research Society, Vol. 58, 2007, pp. 516-527.
-
(2007)
Journal of the Operational Research Society
, vol.58
, pp. 516-527
-
-
Schumacher, C.1
Chandler, P.2
Pachter, M.3
Patcher, L.4
-
3
-
-
53349157834
-
Tree search algorithm for assigning cooperating UAVs to multiple tasks
-
Rasmussen, S. and Shima, T., "Tree search algorithm for assigning cooperating UAVs to multiple tasks," International Journal of Robust and Nonlinear Control, Vol. 18, 2008, pp. 135-153.
-
(2008)
International Journal of Robust and Nonlinear Control
, vol.18
, pp. 135-153
-
-
Rasmussen, S.1
Shima, T.2
-
4
-
-
77953644063
-
-
SIAM Control series, Philadelphia PA
-
Shima, T. and Rasmussen, S., editors, Cooperative Decision and Control: Challenges and Practical Approaches, SIAM Control series, Philadelphia PA, 2008.
-
(2008)
Cooperative Decision and Control: Challenges and Practical Approaches
-
-
Shima, T.1
Rasmussen, S.2
-
5
-
-
78651103872
-
Vehicle routing with linear temporal logic specifications: Applications to multi-UAV mission planning
-
Karaman, S. and Frazzoli, E., "Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning," AIAA Guidance, Navigation, and Control Conference, 2008.
-
(2008)
AIAA Guidance, Navigation, and Control Conference
-
-
Karaman, S.1
Frazzoli, E.2
-
6
-
-
78049280142
-
Specification and planning of UAV missions: A process algebra approach
-
Karaman, S. and Frazzoli, E., "Specification and Planning of UAV Missions: A Process Algebra Approach," American Control Conference, 2009.
-
(2009)
American Control Conference
-
-
Karaman, S.1
Frazzoli, E.2
-
8
-
-
52449091906
-
Complex mission optimization for multiple-UAVs using linear temporal logic
-
Karaman, S. and Frazzoli, E., "Complex Mission Optimization for Multiple-UAVs using Linear Temporal Logic," American Control Conference, 2008.
-
(2008)
American Control Conference
-
-
Karaman, S.1
Frazzoli, E.2
-
9
-
-
33644671785
-
Multiple task assignments for cooperating uninhibited aerial vehicles using genetic algorithms
-
Shima, T., Rasmussen, S., Sparks, A., and Passino, K., "Multiple task assignments for cooperating uninhibited aerial vehicles using genetic algorithms," Computers and Operations Research, Vol. 33, 2006, pp. 3252-3269.
-
(2006)
Computers and Operations Research
, vol.33
, pp. 3252-3269
-
-
Shima, T.1
Rasmussen, S.2
Sparks, A.3
Passino, K.4
-
10
-
-
67650249484
-
Assigning cooperating UAVs to simultaneous tasks on consecutive targets using genetic algorithms
-
Shima, T. and Schumacher, C., "Assigning cooperating UAVs to simultaneous tasks on consecutive targets using genetic algorithms," Journal of the Operational Research Society, Vol. 60, No. 7, 2009, pp. 973-982.
-
(2009)
Journal of the Operational Research Society
, vol.60
, Issue.7
, pp. 973-982
-
-
Shima, T.1
Schumacher, C.2
-
11
-
-
0003408279
-
-
John Wiley and Sons, Ney Yok, NY
-
Lawler, E., Rinnooy, A., and Lenstra, J., The traveling salesman problem: a guided tour of combinatorial optimization, John Wiley and Sons, Ney Yok, NY, 1985.
-
(1985)
The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization
-
-
Lawler, E.1
Rinnooy, A.2
Lenstra, J.3
-
12
-
-
27744588516
-
The multiple traveling salesman problem: An overview of formulations and solution procedures
-
Bektas, T., "The multiple traveling salesman problem: an overview of formulations and solution procedures," Omega - The International Journal of Management Science, Vol. 34, 2006, pp. 209-219.
-
(2006)
Omega - The International Journal of Management Science
, vol.34
, pp. 209-219
-
-
Bektas, T.1
-
13
-
-
0004116989
-
-
MIT Press, Cambridge, MA
-
Cormen, T., Leiserson, C., Rivest, R., and Stein, C., Introduction to Algorithms, MIT Press, Cambridge, MA, 2001.
-
(2001)
Introduction to Algorithms
-
-
Cormen, T.1
Leiserson, C.2
Rivest, R.3
Stein, C.4
-
14
-
-
0032156828
-
Polynomial time approximation schemes for euclidian traveling salesman and other geometric problems
-
Arora, S., "Polynomial time approximation schemes for euclidian traveling salesman and other geometric problems," Journal of the ACM, Vol. 45, No. 5, 1998, pp. 753-782.
-
(1998)
Journal of the ACM
, vol.45
, Issue.5
, pp. 753-782
-
-
Arora, S.1
-
16
-
-
0003722376
-
-
Addison-Wesley Longman Publishing Co., Boston, MA
-
Goldberg, D., Genetic algorithms in search, optimization and machine learning, Addison-Wesley Longman Publishing Co., Boston, MA, 1989.
-
(1989)
Genetic Algorithms in Search, Optimization and Machine Learning
-
-
Goldberg, D.1
-
17
-
-
0037395316
-
A genetic algorithm for the vehicle routing problem
-
Baker, B. and Ayechew, M.
-
Baker, B. and Ayechew, M., "A genetic algorithm for the vehicle routing problem," Computers and Operations Research, Vol. 30, No. 5, 2003, pp. 787-800.
-
(2003)
Computers and Operations Research
, vol.30
, Issue.5
, pp. 787-800
-
-
-
19
-
-
0038103700
-
Model checking and the Mu-Calculus
-
edited by N. Immerman and P. G. Kolaitis, American Mathematical Society
-
Emerson, E., "Model Checking and the Mu-Calculus," Proceedings of Descriptive Complexity and Finite Models Workshop, edited by N. Immerman and P. G. Kolaitis, American Mathematical Society, 1996, pp. 185-214.
-
(1996)
Proceedings of Descriptive Complexity and Finite Models Workshop
, pp. 185-214
-
-
Emerson, E.1
-
20
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
April
-
Murata, T., "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, Vol. 77, No. 4, April 1989, pp. 541-580.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
21
-
-
0004080346
-
-
Cambridge University Press
-
Baeten, J., Process Algebra, Cambridge University Press, 1990.
-
(1990)
Process Algebra
-
-
Baeten, J.1
-
23
-
-
17944367389
-
A brief history of process algebra
-
Baeten, J., "A Brief History of Process Algebra," Theoretical Computer Science, Vol. 335, 2005, pp. 131-146.
-
(2005)
Theoretical Computer Science
, vol.335
, pp. 131-146
-
-
Baeten, J.1
-
24
-
-
18044369652
-
Process algebra for hybrid systems
-
Bergstra, J. and Middelburg, C., "Process Algebra for Hybrid Systems," Theoretical Computer Science, Vol. 335, No. 2-3, 2003, pp. 215-280.
-
(2003)
Theoretical Computer Science
, vol.335
, Issue.2-3
, pp. 215-280
-
-
Bergstra, J.1
Middelburg, C.2
-
25
-
-
70449684172
-
Assignment of heterogeneous tasks to a set of heterogenous unmanned aerial vehicles
-
Rasmussen, S. and Kingston, D., "Assignment of heterogeneous tasks to a set of heterogenous unmanned aerial vehicles," AIAA Guidance, Navigation, and Control Conference and Exhibit, 2008.
-
(2008)
AIAA Guidance, Navigation, and Control Conference and Exhibit
-
-
Rasmussen, S.1
Kingston, D.2
|