Cover Image

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Westermann, Tom, Köcher, Aljosha, Gehlhoff, Felix
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

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

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

Product-oriented Product-Process-Resource Asset Network and its Representation in AutomationML for Asset Administration Shell
by: Strakosova, Sara, et al.
Published: (2025)

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)

Autonomous Control Leveraging LLMs: An Agentic Framework for Next-Generation Industrial Automation
by: Vyas, Javal, et al.
Published: (2025)

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

Neural Network Tire Force Modeling for Automated Drifting
by: Broadbent, Nicholas Drake, et al.
Published: (2024)

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

From Visual Perception to Deep Empathy: An Automated Assessment Framework for House-Tree-Person Drawings Using Multimodal LLMs and Multi-Agent Collaboration
by: Wen, Shuide, et al.
Published: (2025)

SUSTAINABLE Platform: Seamless Smart Farming Integration Towards Agronomy Automation
by: Bompotas, Agorakis, et al.
Published: (2025)

Automated Heuristic Design for Unit Commitment Using Large Language Models
by: Lv, Junjin, et al.
Published: (2025)

Large Language Models (LLMs) for Electronic Design Automation (EDA)
by: Xu, Kangwei, et al.
Published: (2025)

PowerChain: A Verifiable Agentic AI System for Automating Distribution Grid Analyses
by: Badmus, Emmanuel O., et al.
Published: (2025)

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

SPformer: A Transformer Based DRL Decision Making Method for Connected Automated Vehicles
by: Han, Ye, et al.
Published: (2024)

Artificial Intelligence for Modeling and Simulation of Mixed Automated and Human Traffic
by: Rahmani, Saeed, et al.
Published: (2026)

Beyond Conservative Automated Driving in Multi-Agent Scenarios via Coupled Model Predictive Control and Deep Reinforcement Learning
by: Rahmani, Saeed, et al.
Published: (2026)

Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions
by: Rahmani, Saeed, et al.
Published: (2024)

Sketch2Simulation: Automating Flowsheet Generation via Multi Agent Large Language Models
by: Bahamdan, Abdullah, et al.
Published: (2026)

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

Prompt2Auto: From Motion Prompt to Automated Control via Geometry-Invariant One-Shot Gaussian Process Learning
by: Yang, Zewen, et al.
Published: (2025)

CSM-H-R: A Context Modeling Framework in Supporting Reasoning Automation for Interoperable Intelligent Systems and Privacy Protection
by: Yue, Songhui, et al.
Published: (2023)

KCLNet: Physics-Informed Power Flow Prediction via Constraints Projections
by: Dogoulis, Pantelis, et al.
Published: (2025)

Integrating Legal and Logical Specifications in Perception, Prediction, and Planning for Automated Driving: A Survey of Methods
by: Manas, Kumar, et al.
Published: (2025)

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
by: Kretinsky, Jan, et al.
Published: (2025)

An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
by: Salem, Nayel Fabian, et al.
Published: (2024)

TGLD: A Trust-Aware Game-Theoretic Lane-Changing Decision Framework for Automated Vehicles in Heterogeneous Traffic
by: Pan, Jie, et al.
Published: (2025)

A General Approach of Automated Environment Design for Learning the Optimal Power Flow
by: Wolgast, Thomas, et al.
Published: (2025)

EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems
by: Yang, Huanqi, et al.
Published: (2024)

Machine Learning for Fairness-Aware Load Shedding: A Real-Time Solution via Identifying Binding Constraints
by: Zhou, Yuqi, et al.
Published: (2024)

ViSTR-GP: Online Cyberattack Detection via Vision-to-State Tensor Regression and Gaussian Processes in Automated Robotic Operations
by: Aftabi, Navid, et al.
Published: (2025)

ControlAgent: Automating Control System Design via Novel Integration of LLM Agents and Domain Expertise
by: Guo, Xingang, et al.
Published: (2024)

Physical spline for denoising object trajectory data by combining splines, ML feature regression and model knowledge
by: Torzewski, Jonas
Published: (2025)

An Efficient Intelligent Semi-Automated Warehouse Inventory Stocktaking System
by: Tong, Chunan
Published: (2023)

Large Language Model Powered Automated Modeling and Optimization of Active Distribution Network Dispatch Problems
by: Yang, Xu, et al.
Published: (2025)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
by: Lin, Xiaoshan, et al.
Published: (2024)