Anomaly detection using model generation for event-based systems without a preexisting formal model

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 42, Issue 3, 2012, Pages 654-668

  Allen, Lindsay V ^a   Tilbury, Dawn M ^b  

^a CREARE INC   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Discrete event systems; fault diagnosis; modeling; Petri nets

Indexed keywords

ANOMALY DETECTION; EVENT STREAMS; EVENT-BASED SYSTEM; FORMAL MODEL; MODEL GENERATION; PERFORMANCE OF SYSTEMS; SHARED RESOURCES; WORKFLOW MINING;

DISCRETE EVENT SIMULATION; FAILURE ANALYSIS; FAULT DETECTION; MODELS; PETRI NETS; SOFTWARE ARCHITECTURE;

PROGRAM DEBUGGING;

EID: 84860165830     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2011.2170418     Document Type: Article

References (22)

1. S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. Upper Saddle River, NJ: Pearson Education Inc., 2003, ch. 18.
2. T. Hastie, R. Tibshirani, and J. Friedman, The Elements of Statistical Learning: Data Mining, Inference, and Prediction. New York: Springer Science+Business Media Inc., 2001.
3. R. Isermann, Fault-Diagnosis Systems: An Introduction from Fault Detection to Fault Tolerance. Berlin, Germany: Springer-Verlag, 2006, pt. II.
4. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
5. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
6. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Tenketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Control Syst. Technol., vol. 4, no. 2, pp. 105-124, Mar. 1996.
7. C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using Petri net embeddings," in Proc. LNCS: Appl. Theory Petri Nets, 1999, vol. 1639, pp. 188-207.
8. S. Klein, L. Litz, and J.-J. Lesage, "Fault detection of discrete event systems using an identification approach," in Proc. 16th IFAC World Congr., Prague, Czech Republic, 2005.
9. M. Roth, J. J. Lesage, and L. Litz, "Distributed identification of concurrent discrete event systems for fault detection purposes," in Proc. Eur. Control Conf., Budapest, Hungary, 2009.
10. D. Lefebvre and E. Leclercq, "Stochastic Petri net identification for the fault detection and isolation of discrete event systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 213-225, Mar. 2011.
11. M. P. Cabasino, A. Giua, and C. Seatzu, "Identification of Petri nets from knowledge of their language," Discrete Event Dyn. Syst., vol. 17, no. 4, pp. 447-474, Dec. 2007.
12. M. Dotoli, M. P. Fanti, and A. M. Mangini, "Real time identification of discrete event systems using Petri nets," Automatica, vol. 44, no. 5, pp. 1209-1291, May 2008.
13. M. E. Meda-Campana and E. Lopez-Mellado, "Incremental synthesis of Petri net models for identification of discrete event systems," in Proc. 41st IEEE Conf. Decision Control, Guadalajara, Spain, 2002, pp. 805-810.
14. W. van der Aalst, T. Weijters, and L. Maruster, "Workflow mining: Discovering processmodels from event logs," IEEE Trans. Knowl. Data Eng., vol. 16, no. 9, pp. 1128-1142, Sep. 2004.
15. J. E. Cook and A. L. Wolf, "Discovering models of software processes from event-based data," ACM Trans. Softw. Eng. Methodol., vol. 7, no. 3, pp. 215-249, Jul. 1998.
16. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
17. H. Hu, Z. Li, and A. Wang, "Mining of flexible manufacturing system using work event logs and Petri nets," in Proc. LNCS: Adv. Data Mining Appl., 2006, vol. 4093, pp. 380-387.
18. Y. Wang, H. Liao, S. Reveliotis, T. Kelly, S. Mahlke, and S. Lafortune, "Gadara nets:Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software," in Proc. Joint 48th IEEE Conf. Decision Control, Shanghai, China, 2009, pp. 4971-4976.
19. L. V. Allen, "Verification and anomaly detection for event-based control of manufacturing systems," Ph.D. dissertation, EECS, Univ. Michigan, Ann Arbor, MI, 2010.
20. A. K. A. de Medeiros, B. F. van Dongen, W. M. P. van der Aalst, and A. J. M. M. Weijters, Process Mining: Extending the α-Algorithm to Mine Short Loops. Available: Prom.win.tue.nl
21. J. Moyne, J. Korsakas, and D. Tilbury, "Reconfigurable Factory Testbed (RFT): A distributed testbed for reconfigurable manufacturing systems," in Proc. Japan-USA Symp. Flexible Autom., Denver, CO, 2004, pp. 1-8.
22. L. V. Allen and D.M. Tilbury, "Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice," in Proc. 6th IEEE Conf. Autom. Sci. Eng., Toronto, ON, Canada, 2010, pp. 426-432.