32 citations · 126 across the 16 of their papers we have counts for
8 papers · 1 filter
Representing Timed Automata and Timing Anomalies of Cyber-Physical Production Systems in Knowledge Graphs
Tom Westermann, Milapji Singh Gill, Alexander Fay
Model-Based Anomaly Detection has been a successful approach to identify deviations from the expected behavior of Cyber-Physical Production Systems. Since manual creation of these…
Structural Analysis of GRAFCET Control Specifications
Aron Schnakenbeck, Robin Mroß, Marcus Völker +2
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a structural analysis that approximates the var…
Integration of Domain Expert-Centric Ontology Design into the CRISP-DM for Cyber-Physical Production Systems
Milapji Singh Gill, Tom Westermann, Marvin Schieseck +1
In the age of Industry 4.0 and Cyber-Physical Production Systems (CPPSs) vast amounts of potentially valuable data are being generated. Methods from Machine Learning (ML) and Data…
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review
Robin Mroß, Aron Schnakenbeck, Marcus Völker +2
IEC 60848 GRAFCET is a standardized, graphical specification language for control functions. Because of the semiformal nature of IEC 60848, the details of specifications created wi…
Systematic Comparison of Software Agents and Digital Twins: Differences, Similarities, and Synergies in Industrial Production
Lasse Matthias Reinpold, Lukas Peter Wagner, Felix Gehlhoff +7
To achieve a highly agile and flexible production, it is envisioned that industrial production systems gradually become more decentralized, interconnected, and intelligent. Within…
Toward a Mapping of Capability and Skill Models using Asset Administration Shells and Ontologies
Luis Miguel Vieira da Silva, Aljosha Köcher, Milapji Singh Gill +2
In order to react efficiently to changes in production, resources and their functions must be integrated into plants in accordance with the plug and produce principle. In this cont…
A Graphical Modeling Language for Artificial Intelligence Applications in Automation Systems
Marvin Schieseck, Philip Topalis, Alexander Fay
Artificial Intelligence (AI) applications in automation systems are usually distributed systems whose development and integration involve several experts. Each expert uses its own…
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
Aron Schnakenbeck, Robin Mroß, Marcus Völker +2
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a static analysis approach based on the control…