Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets

Journal of the Franklin Institute

Volumn 339, Issue 4-5, 2002, Pages 387-430

  Hadjicostis, Christoforos N ^a   Verghese, George C ^b  

^a University of Illinois at Urbana Champaign   (United States)

^b USA   (United States)

Author keywords

Algorithm based fault tolerance; Automata; Concurrent error correction; Concurrent error detection; Fault tolerant computing; Group machines; Linear time invariant dynamic systems; Petri nets; Semigroup machines

Indexed keywords

ALGEBRA; ALGORITHMS; AUTOMATA THEORY; COMPUTATION THEORY; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER SYSTEM RECOVERY; CONCURRENCY CONTROL; ENCODING (SYMBOLS); ERROR CORRECTION; ERROR DETECTION; PETRI NETS; REDUNDANCY;

CONCURRENT ERROR DETECTION; FAULT TOLERANT COMPUTATIONS; GROUP MACHINES; SEMIGROUP MACHINES;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0036655431     PISSN: 00160032     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0016-0032(02)00025-X     Document Type: Article

References (50)

1. On the maximum tolerable noise for reliable computation by formulas
2. On the maximum tolerable noise for reliable computation by formulas
3. Algorithm-based fault tolerance for matrix operations
4. Fault-tolerant matrix arithmetic and signal processing on highly concurrent parallel structures
5. Fault-tolerant FFT networks
6. Fault-tolerant round-robin A/D converter system
7. A group-theoretic framework for fault-tolerant computation
8. Concurrent fault detection in microprogrammed control units
9. Concurrent error detection using monitoring machines
10. A methodology for designing optimal self-checking sequential circuits
11. Optimum and heuristic algorithms for an approach to finite state machine decomposition
12. FSM decomposition revisited: Algebraic structure theory applied to MCNC benchmark FSM's
13. Fault-tolerant design of linear time-invariant systems in state form
14. Structured redundancy for fault tolerance in LTI state-space models and Petri nets
15. Monitoring discrete event systems using Petri net embeddings
16. The design of fault-tolerant linear digital state variable systems: Theory and techniques
17. Structural zeros in the modal matrix and its inverse
18. An inclusion principle for dynamic systems
19. Petri nets: Properties, analysis and applications
20. Realization of fault-tolerant systems by coding Petri nets
21. Error detection and correction in Petri net models of discrete events control systems
22. Power system monitoring using Petri net embeddings
23. Fault-tolerant linear finite state machines
24. Fault-tolerant dynamic systems
25. Fault-tolerant sequence enumerators