From the 1 of 5 linked papers with an AI index.
5 papers
An AutomationML Domain Library for the Formalized Process Description
Hamied Nabizada, Rainer Drath, Felix Gehlhoff +1
The paper introduces an AutomationML domain library that encodes the Formalized Process Description (FPD) language elements into a standardized, tool‑independent format based on th…
From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation
Hamied Nabizada, Thomas Wirt, Luis Miguel Vieira da Silva +2
Engineers designing production systems need to verify that a given layout supports all required production sequences. Automated planning techniques can answer such questions, but f…
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…