ANOMALY DETECTION IN PRODUCTION PLANTS USING TIMED AUTOMATA - Automated Learning of Models from Observations

Alexander Maier, Oliver Niggemann, Roman Just, Michael Jäger, Asmir Vodenčarević

2011

Abstract

Model-based approaches are used for testing and diagnosis of automation systems (e.g. (Struss and Ertl, 2009)). Usually the models are created manually by experts. This is a troublesome and protracted procedure. In this paper we present an approach to overcome these problems: Models are not created manually but learned automatically by observing the plant behavior. This approach is divided into two steps: First we learn the topology of automation components, the signals and logical submodules and the knowledge about parallel components. In a second step, a behavior model is learned for each component. Later on, anomalies are detected by comparing the observed system behavior with the behavior predicted by the learned model.

References

  1. Angluin, D. (1987). Learning regular sets from queries and counterexamples. Inf. Comp., pages 75(2):87-106.
  2. Angluin, D. (1987). Learning regular sets from queries and counterexamples. Inf. Comp., pages 75(2):87-106.
  3. AutomationML (2010). www.automationml.org.
  4. AutomationML (2010). www.automationml.org.
  5. Cabasino, M. P., Giua, A., and Seatzu, C. (2007). Identification of petri nets from knowledge of their language. Discrete Event Dynamic Systems, 17:447-474.
  6. Cabasino, M. P., Giua, A., and Seatzu, C. (2007). Identification of petri nets from knowledge of their language. Discrete Event Dynamic Systems, 17:447-474.
  7. Carrasco, R. C. and Oncina, J. (1999). Learning deterministic regular grammars from stochastic samples in polynomial time. In RAIRO (Theoretical Informatics and Applications), page 33(1):120.
  8. Carrasco, R. C. and Oncina, J. (1999). Learning deterministic regular grammars from stochastic samples in polynomial time. In RAIRO (Theoretical Informatics and Applications), page 33(1):120.
  9. Hashtrudi Zad, S., Kwong, R., and Wonham, W. (2003). Fault diagnosis in discrete-event systems: framework and model reduction. Automatic Control, IEEE Transactions on, 48(7):1199 - 1212.
  10. Hashtrudi Zad, S., Kwong, R., and Wonham, W. (2003). Fault diagnosis in discrete-event systems: framework and model reduction. Automatic Control, IEEE Transactions on, 48(7):1199 - 1212.
  11. Kumar, B., Niggemann, O., and Jasperneite, J. (2010). Statistical models of network traffic. In International Conference on Computer, Electrical and Systems Science,. Cape Town, South Africa.
  12. Kumar, B., Niggemann, O., and Jasperneite, J. (2010). Statistical models of network traffic. In International Conference on Computer, Electrical and Systems Science,. Cape Town, South Africa.
  13. Lunze, J., Schröder, J., and Supavatanakul, P. (2001). Diagnosis of discrete event systems: the method and an example. In Proceedings of the Workshop on Principles of Diagnosis, DX'01, pages 111-118, Via Lattea, Italy.
  14. Lunze, J., Schröder, J., and Supavatanakul, P. (2001). Diagnosis of discrete event systems: the method and an example. In Proceedings of the Workshop on Principles of Diagnosis, DX'01, pages 111-118, Via Lattea, Italy.
  15. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1994). Diagnosability of discrete event systems. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, volume 199 of Lecture Notes in Control and Information Sciences, pages 73-79. Springer Berlin / Heidelberg.
  16. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1994). Diagnosability of discrete event systems. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, volume 199 of Lecture Notes in Control and Information Sciences, pages 73-79. Springer Berlin / Heidelberg.
  17. Struss, P. and Ertl, B. (2009). Diagnosis of bottling plants - first success and challenges. In 20th International Workshop on Principles of Diagnosis, Stockholm, Stockholm, Sweden.
  18. Struss, P. and Ertl, B. (2009). Diagnosis of bottling plants - first success and challenges. In 20th International Workshop on Principles of Diagnosis, Stockholm, Stockholm, Sweden.
  19. Supavatanakul, P., Lunze, J., Puig, V., and Quevedo, J. (2006). Diagnosis of timed automata: Theory and application to the damadics actuator benchmark problem. Control Engineering Practice, 14(6):609-619.
  20. Supavatanakul, P., Lunze, J., Puig, V., and Quevedo, J. (2006). Diagnosis of timed automata: Theory and application to the damadics actuator benchmark problem. Control Engineering Practice, 14(6):609-619.
  21. Thollard, F., Dupont, P., and de la Higuera, C. (2000). Probabilistic dfa inference using kullback-leibler divergence and minimality. In Proc. 17th International Conf. on Machine Learning, pages 975-982. Morgan Kaufmann.
  22. Thollard, F., Dupont, P., and de la Higuera, C. (2000). Probabilistic dfa inference using kullback-leibler divergence and minimality. In Proc. 17th International Conf. on Machine Learning, pages 975-982. Morgan Kaufmann.
  23. Tripakis, S. (2002). Fault diagnosis for timed automata. In FTRTFT, pages 205-224.
  24. Tripakis, S. (2002). Fault diagnosis for timed automata. In FTRTFT, pages 205-224.
  25. Verwer, S. (2010). Efficient Identification of Timed Automata: Theory and Practice. PhD thesis, Delft University of Technology.
  26. Verwer, S. (2010). Efficient Identification of Timed Automata: Theory and Practice. PhD thesis, Delft University of Technology.
