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
关键词
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 条
  • [1] A state assignment algorithm for finite state machines
    Skias, D
    Haniotakis, T
    Tsiatouhas, Y
    Arapoyanni, A
    ICECS 2000: 7TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS & SYSTEMS, VOLS I AND II, 2000, : 823 - 826
  • [2] Evolutionary state assignment for synchronous finite state machines
    Nedjah, N
    Mourelle, LD
    COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 1289 - 1296
  • [3] A parallel state assignment algorithm for finite state machines
    Bader, DA
    Madduri, K
    HIGH PERFORMANCE COMPUTING - HIPC 2004, 2004, 3296 : 297 - 308
  • [4] A parallel algorithm for state assignment of finite state machines
    Hasteer, G
    Banerjee, P
    IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (02) : 242 - 246
  • [5] Quantum-Inspired Evolutionary State Assignment for Synchronous Finite State Machines
    Mello Araujo, Marcos Paulo
    Nedjah, Nadia
    Mourelle, Luiza de Macedo
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (15) : 2532 - 2548
  • [6] STATE ASSIGNMENT OF FINITE-STATE MACHINES USING A GENETIC ALGORITHM
    ALMAINI, AEA
    MILLER, JF
    THOMSON, P
    BILLINA, S
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1995, 142 (04): : 279 - 286
  • [8] OPTIMAL STATE ASSIGNMENT FOR FINITE STATE MACHINES
    DEMICHELI, G
    BRAYTON, RK
    SANGIOVANNIVINCENTELLI, A
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1985, 4 (03) : 269 - 285
  • [9] State assignment of finite-state machines
    Ahmad, I
    Dhodhi, MK
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
  • [10] An Evolutionary Strategy Based State Assignment for Area-minimization Finite State Machines
    Tao, Yanyun
    Zhang, Lijun
    Zhang, Yuzhen
    2015 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI), 2015, : 1491 - 1498