Browsing by Subject "Failure analysis"
Now showing items 1-20 of 21
-
Article
Conditional densities for continuous-time nonlinear hybrid systems with applications to fault detection
(1999)Continuous-time nonlinear stochastic differential state and measurement equations, all of which have coefficients capable of abrupt changes at a random time, are considered; finite-state jump Markov chains are used to model ...
-
Conference Object
Decentralized failure diagnosis in discrete event systems
(2006)In this paper, we develop and analyze decentralized failure diagnosis schemes for systems that can be modeled as finite state machines (FSMs). We consider a scenario where we are given multiple local diagnosers (with partial ...
-
Conference Object
Decentralized Reconfigurable Control for Large-Scale Systems with Application to a Segmented Telescope Test-Bed
(2003)Designing a decentralized reconfigurable control (DRC) system is considered for large-scale systems. The objective of the DRC system is to achieve performance requirements under normal and sensor failure situations. The ...
-
Article
Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements
(2018)We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at ...
-
Article
Fault diagnosis in discrete event systems modeled by partially observed petri nets
(2009)In this paper, we study fault diagnosis in discrete event systems modeled by partially observed Petri nets, i.e., Petri nets equipped with sensors that allow observation of the number of tokens in some of the places and/or ...
-
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
Graphical inference methods for fault diagnosis based on information from unreliable sensors
(2006)In this paper, we study the application of decoding algorithms to the multiple fault diagnosis (MFD) problem. Prompted by the resemblance between graphical representations for MFD problems and parity check codes, we develop ...
-
Article
Max-product algorithms for the generalized multiple-fault diagnosis problem
(2007)In this paper, we study the application of the max-product algorithm (MPA) to the generalized multiple-fault diagnosis (GMFD) problem, which consists of components (to be diagnosed) and alarms/connections that can be ...
-
Article
Maximum likelihood failure diagnosis in finite state machines under unreliable observations
(2010)In this paper, we develop a probabilistic methodology for failure diagnosis in finite state machines based on a sequence of unreliable observations. Given prior knowledge of the input probability distribution but without ...
-
Conference Object
Modeling the implications of DRAM failures and protection techniques on datacenter TCO
(IEEE Computer Society, 2015)Total Cost of Ownership (TCO) is a key optimization metric for the design of a datacenter. This paper proposes, for the first time, a framework for modeling the implications of DRAM failures and DRAM error protection ...
-
Article
On the history of diagnosability and opacity in discrete event systems
(2018)This paper presents historical remarks on key projects and papers that led to the development of a theory of event diagnosis for discrete event systems modeled by finite-state automata or Petri nets in the 1990s. The goal ...
-
Conference Object
The performance vulnerability of architectural and non-architectural arrays to permanent faults
(2012)This paper presents a first-order analytical model for determining the performance degradation caused by permanently faulty cells in architectural and non-architectural arrays. We refer to this degradation as the performance ...
-
Conference Object
Power system monitoring based on relay and circuit breaker information
(2001)In this paper we develop monitoring schemes that are able to detect and identify failures in power transmission lines by analyzing binary status information from relays and circuit breakers. The approach, which is based ...
-
Article
Power system monitoring using Petri net embeddings
(2000)A failure in a power transmission line causes a number of circuit breakers to activate in an effort to isolate the failure and prevent it from corrupting the rest of the power system. Based on information from these ...
-
Conference Object
Probabilistic failure diagnosis in finite state machines under unreliable observations
(2006)In this paper we develop a probabilistic methodology for calculating the likelihood that an observed, possibly corrupted event sequence was generated by two (or more) candidate finite state machines (FSMs) (one of which ...
-
Conference Object
Probabilistic fault detection in finite-state machines based on state occupancy measurements
(2002)This paper discusses a probabilistic methodology for detecting permanent or transient functional changes in the state-transition mechanism of a deterministic finite-state machine (FSM). The associated detector observes the ...
-
Article
Process algebraic modelling and analysis of power-aware real-time systems
(2002)A unified formal framework for designing and reasoning about power-constrained, real-time systems is described. The framework is based on process algebra, a formalism that has been developed to describe and analyse ...
-
Conference Object
Reachability analysis for a class of petri nets
(2009)In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly) monotone Petri net, an initial marking ...
-
Article
Stochastic testing of finite state machines
(2001)This paper discusses an approach that uses statistical observations about the steady-state behavior of a finite state machine (FSM) in order to detect and identify permanent failures in its state transition mechanism. The ...
-
Conference Object
Surface failure detection for an F/A-18 aircraft using neural networks and fuzzy logic
(IEEE, 1994)In this paper we consider the problem of detecting control surface failures of a high performance aircraft. The detection model is developed using a linear, six degree of freedom dynamic model of an F/A-18 aircraft. The ...