Encoded dynamics for fault tolerance in linear finite-state machines

被引：12
|
作者：
Hadjicostis, CN
Verghese, GC
机构：
[1] Univ Illinois, Coordinated Sci Lab, Urbana, IL 61801 USA
[2] Univ Illinois, Dept Elect & Comp Engn, Urbana, IL 61801 USA
[3] MIT, Electromagnet & Elect Syst Lab, Cambridge, MA 02139 USA
[4] MIT, Dept Elect Engn & Comp Sci, Cambridge, MA 02139 USA
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2002年 / 47卷 / 01期
关键词：
fault tolerance; linear coding; linear finite-state machines; system embeddings;
D O I：
10.1109/9.981743
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This note discusses fault tolerance in linear finite-state machines (LFSMs). By replacing a given LFSM with a larger, redundant LFSM that preserves the state of the original one in some linearly encoded form, various alternatives to modular redundancy are considered. We characterize the class of appropriate redundant machines in terms of added dynamics and their coupling with the dynamics of the original machine, and illustrate how these can be chosen to minimize redundant hardware.
引用
收藏
页码：189 / 192
页数：4
相关论文
共 50 条
  • [1] Training Linear Finite-State Machines
    Ardakani, Arash
    Ardakani, Amir
    Gross, Warren J.
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
  • [2] THE CONCATENATION AND PARTITIONING OF LINEAR FINITE-STATE MACHINES
    SUN, X
    KONTOPIDI, E
    SERRA, M
    MUZIO, J
    [J]. INTERNATIONAL JOURNAL OF ELECTRONICS, 1995, 78 (05) : 809 - 839
  • [3] TESTING FINITE-STATE MACHINES - FAULT-DETECTION
    YANNAKAKIS, M
    LEE, D
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (02) : 209 - 227
  • [4] Nonconcurrent error detection and correction in fault-tolerant linear finite-state machines
    Hadjicostis, CN
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (12) : 2133 - 2140
  • [5] Selective Fault Tolerance for Finite State Machines
    Augustin, Michael
    Goessel, Michael
    Kraemer, Rolf
    [J]. 2011 IEEE 17TH INTERNATIONAL ON-LINE TESTING SYMPOSIUM (IOLTS), 2011,
  • [6] IN FINITE-STATE MACHINES, LIVING MACHINES
    KRUGER, T
    [J]. ARCHITECTURAL DESIGN, 1994, (111) : R14 - R15
  • [7] Periodic finite-state machines
    Kopetz, H.
    El-Salloum, C.
    Huber, B.
    Obermaisser, R.
    [J]. 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 10 - +
  • [8] ON COMMUNICATING FINITE-STATE MACHINES
    BRAND, D
    ZAFIROPULO, P
    [J]. JOURNAL OF THE ACM, 1983, 30 (02) : 323 - 342
  • [9] Probabilistic fault detection in finite-state machines based on state occupancy measurements
    Hadjicostis, CN
    [J]. PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 3994 - 3999
  • [10] State assignment of finite-state machines
    Ahmad, I
    Dhodhi, MK
    [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
12345