메뉴 건너뛰기




Volumn , Issue , 2009, Pages

Task assignment for complex UAV operations using genetic algorithms

Author keywords

[No Author keywords available]

Indexed keywords

ASSIGNMENT PROBLEMS; COMPLEX MISSION; CROSSOVER AND MUTATION; LARGE-SCALE PROBLEM; MISSION PLANNING; NOVEL GENETIC ALGORITHM; OPTIMAL SOLUTIONS; PROCESS ALGEBRA SPECIFICATIONS; PROCESS ALGEBRAS; TASK ASSIGNMENT;

EID: 78049268190     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (14)

References (25)
  • 1
    • 0142199879 scopus 로고    scopus 로고
    • 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
  • 5
    • 78651103872 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 12
    • 27744588516 scopus 로고    scopus 로고
    • 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
  • 14
    • 0032156828 scopus 로고    scopus 로고
    • 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
  • 17
    • 0037395316 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • Cambridge University Press
    • Baeten, J., Process Algebra, Cambridge University Press, 1990.
    • (1990) Process Algebra
    • Baeten, J.1
  • 23
    • 17944367389 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.