Title | ||
---|---|---|
Improving the quality of supervised finite-state machine construction using real-valued variables |
Abstract | ||
---|---|---|
The use of finite-state machines (FSMs) is a reliable choice for control system design since they can be formally verified. In this paper a problem of constructing FSMs with real-valued input and control parameters is considered. It is supposed that a set of human-created behavior examples, or tests, is available. One of the earlier approaches for solving the problem suggested using genetic algorithms together with a transition labeling algorithm. This paper improves this approach via the use of real-valued variables which are calculated using the FSM's input data. FSMs with real-valued variables are represented as systems of linear controllers. The new approach allows to synthesize FSMs of better quality than it was possible earlier. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1145/2598394.2605679 | GECCO (Companion) |
Keywords | Field | DocType |
ant colony optimization,finite-state machine,finite-state machine construction,program synthesis,finite state machine | Ant colony optimization algorithms,Mathematical optimization,Computer science,Finite-state machine,Artificial intelligence,Control system design,Genetic algorithm,Machine learning | Conference |
Citations | PageRank | References |
0 | 0.34 | 9 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Igor Buzhinsky | 1 | 23 | 6.50 |
Daniil Chivilikhin | 2 | 34 | 9.41 |
Vladimir Ulyantsev | 3 | 60 | 12.44 |
Fedor Tsarev | 4 | 38 | 4.24 |