Cover Image

LLM-Supported Formal Knowledge Representation for Enhancing Control Engineering Content with an Interactive Semantic Layer

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fiedler, Julius, Knoll, Carsten, Röbenack, Klaus
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

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
by: Schön, Oliver, et al.
Published: (2025)

Two-Stage Active Distribution Network Voltage Control via LLM-RL Collaboration: A Hybrid Knowledge-Data-Driven Approach
by: Yang, Xu, et al.
Published: (2026)

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
by: Coppola, Rudi, et al.
Published: (2025)

Optimizing Attention and Cognitive Control Costs Using Temporally-Layered Architectures
by: Patel, Devdhar, et al.
Published: (2023)

Hybrid Recurrent Models Support Emergent Descriptions for Hierarchical Planning and Control
by: Collis, Poppy, et al.
Published: (2024)

A Systems-Theoretical Formalization of Closed Systems
by: Shadab, Niloofar, et al.
Published: (2023)

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

GenCtrl -- A Formal Controllability Toolkit for Generative Models
by: Cheng, Emily, et al.
Published: (2026)

Differentiable Optimization Layered Safety-Critical Control for Risk-Aware Navigation via Conformal Prediction
by: Dong, Jinyang, et al.
Published: (2026)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
by: Mandal, Udayan, et al.
Published: (2024)

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

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

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
by: Skovbekk, John, et al.
Published: (2021)

Policy Gradient-Based EMT-in-the-Loop Learning to Mitigate Sub-Synchronous Control Interactions
by: Mukherjee, Sayak, et al.
Published: (2025)

Optimizing Traffic Signal Control using High-Dimensional State Representation and Efficient Deep Reinforcement Learning
by: Francis, Lawrence, et al.
Published: (2024)

Grid-Agent: An LLM-Powered Multi-Agent System for Power Grid Control
by: Zhang, Yan, et al.
Published: (2025)

CBF-LLM: Safe Control for LLM Alignment
by: Miyaoka, Yuya, et al.
Published: (2024)

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

Enhancing AI System Resiliency: Formulation and Guarantee for LSTM Resilience Based on Control Theory
by: Yoshihara, Sota, et al.
Published: (2025)

Constrained Reinforcement Learning using Distributional Representation for Trustworthy Quadrotor UAV Tracking Control
by: Wang, Yanran, et al.
Published: (2023)

Multi-Task Semantic Communications via Large Models
by: Ni, Wanli, et al.
Published: (2025)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
by: Zeng, Hongtai, et al.
Published: (2024)

Aligning Large Language Models with Representation Editing: A Control Perspective
by: Kong, Lingkai, et al.
Published: (2024)

Security Risks of Agentic Vehicles: A Systematic Analysis of Cognitive and Cross-Layer Threats
by: Eslami, Ali, et al.
Published: (2025)

Explainable AI-Enhanced Supervisory Control for Robust Multi-Agent Robotic Systems
by: Pirayeshshirazinezhad, Reza, et al.
Published: (2025)

Survey and Tutorial of Reinforcement Learning Methods in Process Systems Engineering
by: Bloor, Maximilian, et al.
Published: (2025)

Reliability, Resilience and Human Factors Engineering for Trustworthy AI Systems
by: Mishra, Saurabh, et al.
Published: (2024)

Automotive Engineering-Centric Agentic AI Workflow Framework
by: Son, Tong Duy, et al.
Published: (2026)

Embed to Control Partially Observed Systems: Representation Learning with Provable Sample Efficiency
by: Wang, Lingxiao, et al.
Published: (2022)

When to Reason: Semantic Router for vLLM
by: Wang, Chen, et al.
Published: (2025)

Unifying Controller Design for Stabilizing Nonlinear Systems with Norm-Bounded Control Inputs
by: Li, Ming, et al.
Published: (2024)

Iterative Learning Control-Informed Reinforcement Learning for Batch Process Control
by: Lin, Runze, et al.
Published: (2026)

Hallucination Basins: A Dynamic Framework for Understanding and Controlling LLM Hallucinations
by: Cherukuri, Kalyan, et al.
Published: (2026)

Cyberattack Detection in Virtualized Microgrids Using LightGBM and Knowledge-Distilled Classifiers
by: Ogiesoba-Eguakun, Osasumwen Cedric, et al.
Published: (2026)

A Domain-Knowledge-Aided Deep Reinforcement Learning Approach for Flight Control Design
by: Shin, Hyo-Sang, et al.
Published: (2019)

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)

AI- and Ontology-Based Enhancements to FMEA for Advanced Systems Engineering: Current Developments and Future Directions
by: Younus, Haytham, et al.
Published: (2025)

Bridging Qualitative Rubrics and AI: A Binary Question Framework for Criterion-Referenced Grading in Engineering
by: Chen, Lili, et al.
Published: (2026)

Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense
by: Prinos, Kerri, et al.
Published: (2026)

Stonefish: Supporting Machine Learning Research in Marine Robotics
by: Grimaldi, Michele, et al.
Published: (2025)