Overview of fault diagnosis methods for Discrete Event Systems

Zaytoon, Janan; Lafortune, Stéphane

doi:10.1016/j.arcontrol.2013.09.009

Cited by 285 publications

(127 citation statements)

References 105 publications

Supporting

Mentioning

121

Contrasting

Unclassified

Order By: Relevance

“…Researchers have directed considerable attention to the monitoring and fault diagnosis of hybrid systems, e.g., [19,20,1].Our approach is the first to employ a (max,+) algebra for this task. The (max,+) algebraic approach is computationally more efficient than existing approaches, but may suffer from requiring longer time delays for observations for fault isolation, and a limitation to a class of HS that can be diagnosed based on timing anomalies.…”

Section: Diagnosing Hybrid Systemsmentioning

confidence: 99%

“…Faults might occur within the continuous aspects (e.g., valve stuck partially shut) or the discrete aspect (on/off actuator fails in the on state) [1]; these faults may evidence themselves as gradual or abrupt events. Some approaches (e.g., [2]) combine the two aspects, while other approaches map the aspects into a single framework, e.g., a probabilistic framework for which we can use particle filters or dynamic Bayesian networks to compute diagnoses [3].…”

Section: Introductionmentioning

confidence: 99%

“…We model this class of DES with a max-plus linear discrete-event system in which inference is linear within the max-plus algebra [4,7], and hence is computationally more efficient than traditional approaches [8]. 1 This article proposes a semi-ring algebraic framework for modeling and diagnostic inference of a hybrid system (HS). We describe a discrete-time hybrid system based on a (max, +)-linear (MPL) algebra defined over a set Z + or R max = R ∪ {−∞} [9,10].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems

Provan¹

Kalpa Publications in Computing

View full text Add to dashboard Cite

A broad range of real-world systems can be defined using discrete-time hybrid systems, e.g., chemical process plants and manufacturing systems. We characterize this application domain using a class of discrete-event systems, max-plus linear discrete-event systems, which captures synchronization without concurrency or selection. The model framework of these hybrid systems is non-linear in a conventional algebra, but linear in the max-plus algebra, thereby enabling linear-time inference. We use an observer-based framework for monitoring and diagnosing max-plus diagnostics models, and further improve computational efficiency by searching over only the most-likely space of behaviours. We illustrate our approach using a chemical process-control example.

show abstract

Section: Diagnosing Hybrid Systemsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems

Provan¹

Kalpa Publications in Computing

View full text Add to dashboard Cite

show abstract

“…Furthermore, it is a cumbersome task to model all these behaviors. This is even more of a problem in the field of discrete event systems (DES) because all the established diagnosis theories require fault models [5].…”

Section: Introductionmentioning

confidence: 99%

Diagnosing Discrete Event Systems Using Nominal Models Only

Pencolé¹,

Steinbauer²,

Mühlbacher³

et al.

Kalpa Publications in Computing

View full text Add to dashboard Cite

Complex technical systems usually show a dynamic behavior that is often conveniently represented with a discrete event model. Such a behavior is the result of dynamic components which interact with each other. Due to the complexity of technical systems faults are not totally avoidable. In order to deal with such faults diagnosing the system at run-time is of great interest. To perform such a diagnosis it is common to use fault models. Such models are in practice often hard to obtain. To address this problem we show a diagnosis approach for discrete event systems which uses the model of the nominal behavior only. In order to perform this diagnosis we adopt the well known idea of consistency based diagnosis.

show abstract

“…Fault diagnosis of Discrete Event Systems (DES) is a generic problem that has been widely studied [1]. The original definition has been introduced in [2] in the automaton formalism.…”

Section: Introductionmentioning

confidence: 99%