AICPS / LLM_4_PLC

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LLM4PLC: Harnessing Large Language Models for Verifiable Model-Based Design in Industrial Control Systems

Please refer to the project website for the complete description and result showcase.

This research project aims to develop a novel approach to Model-Based Design (MBD) for Industrial Control Systems (ICS) by leveraging iterative prompting of Large Language Models (LLMs) to generate code for Programmable Logic Controllers (PLCs). This repository contains published code, prompts, and descriptions of the LLM4PLC project.

Architecture

To provide a high-level overview of the architecture of the LLM4PLC project, the following diagram is provided.

figure

Pre-Trained LoRAs

The pretrained loras are available here. To use these, please refer to the instructions in text-generation-webui.

Contributors: Mohamad Fakih - mhfakih@uci.edu

Rahul Dharmaji - rdharmaj@uci.edu

Yasamin Moghaddas - ymoghadd@uci.edu

About

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems