ABSTRACTIONS OF FINITE-STATE MACHINES OPTIMAL WITH RESPECT TO SINGLE UNDETECTABLE OUTPUT FAULTS

被引：0
|
作者：
OIKONOMOU, KN
机构：
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1987年 / 36卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：185 / 200
页数：16
相关论文
共 50 条
  • [31] Training Linear Finite-State Machines
    Ardakani, Arash
    Ardakani, Amir
    Gross, Warren J.
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
  • [32] Product Construction of Finite-State Machines
    Hsieh, Samuel C.
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 141 - 143
  • [33] CASCADE SYNTHESIS OF FINITE-STATE MACHINES
    ZEIGER, HP
    INFORMATION AND CONTROL, 1967, 10 (04): : 419 - &
  • [34] Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems
    Meng, Yiming
    Liu, Jun
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2022, 2022, 13465 : 80 - 97
  • [35] STATE REDUCTION IN INCOMPLETELY SPECIFIED FINITE-STATE MACHINES
    PFLEEGER, CP
    IEEE TRANSACTIONS ON COMPUTERS, 1973, C 22 (12) : 1099 - 1102
  • [36] TESTING FINITE-STATE MACHINES - STATE IDENTIFICATION AND VERIFICATION
    LEE, D
    YANNAKAKIS, M
    IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (03) : 306 - 320
  • [37] The grassfire transform using finite-state machines
    Waltz, FM
    Miller, JWV
    MACHINE VISION AND THREE-DIMENSIONAL IMAGING SYSTEMS FOR INSPECTION AND METROLOGY II, 2002, 4567 : 113 - 120
  • [38] Data-Parallel Finite-State Machines
    Mytkowicz, Todd
    Musuvathi, Madanlal
    Schulte, Wolfram
    ACM SIGPLAN NOTICES, 2014, 49 (04) : 529 - 541
  • [39] A SURVEY OF THE THEORY OF FINITE-STATE LOGICAL MACHINES
    HUFFMAN, D
    PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1959, 47 (03): : 478 - 478
  • [40] A thermodynamically consistent model of finite-state machines
    Chu, Dominique
    Spinney, Richard E.
    INTERFACE FOCUS, 2018, 8 (06)
12345