Compilation Is Not Correctness: Scan-by-Scan Evaluation of LLM-Generated PLC Programs

Jinyun Chen, Juntao Hu, Haochen Li +5

Programmable logic controllers (PLCs) automate industrial processes through repeated scans, each reading inputs, executing control logic, and updating outputs. Engineers write this…