TY - GEN
T1 - Genetic algorithm for induction of finite automata with continuous and discrete output actions
AU - Alexandrov, Anton
AU - Sergushichev, Alexey
AU - Kazakov, Sergey
AU - Tsarev, Fedor
PY - 2011
Y1 - 2011
N2 - In this paper, we describe a genetic algorithm for induction of finite automata with continuous and discrete output actions. Input data for the algorithm is a set of tests. Each test consists of two sequences: input events and output actions. In previous works output actions were discrete, i.e. selected from the finite set, in this work output actions can also be continuous, i.e. represented by real numbers. Only the structure of automaton transitions graph is evolved by the genetic algorithm. Values of output actions are found using transition labeling algorithm, which aim is to maximize the value of fitness function. New transition labeling algorithm is proposed. It also works with continuous output actions and is based on equations system solving. In case of proper selection of fitness function, equations in this system are linear and it can be solved by the Gaussian elimination method. The unmanned airplane performing the loop is considered as an example of the controlled object.
AB - In this paper, we describe a genetic algorithm for induction of finite automata with continuous and discrete output actions. Input data for the algorithm is a set of tests. Each test consists of two sequences: input events and output actions. In previous works output actions were discrete, i.e. selected from the finite set, in this work output actions can also be continuous, i.e. represented by real numbers. Only the structure of automaton transitions graph is evolved by the genetic algorithm. Values of output actions are found using transition labeling algorithm, which aim is to maximize the value of fitness function. New transition labeling algorithm is proposed. It also works with continuous output actions and is based on equations system solving. In case of proper selection of fitness function, equations in this system are linear and it can be solved by the Gaussian elimination method. The unmanned airplane performing the loop is considered as an example of the controlled object.
KW - continuous output actions
KW - finite automaton
KW - finite automaton induction
KW - genetic programming
UR - http://www.scopus.com/inward/record.url?scp=80051951105&partnerID=8YFLogxK
U2 - 10.1145/2001858.2002089
DO - 10.1145/2001858.2002089
M3 - Conference contribution
AN - SCOPUS:80051951105
SN - 9781450306904
T3 - Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication
SP - 775
EP - 778
BT - Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication
T2 - 13th Annual Genetic and Evolutionary Computation Conference, GECCO'11
Y2 - 12 July 2011 through 16 July 2011
ER -