Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
Authors
Abstract:
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 proposed approach is based on hybrid model which combines Interval Constrained Petri Nets (ICPN) and Timed Automata. These tools allow us to evaluate, respectively, the quality variations and to manage the flow type disturbance. An example analysis illustrates our approach.
similar resources
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
The problem of detecting and isolating fault events in dynamic systems modeled as discrete-event systems is considered. The modeling formalism adopted is that of Petri nets with labeled transitions, where some of the transitions are labeled by different types of unobservable fault events. The Diagnoser Approach for discrete-event systems modeled by automata developed in earlier work is adapted ...
full textFault Diagnosis of Discrete Event Systems Using Petri Nets
This talk focuses on on-line fault diagnosis of discrete event systems based on Petri nets. In particular a diagnosis approach based on the notion of basis markings and justifications is discussed. This concept allows us to represent the reachability space in a compact manner, i.e., it requires to enumerate only a subset of the reachability space. Arbitrary labeled Petri nets are considered as ...
full textDiagnosis of Discrete Event Systems Using Timed Automata
This paper proposes an effective way for diagnosis of discrete–event systems by using a timed automaton. It is based on the model-check technique, thanks to the time analysis of the timed model. This paper gives a method to construct all timed models and details the different steps used to obtain the diagnosis path in the timed automaton. The proposed approach could be applied to dynamical syst...
full textDiscrete Event Diagnosis using Petri Nets
This paper serves as a support for the plenary address given by the second author during the conference. In this paper we present an approach to on-line diagnosis of discrete event systems based on labeled Petri nets, that are a particular class of Petri nets where some events are undistinguishable, i.e., events that produce an output signal that is observable, but that is common to other event...
full textDiagnosis of Discrete Event Systems with Petri Nets
Modern technological processes include complex and large scale systems, where faults in a single component have major effects on the availability and performances of the system as a whole. For example manufacturing systems consists of many different machines, robots and transportation tools all of which have to correctly satisfy their purpose in order to ensure and fulfil global objectives. In ...
full textTimed Processes of Interval-Timed Petri Nets
In this paper we use partial order semantics to express the truly concurrent behaviour of interval-timed Petri nets (ITPNs) in their most general setting, i.e. with autoconcurrency and zero duration, as studied with its standard maximal step semantics in [8]. First we introduce the notion of timed processes for ITPNs inductively. Then we investigate if the equivalence of inductive and axiomatic...
full textMy Resources
Journal title
volume 27 issue 1
pages 113- 122
publication date 2014-01-01
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023