Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913884685729792 |
|---|---|
| author | Nabizada, Hamied Jeleniewski, Tom Beers, Lasse Weigand, Maximilian Gehlhoff, Felix Fay, Alexander |
| author_facet | Nabizada, Hamied Jeleniewski, Tom Beers, Lasse Weigand, Maximilian Gehlhoff, Felix Fay, Alexander |
| contents | 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 stereotypes are defined for key PDDL concepts such as types, predicates, functions and actions, while formal OCL constraints ensure syntactic consistency. The profile was derived from the Backus-Naur Form (BNF) definition of PDDL 3.1 to align with SysML modeling practices. A case study from aircraft manufacturing demonstrates the application of the profile: a robotic system with interchangeable end effectors is modeled and enriched to generate both domain and problem descriptions in PDDL format. These are used as input to a PDDL solver to derive optimized execution plans. The approach supports automated and model-based generation of planning descriptions and provides a reusable bridge between system modeling and AI planning in engineering design. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_06714 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation Nabizada, Hamied Jeleniewski, Tom Beers, Lasse Weigand, Maximilian Gehlhoff, Felix Fay, Alexander Artificial Intelligence 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 stereotypes are defined for key PDDL concepts such as types, predicates, functions and actions, while formal OCL constraints ensure syntactic consistency. The profile was derived from the Backus-Naur Form (BNF) definition of PDDL 3.1 to align with SysML modeling practices. A case study from aircraft manufacturing demonstrates the application of the profile: a robotic system with interchangeable end effectors is modeled and enriched to generate both domain and problem descriptions in PDDL format. These are used as input to a PDDL solver to derive optimized execution plans. The approach supports automated and model-based generation of planning descriptions and provides a reusable bridge between system modeling and AI planning in engineering design. |
| title | Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2506.06714 |