Evolutionary algorithm for state assignment of finite state machines

被引：9
|
作者：
Chyzy, M [1 ]
Kosinski, W [1 ]
机构：
[1] Polish Japanese Inst Informat Technol, PL-02008 Warsaw, Poland
来源：
EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS: ARCHITECTURES, METHODS AND TOOLS | 2002年
关键词：
D O I：
10.1109/DSD.2002.1115392
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper proposes evolutionary algorithm (EA) for state assignment problem (SAP). Two original crossover operators are presented. They are experimentally compared with other known crossovers for SAP using a set of benchmark finite state machines. Solutions generated by EA (using different crossover operators) are compared with the random ones and with the state assignments generated by MAX+PLUS II system. Experimental results show that solutions found by EA are significantly better (up to 55%) than those from MAX+PLUS II, moreover EA equipped with proposed crossover operators found. better results than those obtained with the use of other compared crossovers.
引用
收藏
页码：359 / 362
页数：4
相关论文
共 50 条
  • [41] Transient Fault Tolerant State Assignment for Stochastic Computing Based on Linear Finite State Machines
    Ichihara, Hideyuki
    Fukuda, Motoi
    Iwagaki, Tsuyoshi
    Inoue, Tomoo
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2020, E103A (12) : 1464 - 1471
  • [42] Finite state machines
    Carter, J
    POWER ENGINEERING JOURNAL, 2001, 15 (01): : 15 - 15
  • [43] Finite state machines
    Jonsson, B
    MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 611 - 614
  • [44] State assignment by evolutionary algorithms
    Chyzy, M
    Kosinski, W
    INTELLIGENT INFORMATION PROCESSING AND WEB MINING, 2004, : 129 - 138
  • [45] Optimum Half-Hot Code assignment algorithm for input encoding and its application to finite state machines
    Univ of the Ryukyus, Okinawa-ken, Japan
    IEICE Trans Inf Syst, 10 (1231-1238):
  • [46] State Assignment for Finite State Machine Synthesis
    Yang, Meng
    JOURNAL OF COMPUTERS, 2013, 8 (06) : 1406 - 1410
  • [47] Test generation algorithm for the All-Transition-State criteria of Finite State Machines
    Nemeth, Gabor Arpad
    Lugosi, Mate Istvan
    INFOCOMMUNICATIONS JOURNAL, 2021, 13 (03): : 56 - 65
  • [48] A heuristic algorithm for the minimization of incompletely specified finite state machines
    Ahmad, I
    Das, AS
    COMPUTERS & ELECTRICAL ENGINEERING, 2001, 27 (02) : 159 - 172
  • [49] A bounded incremental test generation algorithm for finite state machines
    Pap, Zoltan
    Subramaniam, Mahadevan
    Kovacs, Gabor
    Nemeth, Gabor Arpad
    TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 244 - +
  • [50] Optimised State Assignment for FSMs Using Quantum Inspired Evolutionary Algorithm
    Mello Araujo, Marcos Paiilo
    Nedjah, Nadia
    Mourelle, Luiza de Macedo
    EVOLVABLE SYSTEMS: FROM BIOLOGY TO HARDWARE, PROCEEDINGS, 2008, 5216 : 332 - +
12345