1 citations · 1 across the 3 of their papers we have counts for
3 papers
Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
Tom Westermann, Aljosha Köcher, Felix Gehlhoff
AutomationML (AML) enables standardized data exchange in engineering, yet existing recommendations for proper AML modeling are typically formulated as informal and textual constrai…
Exploring LLMs for Verifying Technical System Specifications Against Requirements
Lasse M. Reinpold, Marvin Schieseck, Lukas P. Wagner +2
Requirements engineering is a knowledge intensive process and crucial for the success of engineering projects. The field of knowledge-based requirements engineering (KBRE) aims to…
A Formal Model for Artificial Intelligence Applications in Automation Systems
Marvin Schieseck, Philip Topalis, Lasse Reinpold +2
The integration of Artificial Intelligence (AI) into automation systems has the potential to enhance efficiency and to address currently unsolved existing technical challenges. How…