4 papers · 1 filter
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…
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…