Browsing by Subject "Fault tolerant computer systems"
Now showing items 120 of 25

Conference Object
Adaptive linear quadratic design with application to F16 fighter aircraft
(2004)This paper investigates an adaptive linear quadratic (ALQ) control design with its application to the longitudinal model of the F16 fighter aircraft. The certainty equivalence principle is used to combine the adaptive law ...

Article
Coding approaches to fault tolerance in linear dynamic systems
(2005)This paper discusses fault tolerance in discretetime dynamic systems, such as finitestate controllers or computer simulations, with focus on the use of coding techniques to efficiently provide fault tolerance to linear ...

Article
Coding techniques for faulttolerant parallel prefix computations in Abelian groups
(2004)This paper presents coding techniques that can be used to provide fault tolerance to a parallel prefix computation that is performed on a binary tree of processing nodes. More specifically, we discuss how a parallel prefix ...

Article
The complexity of synchronous iterative DoAll with crashes
(2004)The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to distributed simulation and multiagent collaboration. ...

Conference Object
Distributed Cooperation and Adversity: Complexity TradeOffs
(2003)The problem of cooperatively performing a collection of tasks in a decentralized setting where the computing medium is subject to adversarial perturbations is one of the fundamental problems in distributed computing. Such ...

Article
The DoAll problem with Byzantine processor failures
(2005)DoAll is the abstract problem of using n processors to cooperatively perform m independent tasks in the presence of failures. This problem and its derivatives have been a centerpiece in the study of tradeoffs between ...

Article
Encoded dynamics for fault tolerance linear finitestate machines
(2002)This note discusses fault tolerance in linear finitestate 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 ...

Conference Object
Encoded finitestate machines for nonconcurrent error detection and identification
(2003)In this paper we develop a methodology for systematically constructing redundant finitestate machines in a way that enables an external mechanism to detect and identify transient statetransition faults by performing ...

Article
Error detection and correction in switched linear controllers via periodic and nonconcurrent checks
(2006)Control systems that utilize switched linear controllers have proven to be useful (and, in some cases, essential) for accomplishing certain control objectives in particular classes of plants. These controllers are often ...

Conference Object
Fault detection and recovery in a datadriven realtime multiprocessor
(Publ by IEEE, 1994)This paper introduces the mechanisms required to perform fault detection and recovery in the DART multiprocessor architecture. The DART multiprocessors uses prioritized datadriven scheduling to ensure that multiple hard ...

Article
Faulttolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
(2002)The traditional approach to faulttolerant computation has been via modular hardware redundancy. Although universal and simple, modular redundancy is inherently expensive and inefficient. By exploiting particular structural ...

Article
Faulttolerant dynamic systems
(2000)We use unreliable system replicas and unreliable voters to construct redundant dynamic systems that tolerate transient failures in their state transition and error correcting mechanisms. Using low density parity check ...

Conference Object
Faulttolerant linear finite state machines
(Institute of Electrical and Electronics Engineers Inc., 1999)In this paper we develop a framework for constructing faulttolerant dynamic systems, focusing primarily on linear finite state machines (LFSMs). Modular redundancy, the traditional approach to fault tolerance, is expensive ...

Conference Object
Faulttolerant semi fast implementations of atomic read/write registers
(2006)This paper investigates timeefficient implementations of atomic readwrite registers in messagepassing systems where the number of readers can be unbounded. In particular we study the case of a single writer, multiple ...

Article
Finitestate machine embeddings for nonconcurrent error detection and identification
(2005)In digital sequential systems that operate over several time steps, a statetransition fault at any time step during the operation of the system can corrupt its state and render its future functionality useless. Such ...

Article
A hybrid faulttolerant algorithm for MPLS networks
(2008)In this paper we present a new fault tolerant, path maintaining, algorithm for use in MPLS based networks. The novelty of the algorithm lies upon the fact that it is the first to employ both path restoration mechanisms ...

Article
Modelling control systems in an eventdriven coordination language
(2000)The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures for complex control systems using a ...

Article
MPIFT: Portable fault tolerance scheme for MPI
(2000)In this paper, we propose the design and development of a fault tolerant and recovery scheme for the Message Passing Interface (MPI). The proposed scheme consists of a detection mechanism for detecting process failures, ...

Conference Object
Nonconcurrent error detection and correction in discretetime LTI dynamic systems
(2001)In this paper we develop faulttolerant constructions for discretetime (DT) linear timeinvariant (LTI) dynamic systems that are build out of appropriately interconnected delay, adder and gain elements. More specifically, ...

Article
Nonconcurrent error detection and correction in faulttolerant discretetime LTI dynamic systems
(2003)This paper develops resourceefficient alternatives to modular redundancy for faulttolerant discretetime (DT) linear timeinvariant (LTI) dynamic systems. The proposed method extends previous approaches that are based ...