Download


Paper Citation


in Harvard Style

Maier A., Niggemann O., Just R., Jäger M. and Vodenčarević A. (2011). ANOMALY DETECTION IN PRODUCTION PLANTS USING TIMED AUTOMATA - Automated Learning of Models from Observations . In Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-8425-74-4, pages 363-369. DOI: 10.5220/0003538903630369


in Harvard Style

Maier A., Niggemann O., Just R., Jäger M. and Vodenčarević A. (2011). ANOMALY DETECTION IN PRODUCTION PLANTS USING TIMED AUTOMATA - Automated Learning of Models from Observations . In Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-8425-74-4, pages 363-369. DOI: 10.5220/0003538903630369


in Bibtex Style

@conference{icinco11,
author={Alexander Maier and Oliver Niggemann and Roman Just and Michael Jäger and Asmir Vodenčarević},
title={ANOMALY DETECTION IN PRODUCTION PLANTS USING TIMED AUTOMATA - Automated Learning of Models from Observations},
booktitle={Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2011},
pages={363-369},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003538903630369},
isbn={978-989-8425-74-4},
}


in Bibtex Style

@conference{icinco11,
author={Alexander Maier and Oliver Niggemann and Roman Just and Michael Jäger and Asmir Vodenčarević},
title={ANOMALY DETECTION IN PRODUCTION PLANTS USING TIMED AUTOMATA - Automated Learning of Models from Observations},
booktitle={Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2011},
pages={363-369},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003538903630369},
isbn={978-989-8425-74-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - ANOMALY DETECTION IN PRODUCTION PLANTS USING TIMED AUTOMATA - Automated Learning of Models from Observations
SN - 978-989-8425-74-4
AU - Maier A.
AU - Niggemann O.
AU - Just R.
AU - Jäger M.
AU - Vodenčarević A.
PY - 2011
SP - 363
EP - 369
DO - 10.5220/0003538903630369


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - ANOMALY DETECTION IN PRODUCTION PLANTS USING TIMED AUTOMATA - Automated Learning of Models from Observations
SN - 978-989-8425-74-4
AU - Maier A.
AU - Niggemann O.
AU - Just R.
AU - Jäger M.
AU - Vodenčarević A.
PY - 2011
SP - 363
EP - 369
DO - 10.5220/0003538903630369