Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals
暂无分享,去创建一个
Winfried Lamersdorf | Alexander Fay | Jan Ladiges | Christopher Haubeck | W. Lamersdorf | C. Haubeck | J. Ladiges | A. Fay
[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.