Diagnosis of Discrete–event System Described by Timed Automata

Lunze, Jan; Supavatanakul, Peerasan

doi:10.3182/20020721-6-es-1901.00744

Cited by 27 publications

(31 citation statements)

References 7 publications

(7 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…. , } \ { } ∧ ‖G‖ = do (9) sd = ConSSDia( , G) (10) if sd satisfies Theorem 17 then (11) return is A-diagnosable (12) end for (13) ++ (14) end while (15) return is not A-diagnosable (16) end for Algorithm 1: VerDia: verifying A-diagnosability of distributed SDES. Distributed SDESs exchange the local diagnosis information by the communication events.…”

Section: Mathematical Problems In Engineeringmentioning

confidence: 99%

See 1 more Smart Citation

Failure Diagnosis for Distributed Stochastic Discrete Event Systems

Geng

Ouyang

Zhao

2017

Mathematical Problems in Engineering

View full text Add to dashboard Cite

Because of the complexity of the failure diagnosis for large-scale discrete event systems (DESs), DESs with decentralized information have received a lot of attention. DESs with communication events are defined as distributed DESs. Stochastic discrete event systems (SDESs) are DESs with a probabilistic structure. A-diagnosability is an important property in failure diagnosis of SDES. In this paper, we investigate A-diagnosability in distributed SDESs. We define a local model and global model. Moreover, we construct a synchronized stochastic diagnoser to check A-diagnosability in distributed SDESs. We also propose a necessary and sufficient condition for a distributed SDES to be A-diagnosable. Some examples are described to illustrate our algorithms.

show abstract

Section: Mathematical Problems In Engineeringmentioning

confidence: 99%

“…To deal with the diagnosis problem of DESs precisely, stochastic discrete event systems (SDESs) were proposed by Lunze and Schroder [10]. SDESs extend DESs by probabilistic transitions.…”

Section: Introductionmentioning

confidence: 99%

Failure Diagnosis for Distributed Stochastic Discrete Event Systems

Geng

Ouyang

Zhao

2017

Mathematical Problems in Engineering

View full text Add to dashboard Cite

show abstract

“…Distributed diagnosis has mostly been discussed for discrete event dynamic systems, see for example (Lunze and Schröder, 2001). One paper that discusses distributed consistency based diagnosis is (Roos et al, 2003) where an algorithm for distributed diagnosis that uses both consistency and abduction based diagnosis (which is another type of diagnosis) is presented.…”

Section: Related Workmentioning

confidence: 99%

Distributed Diagnosis for Embedded Systems in Automotive Vehicles

Biteus

Jensen

Nyberg

2005

IFAC Proceedings Volumes

View full text Add to dashboard Cite

Fault diagnosis is important for automotive vehicles, due to economic reasons such as efficient repair and fault prevention, and legislations which mainly deals with safety and pollution. In embedded systems with dozens of electronic control units that states local diagnoses, it can be arbitrary difficult to find which combination of local diagnoses that points at the correct faulty components. An algorithm is presented that both finds the diagnoses that in themselves are complete and chooses only those diagnoses that are more likely to be correct, this restriction is wanted due to the limitations in processing power, memory, and network capacity. The embedded system in a Scania heavy duty vehicle has been used as a case study to find realistic requirements on the algorithm.

show abstract

“…Lunze and Supavatanakul present in [9] a model-based diagnosis method of DES described by timed automata. They apply the idea of consistency-based diagnosis to timed automata.…”

Section: Introductionmentioning

confidence: 99%

Automatic construction of diagnoser for complex discrete event systems

Gascard

Simeu-Abazi

2011

2011 3rd International Workshop on Dependable Control of Discrete Systems

View full text Add to dashboard Cite

Abstract-This paper deals with the problem of fault diagnosis of complex discrete event systems in the context of communicating timed automata. Indeed, for the diagnosis, this kind of systems can be represented by timed models whose components communicate through channels. This paper starts with a description of our modelling methodology of discrete event systems as communicating timed automata. The proposed approach for diagnosis (detection and isolation) is based on the methodology known as the diagnoser approach. This paper extends the approach of diagnoser through the taking into account of the various communicating synchronized automata representing the components of the system. It proposes an automatic step of construction of the global model. The application of the proposed algorithm allows to obtain the diagnoser of the studied system. Starting from a model of the complex system, this approach computes a deterministic automaton, called a diagnoser, which uses observable events to detect the occurrence of a failure. The different steps of the proposed method are described by algorithms and illustrated through a batch process.

show abstract

Diagnosis of Discrete–event System Described by Timed Automata

Cited by 27 publications

References 7 publications

Failure Diagnosis for Distributed Stochastic Discrete Event Systems

Failure Diagnosis for Distributed Stochastic Discrete Event Systems

Distributed Diagnosis for Embedded Systems in Automotive Vehicles

Automatic construction of diagnoser for complex discrete event systems

Contact Info

Product

Resources

About