Identification and Anomaly Detection for PLC Controlled Automatic Tool Changer Using Timed Petri Net

2007 ◽  
Author(s):  
Jianbo Liu ◽  
Dragan Djurdjanovic ◽  
Jun Ni
Keyword(s):  
Anomaly Detection ◽  
Petri Net ◽  
Detection System ◽  
Discrete Event ◽  
Diagnostic System ◽  
Event Sequence ◽  
Actual System ◽  
Timed Petri Net ◽  
Automatic Tool Changer ◽  
Changing Process

In this paper, a new method is proposed for incremental identification of Programmable Logic Controller (PLC) controlled tool changing process using available binary event logs obtained from the PLC. The identified discrete event model identified takes the form of a modified Timed Petri Net (TPN). A real time anomaly detection system is then constructed by synchronizing the identified TPN model with the actual tool changing process through the event sequence. Any discrepancies between the model and actual system are recognized as anomalies. The test results show that the diagnostic system automatically constructed using the newly proposed procedure is able to detect anomalies, such as incorrect timing and illegal event sequence. The same procedure has been successfully applied to monitor other PLC controlled automation processes.

scholarly journals A Conversion Method from an ETSC to a Timed Petri Net to Improve the Matrix-based Discrete Event Controller and its Unified Support System

2013 ◽  
Vol 22 ◽  
pp. 467-476
Author(s):  
Hisaaki Yamaba ◽  
Shoichiro Kitano ◽  
Kayoko Takatsuka ◽  
Tetsuro Katayama ◽  
Naonobu Okazaki ◽  
...  
Keyword(s):  
Support System ◽  
Petri Net ◽  
Discrete Event ◽  
Timed Petri Net ◽  
Conversion Method ◽  
The Matrix

scholarly journals Design and Development of Fault Detection System in Production Line Monitoring at UJAS Electrical Private Limited

2021 ◽  
Vol 9 (VI) ◽  
pp. 5496-5500
Author(s):  
Sagar Y. Patil
Keyword(s):  
Fault Detection ◽  
Petri Nets ◽  
Petri Net ◽  
Production System ◽  
Production Line ◽  
Detection System ◽  
Discrete Event ◽  
Process Efficiency ◽  
Potential System ◽  
Simulation Results

The goal of this research is to provide a method for analyzing process efficiency that uses a combination of Petri nets and Flexsim software to resolve a typical discrete event in a workshop production system. This study, in particular, use Petri net theory to represent the event, followed by the usage of Flexsim software to interactively simulate the Petri-net based model, providing the system bottleneck intuitive and visible. Furthermore, it achieves the goal of increasing the efficiency of the system process by upgrading the system objects. In comparison to the previous way, the simulation results suggest that new method can immediately identify potential system faults. The efficiency is considerably increased as a result of this strategy. This research improves the efficiency of production line by reduction in idle percentage and improvement in processing percentage.

Based on Synchronized Timed Petri Nets for Emergency Vehicle Preemption Systems

2011 ◽  
Vol 291-294 ◽  
pp. 2775-2778 ◽  
Author(s):  
Yi Sheng Huang ◽  
Yi Shun Weng
Keyword(s):  
Control System ◽  
Petri Net ◽  
Discrete Event ◽  
Discrete Event Dynamic Systems ◽  
Emergency Vehicle ◽  
Two Phase ◽  
Timed Petri Net ◽  
Traffic Lights ◽  
Event Dynamic ◽  
Clear Presentation

Timed Petri net (TPN) has been utilized as a visual formalism for the modeling of complex discrete event dynamic systems. It illuminates the features on describing properties of causality and concurrency. Moreover, it is well-known that synchronized timed Petri net (STPN) allows us to present all of the concurrent states in complex TPN. In this paper, we propose a new methodology to design, analyze and implement an urban emergency vehicle preemption control system by using STPN. The applications of STPN to two-phase traffic lights and emergency vehicle preemption are illustrated. The advantage of the proposed approach is the clear presentation of traffic lights’ behaviors in terms of conditions and events that cause the preemption phases alternations. Finally, a two-phase traffic lights control system with emergency vehicle preemption will be realized by using STPN. To our knowledge, this is the first work that employs STPN to model a two-phase traffic lights control system with emergency vehicle preemption system.

Nonlinear observer for distributed parameter systems described by decoupled advection equations

2016 ◽  
Vol 23 (7) ◽  
pp. 1152-1165
Author(s):  
Niloofar N Kamran ◽  
Sergey V Drakunov ◽  
Wanda M Solano
Keyword(s):  
Anomaly Detection ◽  
Lyapunov Stability ◽  
Sliding Mode ◽  
Detection System ◽  
Nonlinear Observer ◽  
Advection Equation ◽  
Actual System ◽  
Mode Method ◽  
Boundary Measurements ◽  
Anomaly Detection System

In this paper a nonlinear observer for a class of partial differential equations known as the advection equation is designed. The observer, that uses only boundary measurements, is developed based on the sliding mode method. The convergence of states of the observer to the actual system, in spite of possible mismatches between the model and the system, is proven through the Lyapunov stability techniques. In addition, a sliding mode method is employed to design an anomaly detection system that is able to identify parameters of the disturbance in the system such as intensity and location. The Lyapunov stability theorem has been used in order to guarantee the convergence of the anomaly detection system. The applications of observer and anomaly detector are illustrated through simulation.

Sign in / Sign up

Export Citation Format

Share Document