{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T16:24:45Z","timestamp":1784391885167,"version":"3.55.0"},"reference-count":65,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1109\/tse.2026.3667895","type":"journal-article","created":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T20:56:19Z","timestamp":1772052979000},"page":"1672-1687","source":"Crossref","is-referenced-by-count":4,"title":["Agents4PLC: Automating Closed-Loop PLC Code Generation and Verification in Industrial Control Systems Using LLM-Based Agents"],"prefix":"10.1109","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-7977-8668","authenticated-orcid":false,"given":"Zihan","family":"Liu","sequence":"first","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3994-3291","authenticated-orcid":false,"given":"Ruinan","family":"Zeng","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9812-3911","authenticated-orcid":false,"given":"Dongxia","family":"Wang","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9495-387X","authenticated-orcid":false,"given":"Gengyun","family":"Peng","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6662-9020","authenticated-orcid":false,"given":"Xiaoxia","family":"Liu","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1311-0886","authenticated-orcid":false,"given":"Qiang","family":"Liu","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7793-7633","authenticated-orcid":false,"given":"Peiyu","family":"Liu","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3707-6546","authenticated-orcid":false,"given":"Wenhai","family":"Wang","sequence":"additional","affiliation":[{"name":"UWin Tech, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7113-7635","authenticated-orcid":false,"given":"Jingyi","family":"Wang","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"MATIEC","year":"2017"},{"key":"ref2","article-title":"Claude 3.5 Sonnet","year":"2024"},{"key":"ref3","article-title":"GPT-4o","year":"2024"},{"key":"ref4","article-title":"GPT-4o-mini","year":"2024"},{"key":"ref5","article-title":"LangGraph","year":"2024"},{"key":"ref6","article-title":"RuSTy","year":"2024"},{"key":"ref7","article-title":"Simulink PLC Coder","year":"2025"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2016.7497884"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"ref10","article-title":"Evaluating large language models trained on code","author":"Chen","year":"2021"},{"key":"ref11","article-title":"CODESYS development system: St language description","year":"2025"},{"key":"ref12","first-page":"1","article-title":"PLCverif: A tool to verify PLC programs based on model checking techniques","volume-title":"Proc. 15th Int. Conf. Accelerator Large Exp. Phys. Control Syst","author":"Darvas","year":"2015"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819191"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3555776.3577698"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3639477.3639743"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510138"},{"key":"ref17","article-title":"ChatGLM: A family of large language models from GLM-130B to GLM-4 all tools","author":"Zeng","year":"2024"},{"key":"ref18","article-title":"DeepSeek-Coder: When the large language model meets programming\u2013the rise of code intelligence","author":"Guo","year":"2024"},{"key":"ref19","article-title":"MetaGPT: Meta programming for multi-agent collaborative framework","author":"Hong","year":"2023"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3695988"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812169"},{"key":"ref22","article-title":"AgentCoder: Multi-agent-based code generation with iterative testing and optimisation","author":"Huang","year":"2023"},{"key":"ref23","article-title":"Understanding the planning of LLM agents: A survey","author":"Huang","year":"2024"},{"key":"ref24","article-title":"IEC 61131-3:2013 Programmable controllers - Part 3: Programming languages","year":"2013"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/375735.376334"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-long.269"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1613\/jair.301"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-39688-6_15"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10711016"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA54631.2023.10275411"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1145\/3643795.3648384","article-title":"LLM-based and retrieval-augmented control code generation","volume-title":"Proc. 1st Int. Workshop Large Lang. Models Code","author":"Koziolek","year":"2024"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/3643795.3648385","article-title":"LLM-based control code generation using image recognition","volume-title":"Proc. 1st Int. Workshop Large Lang. Models Code","author":"Koziolek","year":"2024"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-71162-6_22"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3563822.3568016"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1108\/ws.2000.07949fab.004"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1126\/science.abq1158"},{"key":"ref38","article-title":"DeepSeek-V3 technical report","author":"Liu","year":"2024"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3796507"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/JRPROC.1961.287775"},{"key":"ref41","article-title":"Programmable logic controller (PLC) market - share, size & growth","year":"2024"},{"key":"ref42","article-title":"AutoSafeCoder: A multi-agent framework for securing LLM code generation through static analysis and fuzz testing","author":"Nunez","year":"2024"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0448-7"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-long.810"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015008417172"},{"key":"ref46","article-title":"Code Llama: Open foundation models for code","author":"Roziere","year":"2023"},{"key":"ref47","first-page":"33","article-title":"Design framework of PLC-based control for reconfigurable manufacturing systems","volume-title":"Proc. Int. Conf. Flexible Autom. Intell. Manuf. (FAIM)","volume":"1","author":"Schreyer","year":"2000"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2024.3351285"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/scam63643.2024.00020"},{"key":"ref50","article-title":"SIMOTION ST structured text","year":"2025"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICICCS56967.2023.10142518"},{"key":"ref52","article-title":"Collaborative agents for software engineering","author":"Tang","year":"2024"},{"key":"ref53","article-title":"Qwen2.5 technical report","year":"2024"},{"key":"ref54","article-title":"Programmable Logic Controller (PLC) Market Analysis APAC, North America, Europe, Middle East and Africa, South America - US, China, Japan, Germany, UK - size and forecast 2024\u20132028","year":"2024"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2005.1528274"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3315292"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-024-40231-1"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51556-0_20"},{"key":"ref59","article-title":"OpenHands: An open platform for AI software developers as generalist agents","author":"Wang","year":"2024"},{"key":"ref60","article-title":"AutoGen: Enabling next-gen LLM applications via multi-agent conversation framework","volume-title":"Proc. COLM","author":"Wu","year":"2024"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-024-4222-0"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3715754"},{"key":"ref63","article-title":"A multi-agent framework for extensible structured text generation in PLCs","author":"Yang","year":"2024"},{"key":"ref64","first-page":"50528","article-title":"SWE-agent: Agent-computer interfaces enable automated software engineering","volume":"37","author":"Yang","year":"2024","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3748302"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11520972\/11410524.pdf?arnumber=11410524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T04:18:41Z","timestamp":1778905121000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11410524\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":65,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.2026.3667895","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5]]}}}