Browsing Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering by Subject "Failure analysis"
Now showing items 1-16 of 16
-
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 ...
-
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 ...
-
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
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 ...
-
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
Unmanned Aerial Vehicle (UAV) Decision-Making for Photovoltaic (PV) Plant Diagnostics Using Image and Electrical Data Analysis
(2023)This paper aims to develop an unmanned aerial vehicle (UAV) decision-making platform for accurate photovoltaic (PV) plant diagnosis and optimum operation and maintenance (O&M) activities. A modular approach was followed ...