The paper presents a novel view on the Structurally Synthesized BDDs (SSBDD) as a model with inherent double topology for compact modeling of single faults and efficient reasoning of multiple faults. The nodes of SSBDDs represent lower level signal path topology in the original circuit, and the paths of SSBDD represent higher level topology of conditions to be processed during fault reasoning. ...

In this article, we propose a tractable nonlinear fault estimation filter along with explicit performance bounds for class of linear dynamical systems in the presence both additive and multiplicative faults. We consider case, where faults may occur simultaneously through an identical relationship, setting that is relevant to several application domains, including automotive driving, aviation, c...

We perform dynamic simulations of thrust and normal faults over multiple earthquake cycles. Our goal is to explore effects of asymmetric fault geometry on the long-term seismicity and dynamics of dipping faults. A dynamic finite-element method is used to model the interseismic and coseismic processes, with a dynamic relaxation technique for the former. The faults are loaded by stable sliding al...

A fault simulator for large synchronous sequential circuits is presented in this paper. There are four key ideas to the fault simulator. 1) It uses the critical path tracing method to screen out the single event faults that need not map into equivalent stem faults. 2) It uses the single fault propagation method to map the traced single event faults into equivalent stem faults. 3) All the multip...

In a previous paper, Liu argued for the importance of establishing a precise theoretical foundation for program debugging from first principles. In this paper, we present a first step towards a theoretical exploration of program debugging algorithms. The starting point of our work is the recent debugging approach based on predicate switching. The idea is to switch the outcome of an instance of ...

Process allocation is important for fault-tolerant multi-computer systems since it directly aaects the performance and dependability of the system. In this paper, we consider load-balancing process allocation for fault-tolerant systems that balances the load before as well as after faults start to degrade the performance of the system. We show two schemes to tolerate multiple faults in the pass...

In this paper, an intermediate observer is proposed for simultaneously estimating the system state, actuator fault and sensor fault. The necessary sufficient condition given with respect to existence of designed observer. gain matrix guaranteed through solving Riccati inequalities. estimation errors are proved be globally uniformly stable prescribed performance index. Finally, a simulation stud...