An axiomatic universe for industry 4

  • Hanna Jonasdottir

Student thesis: Doctoral Thesis


Since its emergence in 2011, Industry 4.0 aims to maximise productivity and efficiency in manufacturing and has gained momentum, both in academy as well as in industry. Many frameworks and international initiatives have been proposed for the implementation of Industry 4. However, research shows that industry is facing difficulties with implementing this concept and a formal definition of Industry 4 has not yet been agreed upon. To address these issues, this Thesis proposes a formal logic framework for the implementation of Industry 4 as formal logic enables rigours construction and explanation of a concept. Moreover, formal logic allows for automation of the framework.;The framework is based on a thorough literature review and its analysis where the key characteristics of Industry 4 are identified. The framework uses an axiomatic approach to formalise Industry 4. An expert system for practical applications of the framework is presented. The expert system enables an automatic inference of the rules and is used for part of the evaluation of the framework. The soundness, completeness, utility and applicability of the framework are evaluated by an academic expert and through two case studies. The outcome of the evaluation was used to refine the framework.;The evaluation revealed that the framework features the key characteristics of Industry 4 in a manufacturing setting and can successfully be applied to manufacturing organisations as well as devices. The findings of the evaluation support the research question, that is whether Industry 4 can be described with formal logic to identify the key components that should be considered before Industry 4 is implemented. The framework for this Thesis will guide industry with the implementation of Industry 4. Future work includes, for example, incorporating more elements of Industry 4 that were not within the scope of the Thesis and further developing the application software.
Date of Award12 Jan 2021
Original languageEnglish
Awarding Institution
  • University Of Strathclyde
SponsorsUniversity of Strathclyde
SupervisorJorn Mehnen (Supervisor) & William Ion (Supervisor)

Cite this