Nonconcurrent Error Detection and Correction in Fault-Tolerant Linear Finite-State Machines
Ημερομηνία
2003Source
IEEE Transactions on Automatic ControlVolume
48Issue
12Pages
2133-2140Google Scholar check
Keyword(s):
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
In this paper, we construct fault-tolerant linear finite-state machines (LFSMs) in which error detection and correction can be performed nonconcurrently (e.g., periodically). More specifically, by jointly choosing the state encoding constraints and the redundant dynamics of the fault-tolerant LFSM, we enable an external checker to detect and identify errors due to past faults based on the current, possibly corrupted state of the LFSM. The paper presents systematic constructions of fault-tolerant LFSMs based on a characterization of nonconcurrent error detection/correction in terms of state encoding constraints and redundant dynamics. In particular, we develop a scheme that uses Bose-Chaudhuri-Hocquenghem (BCH) coding and obtains fault-tolerant LFSMs that require 2D additional state variables and have the ability to correct up to D errors in any state variable at any time step in the time interval consisting of the latest N time steps of operation. The construction uses the minimum possible number of additional state variables and requires an error detecting/correcting mechanism with computational complexity that is only linear in N.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Article
Adaptive LQ control with anti-windup augmentation to optimize UAV performance in autonomous soaring applications
Kahveci, N. E.; Ioannou, Petros A.; Mirmirani, M. D. (2008)The performance of a glider can be considerably improved by means of soaring and optimization of its trajectory. Recent advances in the area of static soaring assume known linear glider dynamics and no actuator saturation ...
-
Article
Coding approaches to fault tolerance in linear dynamic systems
Hadjicostis, Christoforos N.; Verghese, G. C. (2005)This paper discusses fault tolerance in discrete-time dynamic systems, such as finite-state controllers or computer simulations, with focus on the use of coding techniques to efficiently provide fault tolerance to linear ...
-
Conference Object
Linear iterative strategies for transmitting streams of values through sensor networks
Sundaram, S.; Hadjicostis, Christoforos N. (2009)For any given fixed network of interconnected nodes, with some nodes designated as sources and some nodes designated as sinks, we investigate the problem of transmitting a stream of values from every source node to all of ...