:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yang, Jingda, Wang, Ying
Format:	Preprint
Published:	2023
Subjects:	Systems and Control Artificial Intelligence Machine Learning
Online Access:	https://arxiv.org/abs/2312.17353
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Prompt to Protocol: Fast Charging Batteries with Large Language Models
by: Lei, Ge, et al.
Published: (2026)

SafeAuto: Knowledge-Enhanced Safe Autonomous Driving with Multimodal Foundation Models
by: Zhang, Jiawei, et al.
Published: (2025)

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

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

MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
by: Abbineni, Pravallika, et al.
Published: (2025)

Empowering Autonomous Driving with Large Language Models: A Safety Perspective
by: Wang, Yixuan, et al.
Published: (2023)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)

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

FaultExplainer: Leveraging Large Language Models for Interpretable Fault Detection and Diagnosis
by: Khan, Abdullah, et al.
Published: (2024)

Interacting Large Language Model Agents. Interpretable Models and Social Learning
by: Jain, Adit, et al.
Published: (2024)

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

Large Language Model Guided Incentive Aware Reward Design for Cooperative Multi-Agent Reinforcement Learning
by: Urgun, Dogan, et al.
Published: (2026)

Generative AI and Process Systems Engineering: The Next Frontier
by: Decardi-Nelson, Benjamin, et al.
Published: (2024)

AutoRL Hyperparameter Landscapes
by: Mohan, Aditya, et al.
Published: (2023)

LLM-Assisted Light: Leveraging Large Language Model Capabilities for Human-Mimetic Traffic Signal Control in Complex Urban Environments
by: Wang, Maonan, et al.
Published: (2024)

Large Language Models (LLMs) for Electronic Design Automation (EDA)
by: Xu, Kangwei, 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)

Towards Machine Learning-based Model Predictive Control for HVAC Control in Multi-Context Buildings at Scale via Ensemble Learning
by: Deng, Yang, et al.
Published: (2025)

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

Integrating Physics-Based and Data-Driven Approaches for Probabilistic Building Energy Modeling
by: Von Krannichfeldt, Leandro, et al.
Published: (2025)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

Probabilistic Constrained Reinforcement Learning with Formal Interpretability
by: Wang, Yanran, et al.
Published: (2023)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
by: Chen, Shaoru, et al.
Published: (2024)

SEAL: SEmantic-Augmented Imitation Learning via Language Model
by: Gu, Chengyang, et al.
Published: (2024)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

Weakly-supervised Latent Models for Task-specific Visual-Language Control
by: Lee, Xian Yeow, et al.
Published: (2025)

A Survey on Large Language Model-empowered Autonomous Driving
by: Zhu, Yuxuan, et al.
Published: (2024)

Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
by: Pandit, Kartik, et al.
Published: (2025)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, 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)

Multi-Year Maintenance Planning for Large-Scale Infrastructure Systems: A Novel Network Deep Q-Learning Approach
by: Fard, Amir, et al.
Published: (2025)

Deep Analysis of Time Series Data for Smart Grid Startup Strategies: A Transformer-LSTM-PSO Model Approach
by: Zhang, Zecheng
Published: (2024)

Local Linearity of LLMs Enables Activation Steering via Model-Based Linear Optimal Control
by: Skifstad, Julian, et al.
Published: (2026)

Epidemic Control on a Large-Scale-Agent-Based Epidemiology Model using Deep Deterministic Policy Gradient
by: Deshkar, Gaurav, et al.
Published: (2023)

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

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
by: Lin, Albert, et al.
Published: (2023)

RoboMonkey: Scaling Test-Time Sampling and Verification for Vision-Language-Action Models
by: Kwok, Jacky, et al.
Published: (2025)

Large Language Model as An Operator: An Experience-Driven Solution for Distribution Network Voltage Control
by: Yang, Xu, et al.
Published: (2025)

Real-Time Decision-Making for Digital Twin in Additive Manufacturing with Model Predictive Control using Time-Series Deep Neural Networks
by: Chen, Yi-Ping, et al.
Published: (2025)

Combining Large Language Models and Gradient-Free Optimization for Automatic Control Policy Synthesis
by: Bosio, Carlo, et al.
Published: (2025)