Cited By
View all- Lukin MBuzdalov MShalyto A(2014)Formal Verification of 800 Genetically Constructed Automata Programs: A Case StudyHardware and Software: Verification and Testing10.1007/978-3-319-13338-6_13(165-170)Online publication date: 2014
Evolving EFSMs solving a path-planning problem by genetic programming
Pages 591 - 594
Abstract
In this paper, we present an approach to evolving of an algorithm encoded as an extended finite-state machine that solves a simple path-planning problem - finding a path in an unknown area filled with obstacles using a constant amount of memory - by means of genetic programming. Experiments show that in 100% of cases a reasonably correct EFSM with behavior similar to one of the BUG algorithms is evolved.
References
[1]
Source code for the fitness function. http://goo.gl/XGwPq.
[2]
Watchmaker framework for evolutionary computation. http://watchmaker.uncommons.org/.
[3]
V. Danilov and A. Shalyto. Genetic programming method for induction of finite state machines represented as decision trees. In Proceedings of XI International Conference on Soft Computations and Measurements, pages 248--251, 2008.
[4]
V. Gurov, M. Mazin, A. Narvsky, and A. Shalyto. Tools for support of automata-based programming. Programming and Computer Software, 33(6):343--355, 2007.
[5]
I. Kamon, E. Rivlin, and E. Rimon. A new range-sensor based globally convergent navigation algorithm for mobile robots. In Proceedings of IEEE International Conference on Robotics and Automation, number 1, pages 429--435, 1996.
[6]
V. Lumelsky and A. Stepanov. Path planning strategies for a point mobile automaton moving amidst unknown obstacles of arbitraty shape. Algorithmica, 2:403--430, 1987.
[7]
N. Polikarpova and A. Shalyto. Automata-based Programming, 2nd Edition (in Russian). Piter, 2011.
[8]
A. Shalyto. Logic control and reactive systems: Algorithmization and programming. Automation and Remote Control, 62(1):1--29, 2001.
Recommendations
Evolving dynamic fitness measures for genetic programming
Highlights- Further research is conducted on dynamic fitness measure genetic programming.
- ...
AbstractThis research builds on the hypothesis that the use of different fitness measures on the different generations of genetic programming (GP) is more effective than the convention of applying the same fitness measure individually ...
Genetic Algorithm Based Approach for Autonomous Mobile Robot Path Planning
In this study, an improved crossover operator is suggested, for solving path planning problems using genetic algorithms (GA) in static environment. GA has been widely applied in path optimization problem which consists in finding a valid and feasible ...
Solving the Graph Planarization Problem Using an Improved Genetic Algorithm
An improved genetic algorithm for solving the graph planarization problem is presented. The improved genetic algorithm which is designed to embed a graph on a plane, performs crossover and mutation conditionally instead of probability. The improved ...
Comments
Information & Contributors
Information
Published In
July 2012
1586 pages
Copyright © 2012 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 07 July 2012
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
GECCO '12
Sponsor:
GECCO '12: Genetic and Evolutionary Computation Conference
July 7 - 11, 2012
Pennsylvania, Philadelphia, USA
Acceptance Rates
Overall Acceptance Rate 1,669 of 4,410 submissions, 38%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 78Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 05 Mar 2025
Other Metrics
Citations
Cited By
View all- Lukin MBuzdalov MShalyto A(2014)Formal Verification of 800 Genetically Constructed Automata Programs: A Case StudyHardware and Software: Verification and Testing10.1007/978-3-319-13338-6_13(165-170)Online publication date: 2014
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in