Browsing by Subject "Fault tolerant computer systems"
Now showing items 1-20 of 25
-
Conference Object
Adaptive linear quadratic design with application to F-16 fighter aircraft
(2004)This paper investigates an adaptive linear quadratic (ALQ) control design with its application to the longitudinal model of the F-16 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 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 ...
-
Article
Coding techniques for fault-tolerant 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 Do-All 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 multi-agent collaboration. ...
-
Conference Object
Distributed Cooperation and Adversity: Complexity Trade-Offs
(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 Do-All problem with Byzantine processor failures
(2005)Do-All 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 trade-offs between ...
-
Article
Encoded dynamics for fault tolerance linear finite-state machines
(2002)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 ...
-
Conference Object
Encoded finite-state machines for non-concurrent error detection and identification
(2003)In this paper we develop a methodology for systematically constructing redundant finite-state machines in a way that enables an external mechanism to detect and identify transient state-transition faults by performing ...
-
Article
Error detection and correction in switched linear controllers via periodic and non-concurrent 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 data-driven real-time 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 data-driven scheduling to ensure that multiple hard ...
-
Article
Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
(2002)The traditional approach to fault-tolerant computation has been via modular hardware redundancy. Although universal and simple, modular redundancy is inherently expensive and inefficient. By exploiting particular structural ...
-
Article
Fault-tolerant 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
Fault-tolerant linear finite state machines
(Institute of Electrical and Electronics Engineers Inc., 1999)In this paper we develop a framework for constructing fault-tolerant dynamic systems, focusing primarily on linear finite state machines (LFSMs). Modular redundancy, the traditional approach to fault tolerance, is expensive ...
-
Conference Object
Fault-tolerant semi fast implementations of atomic read/write registers
(2006)This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we study the case of a single writer, multiple ...
-
Article
Finite-state machine embeddings for nonconcurrent error detection and identification
(2005)In digital sequential systems that operate over several time steps, a state-transition 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 fault-tolerant 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 event-driven 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
MPI-FT: 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
Non-concurrent error detection and correction in discrete-time LTI dynamic systems
(2001)In this paper we develop fault-tolerant constructions for discrete-time (DT) linear time-invariant (LTI) dynamic systems that are build out of appropriately interconnected delay, adder and gain elements. More specifically, ...
-
Article
Nonconcurrent error detection and correction in fault-tolerant discrete-time LTI dynamic systems
(2003)This paper develops resource-efficient alternatives to modular redundancy for fault-tolerant discrete-time (DT) linear time-invariant (LTI) dynamic systems. The proposed method extends previous approaches that are based ...