A Process Algebra Genetic Algorithm

A genetic algorithm that utilizes process algebra for coding of solution chromosomes and for defining evolutionary based operators is presented. The algorithm is applicable to mission planning and optimization problems. As an example the high level mission planning for a cooperative group of uninhab...

Full description

Bibliographic Details
Main Authors: Karaman, Sertac (Contributor), Shima, Tal (Author), Frazzoli, Emilio (Contributor)
Other Authors: Massachusetts Institute of Technology. Department of Aeronautics and Astronautics (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2013-10-21T14:30:51Z.
Subjects:
Online Access:Get fulltext
LEADER 01947 am a22002413u 4500
001 81446
042 |a dc 
100 1 0 |a Karaman, Sertac  |e author 
100 1 0 |a Massachusetts Institute of Technology. Department of Aeronautics and Astronautics  |e contributor 
100 1 0 |a Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science  |e contributor 
100 1 0 |a Karaman, Sertac  |e contributor 
100 1 0 |a Frazzoli, Emilio  |e contributor 
700 1 0 |a Shima, Tal  |e author 
700 1 0 |a Frazzoli, Emilio  |e author 
245 0 0 |a A Process Algebra Genetic Algorithm 
260 |b Institute of Electrical and Electronics Engineers (IEEE),   |c 2013-10-21T14:30:51Z. 
856 |z Get fulltext  |u http://hdl.handle.net/1721.1/81446 
520 |a A genetic algorithm that utilizes process algebra for coding of solution chromosomes and for defining evolutionary based operators is presented. The algorithm is applicable to mission planning and optimization problems. As an example the high level mission planning for a cooperative group of uninhabited aerial vehicles is investigated. The mission planning problem is cast as an assignment problem, and solutions to the assignment problem are given in the form of chromosomes that are manipulated by evolutionary operators. The evolutionary operators of crossover and mutation are formally defined using the process algebra methodology, along with specific algorithms needed for their execution. The viability of the approach is investigated using simulations and the effectiveness of the algorithm is shown in small, medium, and large scale problems. 
520 |a United States. Air Force Office of Scientific Research (Michigan/AFRL Collaborative Center in Control Science Grant FA 8650-07-2-3744) 
520 |a United States. Air Force Office of Scientific Research (Grant FA8655-09-1-3066) 
546 |a en_US 
655 7 |a Article 
773 |t IEEE Transactions on Evolutionary Computation