Selected reflections on formal modeling in Industry 4.0 | Zendy

Mariusz Kostrzewski | Zendy; N. Chamier-Gliszczyński | Zendy; Tomasz Królikowski | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Selected reflections on formal modeling in Industry 4.0

Author(s) -

Mariusz Kostrzewski,

N. Chamier-Gliszczyński,

Tomasz Królikowski

Publication year - 2020

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2020.09.118

Subject(s) - computer science , formal methods , data science , software engineering

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research