Title |
Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications
|
---|---|
Published in |
Frontiers in Neurorobotics, October 2017
|
DOI | 10.3389/fnbot.2017.00056 |
Pubmed ID | |
Authors |
Jie Zhang, Man Kang, Xiaojuan Li, Geng-yang Liu |
Abstract |
Genetic algorithms are widely adopted to solve optimization problems in robotic applications. In such safety-critical systems, it is vitally important to formally prove the correctness when genetic algorithms are applied. This paper focuses on formal modeling of crossover operations that are one of most important operations in genetic algorithms. Specially, we for the first time formalize crossover operations with higher-order logic based on HOL4 that is easy to be deployed with its user-friendly programing environment. With correctness-guaranteed formalized crossover operations, we can safely apply them in robotic applications. We implement our technique to solve a path planning problem using a genetic algorithm with our formalized crossover operations, and the results show the effectiveness of our technique. |
X Demographics
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
Geographical breakdown
Country | Count | As % |
---|---|---|
Switzerland | 1 | 33% |
United States | 1 | 33% |
Unknown | 1 | 33% |
Demographic breakdown
Type | Count | As % |
---|---|---|
Members of the public | 3 | 100% |
Mendeley readers
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 13 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Student > Master | 3 | 23% |
Student > Doctoral Student | 2 | 15% |
Student > Ph. D. Student | 2 | 15% |
Student > Bachelor | 1 | 8% |
Researcher | 1 | 8% |
Other | 1 | 8% |
Unknown | 3 | 23% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 4 | 31% |
Engineering | 3 | 23% |
Medicine and Dentistry | 1 | 8% |
Business, Management and Accounting | 1 | 8% |
Unknown | 4 | 31% |