Diagnosis of Discrete–event System Described by Timed Automata
نویسندگان
چکیده
This paper presents the model–based diagnosis in the framework of discrete–event systems. Timed automata are used as a discrete–event representation which is suitable for consistency–based diagnosis. The diagnostic statement is based on the observation whether the measured event–time sequences are consistent with the timed automata. The diagnostic algorithm can be applied online because it determines the fault occurrence recursively for the measured event–time sequences. The result is applied to diagnose valve faults in a chemical process.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملApplication of Timed Automata to the Diagnosis of the DAMADICS Benchmark Problem
The paper describes a design method of a diagnostic algorithm for detecting and identifying faults that occur in the discrete–event systems described by timed automata. The timed automata used for diagnosis do not only incorporate only the corresponding states and transitions into normal operation behaviour of the systems but also additional states and transitions representing the faulty behavi...
متن کاملA Hierarchical Heterogeneous Approach to Diagnosis of Discrete-event Systems a Hierarchical Heterogeneous Approach to Diagnosis of Discrete–event Systems
The paper presents a new approach for model–based diagnosis for hierarchically structured discrete–event systems. The efficiency of this method results from the fact that the complexity of the diagnostic task is reduced by first detecting and identifying a faulty module using a coarse model of the system on a high level of abstraction and subsequently refining the diagnostic results by using a ...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کامل