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

DOI10.1016/S0016-0032(02)00025-XzbMath1010.68523MaRDI QIDQ1867785

George C. Verghese, Christoforos N. Hadjicostis

Publication date: 2 April 2003

Published in: Journal of the Franklin Institute (Search for Journal in Brave)

zbMATH Keywords

automataPetri netsfault-tolerant computingconcurrent error detectionconcurrent error correctionalgorithm-based fault tolerancegroup machineslinear time-invariant dynamic systemssemigroup machines

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Fault detection; testing in circuits and networks (94C12) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines ⋮ Periodic and non-concurrent error detection and identification in one-hot encoded FSMs ⋮ Unnamed Item

Cites Work

• Fast projection methods for minimal design problems in linear system theory
• An inclusion principle for dynamic systems
• Algorithm-Based Fault Tolerance for Matrix Operations
• Structural zeros in the modal matrix and its inverse
• On the maximum tolerable noise for reliable computation by formulas
• On the maximum tolerable noise for reliable computation by formulas
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets