Cover Image

Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nabizada, Hamied, Beers, Lasse, Chahine, Alain, Gehlhoff, Felix, Niggemann, Oliver, 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

Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
by: Nabizada, Hamied, et al.
Published: (2025)

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)

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)

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

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)

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

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
by: Westermann, Tom, 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)

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

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

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

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

AAAI Workshop on AI Planning for Cyber-Physical Systems -- CAIPI24
by: Niggemann, Oliver, et al.
Published: (2024)

Toward a Method to Generate Capability Ontologies from Natural Language Descriptions
by: da Silva, Luis Miguel Vieira, et al.
Published: (2024)

On the Use of Large Language Models to Generate Capability Ontologies
by: da Silva, Luis Miguel Vieira, et al.
Published: (2024)

Capability-Driven Skill Generation with LLMs: A RAG-Based Approach for Reusing Existing Libraries and Interfaces
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

Nutzung von Massespeichern zur Flexibilisierung des Energieverbrauchs: Kosteneffizienter Anlagenbetrieb durch Anpassung an Marktpreise
by: Wagner, Lukas Peter, et al.
Published: (2024)

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

MAWIFlow Benchmark: Realistic Flow-Based Evaluation for Network Intrusion Detection
by: Schraven, Joshua, et al.
Published: (2025)

Systematic Comparison of Software Agents and Digital Twins: Differences, Similarities, and Synergies in Industrial Production
by: Reinpold, Lasse Matthias, et al.
Published: (2023)

Prävention und Beseitigung von Fehlerursachen im Kontext von unbemannten Fahrzeugen
by: Schnakenbeck, Aron, et al.
Published: (2024)

Automated Process Planning Based on a Semantic Capability Model and SMT
by: Köcher, Aljosha, et al.
Published: (2023)

On the Convergence of Locally Adaptive and Scalable Diffusion-Based Sampling Methods for Deep Bayesian Neural Network Posteriors
by: Rensmeyer, Tim, et al.
Published: (2024)

Industrial AI Robustness Card for Time Series Models
by: Windmann, Alexander, et al.
Published: (2025)

Avionic Main Fuel Pump Simulation and Fault-Diagnosis Benchmark
by: Janzen, Felix Leonhard, et al.
Published: (2026)

Artificial Intelligence in Industry 4.0: A Review of Integration Challenges for Industrial Systems
by: Windmann, Alexander, et al.
Published: (2024)

Quantifying Robustness: A Benchmarking Framework for Deep Learning Forecasting in Cyber-Physical Systems
by: Windmann, Alexander, et al.
Published: (2025)

Evaluating Large Language Models for Real-World Engineering Tasks
by: Heesch, Rene, et al.
Published: (2025)

Design Principles for Falsifiable, Replicable and Reproducible Empirical ML Research
by: Vranješ, Daniel, et al.
Published: (2024)

Enabling External Scrutiny of AI Systems with Privacy-Enhancing Technologies
by: Beers, Kendrea, et al.
Published: (2025)

A Continuous-Time Consistency Model for 3D Point Cloud Generation
by: Eilermann, Sebastian, et al.
Published: (2025)

On-the-Fly Fine-Tuning of Foundational Neural Network Potentials: A Bayesian Neural Network Approach
by: Rensmeyer, Tim, et al.
Published: (2025)

Effizientes Recycling von Lithiumbatterien
by: Philip Niggemann
Published: (2024)

Enhancing Summarization Performance through Transformer-Based Prompt Engineering in Automated Medical Reporting
by: van Zandvoort, Daphne, et al.
Published: (2023)

Data Driven Diagnosis for Large Cyber-Physical-Systems with Minimal Prior Information
by: Steude, Henrik Sebastian, et al.
Published: (2025)

The Expert Validation Framework (EVF): Enabling Domain Expert Control in AI Engineering
by: Gren, Lucas, et al.
Published: (2026)

Facilitating Resource Sharing in an Automated Environment: An Update on the National Library's Interlibrary Loan Protocol.
by: Turner, Fay
Published: (1990)