Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.4’242
Номер:5 (69)
Скачать PDF0 Кбайт
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.