Selected reflections on formal modeling in Industry 4.0
Mariusz Kostrzewski, Norbert Chamier-Gliszczyński, Tomasz Królikowski
Abstract
This paper aims in a brief literature review of three main methods of formal modeling applied in Industry 4.0 research, namely simulation, numerical and analytical ones. Methodology and assumptions based on the literature study implement quantitative tools and graph mapping. Selected results focus on quantity of publications of different types, citations and various researchers’ productivity. These results aim to determine which method of modeling may be of particular interest for the future research.
Topics & Concepts
Computer scienceFormal methodsData scienceSoftware engineeringDigital Transformation in IndustryInformation Systems and Technology ApplicationsEngineering Technology and Methodologies