Identification of Timed Discrete-Event Models for Diagnosis
نویسندگان
چکیده
The paper deals with the discrete–event modelling of dynamical systems. The system inputs and outputs can only be qualitatively measured. The timed automaton is used as the discrete–event representation of such systems. The diagnosis is based on the investigation whether the qualitative input/output sequences obtained from the system are consistent with the timed automaton. The paper shows how the timed automaton can be set up by qualitative identification using a set of measurement data. The information included in the timed automaton is used for fault detection and identification. The results are applied to an industrial actuator.
منابع مشابه
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 ...
متن کاملRelations of Timed Event Graphs and Timed Automata in Fault Diagnosis
This paper investigates the relations between timed event graphs and timed automata that describe discrete–event systems subject to faults. An algorithm is presented for transforming a timed event graph into an equivalent timed automaton. The relations among the models of the faulty systems provides the basis for comparing diagnostic methods that have been developed in the past for these two ti...
متن کامل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...
متن کامل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 dete...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل