Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals

Abstract Learning behavior models out of event traces has been tackled in a wide variety of scientific projects and publications. Usually the resulting models are used for fault detection, reengineering, and analysis. But in practical applications, like monitoring, learned models can show high complexity and permissivity which makes it difficult to use these models and results tend to be ambiguous. Therefore, this paper defines so called Machine State Petri Nets (MSPN) with the aim of being generated out of recorded event traces and exploit additional information of the system to reduce the permissivity. An already existing learning algorithm has been extended by exploiting some facts common for most practical applications. An example shows how these adaptations improve the base algorithm regarding the aforementioned requirements.

[1]  Benno Stein,et al.  Learning Behavior Models for Hybrid Timed Systems , 2012, AAAI.

[2]  Leonardo Mariani,et al.  Inferring state-based behavior models , 2006, WODA '06.

[3]  A. Nerode,et al.  Linear automaton transformations , 1958 .

[4]  Jean-Jacques Lesage,et al.  Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems , 2010, Proceedings of the 2010 American Control Conference.

[5]  Jurgen Lange,et al.  OPC : From Data Access to Unified Architecture , 2010 .

[6]  Leonardo Mariani,et al.  Automated Identification of Failure Causes in System Logs , 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

[7]  Dimitri Lefebvre,et al.  Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[8]  Chris Aldrich,et al.  Unsupervised Process Monitoring and Fault Diagnosis with Machine Learning Methods , 2013, Advances in Computer Vision and Pattern Recognition.

[9]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[10]  Andreas Grimmer,et al.  Behavioral model synthesis of PLC programs from execution traces , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[11]  Lothar Litz,et al.  Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[12]  Hans Kleine Büning,et al.  Using behavior models for anomaly detection in hybrid systems , 2011, 2011 XXIII International Symposium on Information, Communication and Automation Technologies.

[13]  Winfried Lamersdorf,et al.  Operationalized definitions of non-functional requirements on automated production facilities to measure evolution effects with an automation system , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[14]  Rolf Isermann,et al.  Fault-diagnosis systems : an introduction from fault detection to fault tolerance , 2006 .

[15]  Dawn M. Tilbury,et al.  Anomaly Detection Using Model Generation for Event-Based Systems Without a Preexisting Formal Model , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[16]  Birgit Vogel-Heuser,et al.  Challenges for Software Engineering in Automation , 2014 .

[17]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[18]  Winfried Lamersdorf,et al.  Evolution of production facilities and its impact on non-functional requirements , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

[19]  James R. Larus,et al.  Mining specifications , 2002, POPL '02.