Improving the quality of supervised finite-state machine construction using real-valued variables

Igor Buzhinsky, Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev
2014 Proceedings of the 2014 conference companion on Genetic and evolutionary computation companion - GECCO Comp '14  
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
more » ... real-valued variables which are calculated using the FSM's input data. FSMs with realvalued variables are represented as systems of linear controllers. The new approach allows to synthesize FSMs of better quality than it was possible earlier.
doi:10.1145/2598394.2605679 dblp:conf/gecco/BuzhinskyCUT14 fatcat:tdq7ywb4jrc4hpmm76amdyckii