Cover Image

Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nabizada, Hamied, Jeleniewski, Tom, Beers, Lasse, Weigand, Maximilian, Gehlhoff, Felix, Fay, Alexander
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A SysML Profile for the Standardized Description of Processes during System Development
by: Beers, Lasse, et al.
Published: (2024)

Model-based Workflow for the Automated Generation of PDDL Descriptions
by: Nabizada, Hamied, et al.
Published: (2024)

Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants
by: Nabizada, Hamied, et al.
Published: (2025)

Consistency Verification in Ontology-Based Process Models with Parameter Interdependencies
by: Jeleniewski, Tom, et al.
Published: (2025)

From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation
by: Nabizada, Hamied, et al.
Published: (2026)

Automatic Mapping of AutomationML Files to Ontologies for Graph Queries and Validation
by: Westermann, Tom, et al.
Published: (2025)

Representing Time-Continuous Behavior of Cyber-Physical Systems in Knowledge Graphs
by: Gill, Milapji Singh, et al.
Published: (2025)

Semantic Capability Model for the Simulation of Manufacturing Processes
by: Reif, Jonathan, et al.
Published: (2024)

Automated Legacy Documentation to SysML Conversion
by: Trent Johnson, et al.
Published: (2025)

Chatbot-Based Ontology Interaction Using Large Language Models and Domain-Specific Standards
by: Reif, Jonathan, et al.
Published: (2024)

Automating Physics-Based Reasoning for SysML Model Validation
by: Chambers, Candice, et al.
Published: (2025)

Exploring the Executable SysML Capabilities to Integrate and Operate Hardware in the Loop
by: Alexander Yeiser, et al.
Published: (2024)

Uncertainty Modeling for SysML v2
by: Zhang, Man, et al.
Published: (2026)

A Formal Model for Artificial Intelligence Applications in Automation Systems
by: Schieseck, Marvin, et al.
Published: (2024)

Integrating STPA Extended for Coordination into SysML Using RAAML
by: Elizabeth Pennington, et al.
Published: (2024)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

SysTemp: A Multi-Agent System for Template-Based Generation of SysML v2
by: Bouamra, Yasmine, et al.
Published: (2025)

LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
by: Li, Zirui, et al.
Published: (2025)

Bacterial chemotaxis control process analysis with SysML
by: James D. Johansen
Published: (2024)

Towards UAF Implementation in SysML V2
by: Aurelijus Morkevicius, et al.
Published: (2024)

OMG Standard to Extend SysML to Reliability Engineering
by: Myron Hecht, et al.
Published: (2024)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
by: Raedler, Simon, et al.
Published: (2023)

Extending SysML Model Federation to Support Systems of Systems Multilevel Security Development
by: Chris Swickline
Published: (2024)

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
by: Westermann, Tom, et al.
Published: (2025)

INCOSE Systems Engineering Competency Assessment Guide Systems Modeling Language (SysML) Model Description
by: Juan P. Amenabar, et al.
Published: (2024)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

Towards Formalising Stakeholder Context using SysML v2
by: Harrison, Matthew, et al.
Published: (2026)

Unlocking Synergy: Leveraging SysML and Modelica with Bi‐Directional Transformation and Simulation Integration Standards
by: Brian Pepper, et al.
Published: (2024)

Automating Rule‐Checking to Identify SysML Modeling Errors: A Preliminary Study in a Classroom Environment
by: Michael J. Vinarcik, et al.
Published: (2024)

Next Generation MBPLE with SysML v2: Feature Modeling, Variability Modeling, and API Potentials
by: Tim Weilkiens, et al.
Published: (2025)

Semantic model for the description of energy data in the Module Type Package
by: Reiche, Leif-Thore, et al.
Published: (2024)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
by: Lewis, Charles, et al.
Published: (2026)

Integrating Ontology Design with the CRISP-DM in the context of Cyber-Physical Systems Maintenance
by: Gill, Milapji Singh, et al.
Published: (2024)

Paving the Way for SysML v2: An ESA MBSE Methodology Implementation Review
by: Matteo Duroy, et al.
Published: (2026)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
by: Reinpold, Lasse M., et al.
Published: (2024)

Early Validation of SysML Architectures by Extending MBSE with Co‐Simulation using FMI and SSP
by: Johan Cederbladh, et al.
Published: (2024)

A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
by: Dudek, Wojciech, et al.
Published: (2023)

Cost Optimized Scheduling in Modular Electrolysis Plants
by: Henkel, Vincent, et al.
Published: (2024)

Combination of Site-Wide and Real-Time Optimization for the Control of Systems of Electrolyzers
by: Henkel, Vincent, et al.
Published: (2024)