• Conference Object  

      Adaptive linear quadratic design with application to F-16 fighter aircraft 

      Huo, Y.; Mirmirani, M.; Ioannou, Petros A.; Colgren, R. (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 

      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 ...
    • Article  

      Coding techniques for fault-tolerant parallel prefix computations in Abelian groups 

      Hadjicostis, Christoforos N. (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 

      Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (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 

      Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (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 

      Fernández, A.; Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (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 

      Hadjicostis, Christoforos N.; Verghese, G. C. (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 

      Hadjicostis, Christoforos N. (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 

      Sundaram, S.; Hadjicostis, Christoforos N. (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 

      Farquhar, William G.; Evripidou, Paraskevas (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 

      Hadjicostis, Christoforos N.; Verghese, G. C. (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 

      Hadjicostis, Christoforos N.; Verghese, G. C. (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 

      Hadjicostis, Christoforos N.; Verghese, G. C. (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 

      Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (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 

      Hadjicostis, Christoforos N. (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 

      Hadjiona, Maria; Georgiou, Chryssis; Papa, Maria; Vassiliou, Vasos (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 

      Limniotes, Theophilos A.; Papadopoulos, George Angelos (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 

      Louca, Soulla P.; Neophytou, Neophytos; Lachanas, Adrianos; Evripidou, Paraskevas (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 

      Hadjicostis, Christoforos N. (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 

      Hadjicostis, Christoforos N. (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 ...