Abstract
Cyber-Physical Production Systems (CPPS) are highly complex systems, making the application of AI planning approaches for production planning challenging. Most AI planning approaches require comprehensive domain descriptions, which model the functional dependencies within the CPPS. Though, due to their high complexity, creating such domain descriptions manually is considered difficult, tedious, and error-prone. Therefore, we propose a novel generic planning approach, which can integrate mathematical formulas or Machine Learning models into a symbolic SMT-based planning algorithm, thus shedding the need for complex manually created models. Our approach uses a feature-vector-based state-space representation as an interface of symbolic and sub-symbolic AI, and can identify a solution to CPPS planning problems by determining the required production steps, their sequence, and their parametrization. We evaluate our approach on twelve planning problems from a real CPPS, demonstrating its ability to express complex dependencies within production steps as mathematical formulas or integrating ML models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baheti, R., Gill, H.: Cyber-physical systems. Impact control technol 12(1), 161–166 (2011)
Balzereit, K., Niggemann, O.: Gradient-based reconfiguration of cyber-physical production systems. In: 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), pp. 125–131 (2021)
Bampoula, X., Siaterlis, G., Nikolakis, N., Alexopoulos, K.: A deep learning model for predictive maintenance in cyber-physical production systems using LSTM autoencoders. Sensors 21(3), 972 (2021)
Bit-Monnot, Arthur, Leofante, Francesco, Pulina, Luca, Tacchella, Armando: SMT-based Planning for Robots in Smart Factories. In: Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis (eds.) IEA/AIE 2019. LNCS (LNAI), vol. 11606, pp. 674–686. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-22999-3_58
Bofill, M., Espasa, J., Villaret, M.: The rantanplan planner: system description. Knowl. Eng. Rev. 31(5), 452–464 (2016)
Cashmore, M., Fox, M., Long, D., Magazzeni, D.: A compilation of the full PDDL+ language into SMT. In: Workshops at the Thirtieth AAAI Conference on Artificial Intelligence (2016)
Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R., et al.: Handbook of model checking, vol. 10. Springer (2018)
Diedrich, A., Maier, A., Niggemann, O.: Model-based diagnosis of hybrid systems using satisfiability modulo theory. In: Proceedings of the AAAI Conference on Artificial Intelligence. vol. 33, pp. 1452–1459 (2019)
Ghallab, M., et al.: PDDL-the planning domain definition language (1998)
Grand, M., Pellier, D., Fiorino, H.: TempAMLSI: temporal action model learning based on STRIPS translation. Proc. Int. Conf. Autom Planning Sched. 32, 597–605 (2022)
Grand, M., Pellier, D., Fiorino, H.: Tempamlsi: Temporal action model learning based on strips translation. In: Proceedings of the International Conference on Automated Planning and Scheduling. vol. 32, pp. 597–605 (2022)
Hoffmann, J., Gomes, C.P., Selman, B., Kautz, H.A.: Sat encodings of state-space reachability problems in numeric domains. In: IJCAI, pp. 1918–1923 (2007)
Jarvenpaa, E., Siltala, N., Lanz, M.: Formal resource and capability descriptions supporting rapid reconfiguration of assembly systems. In: 2016 IEEE Int. Symp. Assembly Manuf. (ISAM). IEEE (Aug 2016)
Kagermann, H., Helbig, J., Hellinger, A., Wahlster, W.: Recommendations for implementing the strategic initiative INDUSTRIE 4.0: Securing the future of German manufacturing industry; final report of the Industrie 4.0 Working Group. Forschungsunion (2013)
Kautz, H., Selman, B.: Planning as Satisfiability. In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI 92) (1992)
Köcher, A., et al.: A research agenda for ai planning in the field of flexible production systems. In: 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS), pp. 1–8 (2022)
Krantz, M., et al.: FliPSi: Generating data for the training of machine learning algorithms for CPPS. In: Annual Conference of the PHM Society. vol. 14 (2022)
Lee, J., Noh, S.D., Kim, H.J., Kang, Y.S.: Implementation of cyber-physical production systems for quality prediction and operation control in metal casting. Sensors 18(5), 1428 (2018)
Li, P., Niggemann, O.: Non-convex hull based anomaly detection in CPPS. Eng. Appl. Artif. Intell. 87, 103301 (2020)
Monostori, L.: Cyber-physical Production Systems: Roots. Expect. R &D Challenges. Procedia CIRP 17, 9–13 (2014)
Mordoch, A., Juba, B., Stern, R.: Learning safe numeric action models. In: Proceedings of the AAAI Conference on Artificial Intelligence. vol. 37, pp. 12079–12086 (2023)
de Moura, Leonardo, Bjørner, Nikolaj: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.. R.., Rehof, Jakob (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78800-3_24
Murphy, K.P.: Probabilistic machine learning: an introduction. MIT press (2022)
Niggemann, O., Frey, C.: Data-driven anomaly detection in cyber-physical production systems. at - Automatisierungstechnik 63(10), 821–832 (2015)
Russell, S.J., Norvig, P.: Artificial intelligence: A modern approach. Pearson Series in Artificial Intelligence, Pearson, Hoboken, fourth edition EDN. (2021)
Scala, E., Ramirez, M., Haslum, P., Thiébaux, S.: Numeric planning with disjunctive global constraints via SMT. In: Twenty-Sixth International Conference on Automated Planning and Scheduling (2016)
Strobel, Volker, Kirsch, Alexandra: MyPDDL: Tools for Efficiently Creating PDDL Domains and Problems. In: Vallati, Mauro, Kitchin, Diane (eds.) Knowledge Engineering Tools and Techniques for AI Planning, pp. 67–90. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-38561-3_4
Acknowledgements
This research as part of the projects EKI and LaiLa is funded by dtec.bw - Digitalization and Technology Research Center of the Bundeswehr which we gratefully acknowledge. dtec.bw is funded by the European Union - NextGenerationEU.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Heesch, R., Ehrhardt, J., Niggemann, O. (2024). Integrating Machine Learning into an SMT-Based Planning Approach for Production Planning in Cyber-Physical Production Systems. In: Nowaczyk, S., et al. Artificial Intelligence. ECAI 2023 International Workshops. ECAI 2023. Communications in Computer and Information Science, vol 1948. Springer, Cham. https://doi.org/10.1007/978-3-031-50485-3_33
Download citation
DOI: https://doi.org/10.1007/978-3-031-50485-3_33
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-50484-6
Online ISBN: 978-3-031-50485-3
eBook Packages: Computer ScienceComputer Science (R0)