16 citations · 21 across the 12 of their papers we have counts for
12 papers
Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants
Hamied Nabizada, Lasse Beers, Alain Chahine +3
Engineering models created in Model-Based Systems Engineering (MBSE) environments contain detailed information about system structure and behavior. However, they typically lack sym…
Consistency Verification in Ontology-Based Process Models with Parameter Interdependencies
Tom Jeleniewski, Hamied Nabizada, Jonathan Reif +2
The formalization of process knowledge using ontologies enables consistent modeling of parameter interdependencies in manufacturing. These interdependencies are typically represent…
Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
Hamied Nabizada, Tom Jeleniewski, Lasse Beers +3
This paper presents a SysML profile that enables the direct integration of planning semantics based on the Planning Domain Definition Language (PDDL) into system models. Reusable s…
Representing Time-Continuous Behavior of Cyber-Physical Systems in Knowledge Graphs
Milapji Singh Gill, Tom Jeleniewski, Felix Gehlhoff +1
Time-continuous dynamic models are essential for various Cyber-Physical System (CPS) applications. To ensure effective usability in different lifecycle phases, such behavioral info…
Automatic Mapping of AutomationML Files to Ontologies for Graph Queries and Validation
Tom Westermann, Malte Ramonat, Johannes Hujer +2
AutomationML has seen widespread adoption as an open data exchange format in the automation domain. It is an open and vendor neutral standard based on the extensible markup languag…
Exploring LLMs for Verifying Technical System Specifications Against Requirements
Lasse M. Reinpold, Marvin Schieseck, Lukas P. Wagner +2
Requirements engineering is a knowledge intensive process and crucial for the success of engineering projects. The field of knowledge-based requirements engineering (KBRE) aims to…
Semantic model for the description of energy data in the Module Type Package
Leif-Thore Reiche, Felix Gehlhoff, Alexander Fay
Modular production systems that employ the Module Type Package (MTP) to describe module interfaces can, at present, only communicate energy data through proprietary solutions. Due…
Model-based Workflow for the Automated Generation of PDDL Descriptions
Hamied Nabizada, Tom Jeleniewski, Felix Gehlhoff +1
Manually creating Planning Domain Definition Language (PDDL) descriptions is difficult, error-prone, and requires extensive expert knowledge. However, this knowledge is already emb…
A Formal Model for Artificial Intelligence Applications in Automation Systems
Marvin Schieseck, Philip Topalis, Lasse Reinpold +2
The integration of Artificial Intelligence (AI) into automation systems has the potential to enhance efficiency and to address currently unsolved existing technical challenges. How…
Combination of Site-Wide and Real-Time Optimization for the Control of Systems of Electrolyzers
Vincent Henkel, Lukas Peter Wagner, Felix Gehlhoff +1
The rapid expansion of renewable energy sources has introduced significant volatility and unpredictability in the energy supply chain, necessitating advanced control strategies to…
A SysML Profile for the Standardized Description of Processes during System Development
Lasse Beers, Hamied Nabizada, Maximilian Weigand +2
A key aspect in creating models of production systems with the use of model-based systems engineering (MBSE) lies in the description of system functions. These functions shouldbe d…
Cost Optimized Scheduling in Modular Electrolysis Plants
Vincent Henkel, Maximilian Kilthau, Felix Gehlhoff +2
In response to the global shift towards renewable energy resources, the production of green hydrogen through electrolysis is emerging as a promising solution. Modular electrolysis…