Abstract
Maintaining modern production machinery requires a significant amount of time and money. Still, plants suffer from expensive production stops and downtime due to faults within individual components. Often, plants are too complex and generate too much data to make manual analysis and diagnosis feasible. Instead, faults often occur unnoticed, resulting in a production stop. It is then the task of highly-skilled engineers to recognise and analyse symptoms and devise a diagnosis. Modern algorithms are more effective and help to detect and isolate faults faster and more precise, thus leading to increased plant availability and lower operating costs.
In this paper we attempt to solve some of the described challenges. We describe a concept for an automated framework for hybrid cyberphysical production systems performing two distinct tasks: 1) fault diagnosis and 2) reconfiguration. For diagnosis, the inputs are connection and behaviour models of the components contained within the system and a model describing their causal dependencies. From this information the framework is able to automatically derive a diagnosis provided a set of known symptoms. Taking the output of the diagnosis as a foundation, the reconfiguration part generates a new configuration, which, if applicable, automatically recovers the plant from its faulty state and resumes production. The described concept is based on predicate logic, specifically Satisfiability-Modulo-Theory. The input models are transformed into logical predicates. These predicates are the input to an implementation of Reiter’s diagnosis algorithm, which identifies the minimum-cardinality diagnosis. Taking this diagnosis, a reconfiguration algorithm determines a possible, alternative control, if existing. Therefore the current system structure described by the connection and component models is analysed and alternative production plans are searched. If such an alternative plan exists, it is transmitted to the control of the system. Otherwise, an error that the system is not reconfigurable is returned.
Chapter PDF
Similar content being viewed by others
References
Die Bundesregierung. Strategie Künstliche Intelligenz der Bundesregierung. 2018.
Judith Crow and John M Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In AAAI, pages 836–841, 1991.
Matthew Daigle, Xenofon Koutsoukos, and Gautam Biswas. A discrete event approach to diagnosis of continuous systems. In Proceedings of the 18th International Workshop on Principles of Diagnosis, pages 259–266, 2007.
.Matthew J Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon D Koutsoukos, Ann Patterson-Hine, and Scott Poll. A comprehensive diagnosis methodology for complex hybrid systems: A case study on spacecraft power distribution systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 40(5):917–931, 2010.
European Factories of the Future Research Association. Multi-Annual Roadmap for the Contractual PPP under HORIZONS 2020, 2013.
Gerhard Fleischanderl, Gerhard E Friedrich, Alois Haselbock, Herwig Schreiner, and Markus Stumptner. Configuring large systems using generative constraint satisfaction. IEEE Intelligent Systems and their applications, 13(4):59–68, 1998.
Martin Fränzle, Holger Hermanns, and Tino Teige. Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. In International Workshop on Hybrid Systems: Computation and Control, pages 172–186. Springer, 2008.
Alban Grastien. Diagnosis of hybrid systems by consistency testing. In 24th International Workshop on Principles of Diagnosis (DX-13), pages 9–14. Citeseer, 2013.
Inseok Hwang, Sungwan Kim, Youdan Kim, and Chze Eng Seah. A survey of fault detection, isolation, and reconfiguration methods. IEEE transactions on control systems technology, 18(3):636–653, 2010.
Hamed Khorasgani and Gautam Biswas. Structural fault detection and isolation in hybrid systems. IEEE Transactions on Automation Science and Engineering, 2017.
Abdessamad Kobi, Samuel Nowakowski, and José Ragot. Fault detection-isolation and control reconfiguration. Mathematics and Computers in Simulation, 37(2-3):111–117, 1994.
Jens Otto, Birgit Vogel-Heuser, and Oliver Niggemann. Automatic parameter estimation for reusable software components of modular and reconfigurable cyberphysical production systems in the domain of discrete manufacturing. IEEE Transactions on Industrial Informatics, 14(1):275–282, 2017.
Om Prakash and AK Samantaray. Model-based diagnosis and prognosis of hybrid dynamical systems with dynamically updated parameters. In Bond Graphs for Modelling, Control and Fault Diagnosis of Engineering Systems, pages 195–232. Springer, 2017.
Gregory Provan. Model abstractions for diagnosing hybrid systems. In Proceedings of the 20th International Workshop on Principles of Diagnosis, DX-09, Stockholm, Sweden, pages 321–328. Citeseer, 2009.
Raymond Reiter. A theory of diagnosis from first principles. Artificial intelligence, 32(1):57–95, 1987.
Indranil Roychoudhury, Matthew J Daigle, Gautam Biswas, and Xenofon Koutsoukos. Efficient simulation of hybrid systems: A hybrid bond graph approach. Simulation, 87(6):467–498, 2011.
Daniel Sabin and Eugene C Freuder. Configuration as composite constraint satisfaction. In Proceedings of the Artificial Intelligence and Manufacturing Research Planning Workshop, pages 153–161. AAAI Press Palo Alto, CA, 1996.
Peter Struss. Fundamentals of model-based diagnosis of dynamic systems. In IJCAI (1), pages 480–485, 1997.
Stefan Windmann, Oliver Niggemann, and Heiko Stichweh. Computation of energy efficient driving speeds in conveying systems. at-Automatisierungstechnik, 66(4):308–319, 2018.
Minjie Zou, Felix Ocker, Edward Huang, Birgit Vogel-Heuser, and Chun-Hung Chen. Design parameter optimization of automated production systems. In 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), pages 359–364. IEEE, 2018.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2021 The Author(s)
About this paper
Cite this paper
Diedrich, A., Balzereit, K., Niggemann, O. (2021). First Approaches to Automatically Diagnose and Reconfigure Hybrid Cyber-Physical Systems. In: Beyerer, J., Maier, A., Niggemann, O. (eds) Machine Learning for Cyber Physical Systems. Technologien für die intelligente Automation, vol 13. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-62746-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-662-62746-4_12
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-62745-7
Online ISBN: 978-3-662-62746-4
eBook Packages: EngineeringEngineering (R0)