Monitoring systems modeling and analysis using fuzzy Petri nets (original) (raw)

Fuzzy Petri nets for monitoring and recovery

2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422), 2003

In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuzzy logic modeling and analysis methods. In this context, we propose a new fuzzy Petri net called Fuzzy Reasoning Petri Net: the FRPN. The modeling consists in a set of two collaborative FRPN. The first is used for the fault dynamic state of the system by temporal spectrum of the marking. A monitoring fuzzy Petri net (MFPN) represents the fault tree. The second model, the recovery fuzzy Petri net (RFPN) corresponds to recovering activities. The two proposed models form a dynamic loop for production system monitoring and recovery. Production system is supposed to be modelized using temporal Petri nets, with the assumption that the primary fault symptoms are detected. These symptoms are considered in the MFPN and evolve according to all other derived faults of the system. Synchronizing signals, corresponding to different warning levels and alarms, form the interface between these two tools.

Fuzzy Based Petri Nets for the production Systems Diagnosis

2002

The article propose a solution for the improvement of the production systems diagnosis using fuzzy based temporal networks for the detection function for local level. One uses the description of an event by linguistic variable, also by defining of the variables by fuzzy sets. The proposed model also allows an optimization for the command function from this level or sending back of the command network for the incorrigible failures.

Fault monitoring of discrete event systems by first order hybrid Petri nets

2008

Abstract—Fault monitoring is an essential requirement for safety and reliability of dynamic systems. Motivated by the fact that a large class of dynamic systems can be viewed as Discrete Event Systems (DESs) at some level of abstraction, the paper presents a novel event-based approach for DES on-line monitoring, ensuring timely and accurate detection of system failures. The monitor model is based on first order hybrid Petri nets, ie, Petri nets that make use of first order fluid approximation.

Fault Diagnosis Using Petri Nets: a case study

2012

The motivation of this work is to ensure that a Discrete Event System continues working after a fault occurs, since some systems, like power plants, should not stop working because they can generate service interruptions that cause severe economic impacts and even dangers. So, the interest of this paper is to analyze the Discrete Event System model to detect faults using Interpreted Petri nets and here is presents a case study about how can be uses a diagnosis scheme in order to identify if there exists a fault, considering permanent and control faults that are modeled with Petri nets.

A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism

2011

Abstract Fault monitoring is an essential requirement for safety and reliability of industrial systems. The paper presents a novel event-based online monitoring technique for automated manufacturing systems, ensuring timely and accurate detection of system failures. The monitor model is based on first-order hybrid Petri nets, ie, Petri nets that make use of first-order fluid approximation.

Failure components detection in discrete event systems modeled by Petri net

3rd International Conference on Systems and Control, 2013

This paper addresses the problem of fault diagnosis in discrete event systems (DES) modeled by Petri nets with outputs, i.e., Petri net (PN) with place sensors and transition sensors. The PN is used in order to give a functional and dysfunctional modeling of the system studied. In the dysfunctional modeling, places represent the failure mode and transitions represent the conditions that led a system to a failure mode. These Places and transitions are modeled as unobservable places and transitions. Therefore, a new method based on an Unknown Input Observer (UIO) is proposed to detect the failure mode functioning as well as the instants of the occurrence of these faults in DES modeled by PN. The sufficient conditions for the existence of the observer are also given. Finally, a simple photovoltaic system will be considered as an example to show the effectiveness of the proposed approach.

Fault-Recovery and Repair Modeling of Discrete Event Systems Using Petri Nets

Fault-Recovery and Repair Modeling of Discrete Event Systems Using Petri Nets, 2020

Despite advances in automated manufacturing systems (AMSs), faults occur from time to time, which cannot be avoided in a complex real system. A fault is one of the primary causes of failures making some AMS operations unable to complete, and the diagnosis is one of the most important steps in fault-recovery and repair. This work develops a methodology for investigating the behavior of faults on the resources in discrete event systems that are failure-prone. We tackle the fault-tolerant problem and propose a method to make the system able to continue performing its duties, while the failed resources are under a repair and recovery process. In this work, a failure-safe model is proposed and, at the same time, a method for fault recovery and repair of a faulty element is presented without interrupting task processing due to the occurrence of fault to some elements. We use redundant elements to replace the target elements, and these redundant elements are used to do the same work as the target elements do, when faults occur to the target elements. A target element is an unreliable element that is prone to failure. After a faulty target element is repaired and recovered, its failure model is automatically replaced by its repaired model to indicate that the corresponding element has returned to work. The proposed method is tested using an application example. The results show, compared with those obtained by the studies in the literature, that the proposed method has a great performance and outperforms the existing studies.

Failures in discrete-event systems and dealing with them by means of Petri nets

Vietnam Journal of Computer Science, 2018

An approach based on Petri nets pointing to the manner how to deal with failures in discrete-event systems is presented. It uses the reachability tree and/or reachability graph of the Petri net-based model of the real system as well as the synthesis of a supervisor to remove the possible deadlock(s). To illustrate the applicability of the approach to the detection and recovery of failures in DES modelled by Petri nets the case study on a railroad crossing is introduced.

Detection and treatment of faults in manufacturing systems based on Petri Nets

Journal of the Brazilian Society of Mechanical Sciences and Engineering, 2004

This paper introduces a methodology for modeling and analyzing fault-tolerant manufacturing systems that not only optimizes normal productive processes, but also performs detection and treatment of faults. This approach is based on the hierarchical and modular integration of Petri Nets. The modularity provides the integration of three types of processes: those representing the productive process, fault detection, and fault treatment. The hierarchical aspect of the approach permits us to consider processes on different levels of detail (i.e. factory, manufacturing cell, or machine). Case studies considering detection and treatment of faults are presented, and a simulation tool is applied for verifying the models.

Fault Diagnosis in Discrete Event Systems Using Interpreted Petri Nets

Advances in Robotics, Automation and Control, 2008

Diagnosability property and fault detection schemes have been widely addressed on centralized approaches using the global model of the Discrete Event System (DES). Roughly speaking, diagnosability is the property of determining if using the system model is possible to detect and locate the faulty states in a finite number of steps. In the works (Sampath, et al., 1995) and (Sampath, et al., 1996), a method for modeling a DES using finite automata is proposed; based on this model, a diagnoser is derived. The cycles in the diagnoser are used to determine when the DES is diagnosable. Recently, fault diagnosis of DES has been addressed through a distributed approach allowing breaking down the complexity when dealing with large and complex systems