Fault Diagnosis in Discrete Event Systems Using Interpreted Petri Nets

Jesus, Ana; Ramírez-Treviño, A.; López-Mellado, Ernesto; Ruiz-Beltrán, E.; Guadalajara, Cinvestav Unidad

doi:10.5772/5534

Cited by 9 publications

(10 citation statements)

References 24 publications

(21 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This section presents the basic concepts and notation of PN and IPN used in this paper. For more details the reader can be directed to read [6][7][8][9].…”

Section: Of Pn and Ipnmentioning

confidence: 99%

“…A fault detection and isolation using conventional IPN-based diagnosers was proposed in [8]. It consists of a single place and the same number of transitions that the discrete event system has.…”

Section: Of Pn and Ipnmentioning

confidence: 99%

“…They provide more compact representation for larger reachable state spaces, and increase the behavioral complexity compared with automata-based models [6][7]. An efficient method for obtaining a diagnoser interpreted Petri net (IPN) model was proposed for DES systems [8]. This model consists of a single place and the same number of transitions that the system model has.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Generalized Petri Net-Based Diagnoser for Fault Detection and Isolation in Complex Processes

Awad

2009

JES. Journal of Engineering Sciences

View full text Add to dashboard Cite

“…This section presents the basic concepts and notation of PN and IPN used in this paper. For more details the reader can be directed to read [6][7][8][9].…”

Section: Of Pn and Ipnmentioning

confidence: 99%

Section: Of Pn and Ipnmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Generalized Petri Net-Based Diagnoser for Fault Detection and Isolation in Complex Processes

Awad

2009

JES. Journal of Engineering Sciences

View full text Add to dashboard Cite

“…In the distributed diagnosis approach (e.g. [6]- [ 10]), the local diagnosers conununicate with each other. In a decentralized diagnosis architecture (e.g.…”

Section: Introductionmentioning

confidence: 99%

A polynomial-time algorithm for diagnosability verification of discrete event systems

Gascard

Simeu-Abazi

Suiphon

2014

2014 Second World Conference on Complex Systems (WCCS)

View full text Add to dashboard Cite

This paper concerns the problem of diagnosing the occurrence of permanent fault events in partially observed dis crete event systems modelled as finite-state automata in a event based framework. The first step is the verification of the existence of diagnosers (the diagnosability problem) for such systems. We define a necessary and sufficient condition of diagnosability of such systems. The results proposed in this paper allow testing the diagnosability of discrete event systems in an efficient way, i.e. in polynomial time. The diagnosability test is stated in terms of existence of similar cycles of observable events both in the faultless model and in the faulty model.

show abstract

“…Extending the proposed scheme to more complex problems is our future work. Furthermore, the malfunction of sensors, actuators, and erroneous actions of human operators can have some disastrous consequences in high risk systems [24][25][26][27]. These faults can lead to undesirable actions.…”

Section: Viiconclusionmentioning

confidence: 99%

Modelling and Control of KRC Systems Using TPN and TA

Allaa¹,

Awad²,

Anwar³

et al. 2015

IJAREEIE

View full text Add to dashboard Cite

This paper models and supervises kernel railroad crossing (KRC) systems using timed Petri nets and focuses on the control synthesis method, which consists in computing new firing conditions for the timed automaton (TA) transitions so that the forbidden locations are no longer reachable. The system to be modeled and supervised using timed Petri nets is converted to a TA and is analyzed using automata so that the functioning of the system respects given specifications. The main reason of using automata is that although the timed Petri nets supervisor controls the system, it fails to define the time units needed for the undefined time of a transition. Simulation results show the soundness of KRC modeling and supervision in the sense of ensuring the safety and maximizing utility (the gate should be opened as long as possible). KEYWORDS:Automata, Timed automata, discrete event systems, Petri nets, Timed Petri nets, KRC systems I.INTRODUCTIONThe process synchronization and forbidden states avoidance are considered as the main problems in both normal and abnormal modes of automation systems [1]. These characteristics allow the system to be considered as Discrete Event System (DES) and allow the researchers to perform the analysis and control of such systems using Petri nets (PN) and automata. DES is a dynamic system with state evolution produced by the occurrence of physical events. For example, an event is opening or closing a gate in Kernel Railroad Crossing (KRC) systems [2][3]. DES can be found in domains such as manufacturing, robotic, traffic control, logistics, and communication systems, etc.Important contributions in supervisory control of DES based on the Finite Automata (FA) and Petri Nets (PNs) are found in [4][5][6][7][8]. Petri net models are normally more compact than similar automata based models and are better suited for the representation of discrete event systems. They also have a good representational power [9]. On one hand, numerous approaches to the systematic construction of Petri net models have been proposed in [10]. On the other hand, because automata detail the process to be modelled, they are also employed to analysis and avoid forbidden states with ease.Historically, the theory of DES for supervision was initiated by the research work of Ramadge and Wonham [8]. A process is considered to be a spontaneous generator of events. Its functioning is characterized by event sequences. A supervisor is a DES which can modify the functioning of the process in order to avoid forbidden states. Unfortunately, the theory of Ramadge and Wonham does not a maximally permissive in nature [11]. A maximal permissive supervisor is to ensure that the controlled behaviour of the DES must be maximally permissive within a given specifications, i.e. all events which do not contradict the given specifications are allowed to happen. Thus, the theory of Ramadge and Wonham cannot be used to control all DES. An extension of this theory to the control of DES is proposed to force the occurrence of certain events to...

show abstract

Fault Diagnosis in Discrete Event Systems Using Interpreted Petri Nets

Cited by 9 publications

References 24 publications

A Generalized Petri Net-Based Diagnoser for Fault Detection and Isolation in Complex Processes

A Generalized Petri Net-Based Diagnoser for Fault Detection and Isolation in Complex Processes

A polynomial-time algorithm for diagnosability verification of discrete event systems

Modelling and Control of KRC Systems Using TPN and TA

Contact Info

Product

Resources

About