Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.4’242
Issue:5 (69)
Download PDF0 Kbyte
We describe the method of finite state machine induction using both genetic programming and model verification based on testing and model checking. The description of chromosome structure, of genetic algorithm, of cross-over and mutation operations is given. Experimental results for the induction of elevator doors control system are given.