Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents

M. Minsky, “Steps toward artificial intelligence,” Proceedings of the IRE , vol. 49, no. 1, pp. 8–30, 1961

1961

Earlier work this paper cites.

L. P. Kaelbling, M. L. Littman, and A. W. Moore, “Reinforcement learning: A survey,” Journal of artificial intelligence research , vol. 4, pp. 237–285, 1996

1996

Earlier work this paper cites.

M. Schreyer and M. M. Tseng, “Design framework of plc-based control for reconfigurable manufacturing systems,” in Proceedings of international conference on flexible automation and intelligent manufacturing (FAIM 2000) , vol. 1, 2000, pp. 33–42

2000

Earlier work this paper cites.

C. Isbell, C. R. Shelton, M. Kearns, S. Singh, and P. Stone, “A social reinforcement learning agent,” in Proceedings of the fifth international conference on Autonomous agents , 2001, pp. 377–384

2001

Earlier work this paper cites.

C. Ribeiro, “Reinforcement learning agents,” Artificial intelligence review , vol. 17, pp. 223–250, 2002

2002

Earlier work this paper cites.

International Electrotechnical Commission (IEC), “IEC 61131-3:2013 Programmable controllers - Part 3: Programming languages,” https://webstore.iec.ch/en/publication/4552 , 2013, edition 3.0, ISBN: 9782832206614

2013

Earlier work this paper cites.

R. Cavada, A. Cimatti, M. Dorigatti, A. Griggio, A. Mariotti, A. Micheli, S. Mover, M. Roveri, and S. Tonetta, “The nuxmv symbolic model checker,” in Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings 26 . Springer, 2014, pp. 334–342

2014

Earlier work this paper cites.

D. Kroening and M. Tautschnig, “Cbmc–c bounded model checker: (competition contribution),” in Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings 20 . Springer, 2014, pp. 389–391

2014

Earlier work this paper cites.

D. Darvas, E. Blanco Vinuela, and B. Fernández Adiego, “Plcverif: A tool to verify plc programs based on model checking techniques,” in Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems . IEEE, 2015, pp. 1–6

2015

Earlier work this paper cites.

D. Bohlender, H. Simon, N. Friedrich, S. Kowalewski, and S. Hauck-Stattelmann, “Concolic test generation for plc programs using coverage metrics,” in 2016 13th International Workshop on Discrete Event Systems (WODES) . IEEE, 2016, pp. 432–437

2016

Earlier work this paper cites.

T. Ovatman, A. Aral, D. Polat, and A. O. Ünver, “An overview of model checking practices on verification of plc software,” Software & Systems Modeling , vol. 15, no. 4, pp. 937–960, 2016

2016

Earlier work this paper cites.

“Matiec,” 2017. [Online]. Available: https://github.com/nucleron/matiec

2017

Earlier work this paper cites.

M. Kornaszewski, “The use of programmable logic controllers in railway signaling systems,” in ICTE in Transportation and Logistics 2019 . Springer, 2020, pp. 104–111

2020

Earlier work this paper cites.

M. Chen, J. Tworek, H. Jun, Q. Yuan, H. P. D. O. Pinto, J. Kaplan, H. Edwards, Y. Burda, N. Joseph, G. Brockman et al. , “Evaluating large language models trained on code,” arXiv preprint arXiv:2107.03374 , 2021

Original

2021

Earlier work this paper cites.

M. Wang, “Application of plc technology in electrical engineering and automation control,” in Application of Intelligent Systems in Multi-modal Information Analytics: Proceedings of the 2020 International Conference on Multi-model Information Analytics (MMIA2020), Volume 2 . Springer, 2021, pp. 131–135

2021

Earlier work this paper cites.

E. First and Y. Brun, “Diversity-driven automated formal verification,” in Proceedings of the 44th International Conference on Software Engineering , 2022, pp. 749–761

2022

Earlier work this paper cites.

J. Lee, S. Kim, and K. Bae, “Bounded model checking of plc st programs using rewriting modulo smt,” in Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems , 2022, pp. 56–67

2022

Earlier work this paper cites.

Y. Li, D. Choi, J. Chung, N. Kushman, J. Schrittwieser, R. Leblond, T. Eccles, J. Keeling, F. Gimeno, A. Dal Lago et al. , “Competition-level code generation with alphacode,” Science , vol. 378, no. 6624, pp. 1092–1097, 2022

2022

Earlier work this paper cites.

M. Ebrahimi Salari, E. P. Enoiu, W. Afzal, and C. Seceleanu, “Pylc: A framework for transforming and validating plc software using python and pynguin test generator,” in Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing , 2023, pp. 1476–1485

2023

Earlier work this paper cites.

S. Hong, X. Zheng, J. Chen, Y. Cheng, J. Wang, C. Zhang, Z. Wang, S. K. S. Yau, Z. Lin, L. Zhou et al. , “Metagpt: Meta programming for multi-agent collaborative framework,” arXiv preprint arXiv:2308.00352 , 2023

Original

2023

Cited alongside, same era.

X. Hou, Y. Zhao, Y. Liu, Z. Yang, K. Wang, L. Li, X. Luo, D. Lo, J. Grundy, and H. Wang, “Large language models for software engineering: A systematic literature review,” ACM Transactions on Software Engineering and Methodology , 2023

2023

Cited alongside, same era.

D. Huang, Q. Bu, J. M. Zhang, M. Luck, and H. Cui, “Agentcoder: Multi-agent-based code generation with iterative testing and optimisation,” arXiv preprint arXiv:2312.13010 , 2023

Original

2023

Cited alongside, same era.

H. Koziolek, S. Gruener, and V. Ashiwal, “Chatgpt for plc/dcs control logic generation,” in 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA) . IEEE, 2023, pp. 1–8

2023

Cited alongside, same era.

M. Fakih, R. Dharmaji, Y. Moghaddas, G. Quiros, O. Ogundare, and M. A. Al Faruque, “Llm4plc: Harnessing large language models for verifiable programming of plcs in industrial control systems,” in Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice , 2024, pp. 192–203

2024

Closest in time.

D. Guo, Q. Zhu, D. Yang, Z. Xie, K. Dong, W. Zhang, G. Chen, X. Bi, Y. Wu, Y. Li et al. , “Deepseek-coder: When the large language model meets programming–the rise of code intelligence,” arXiv preprint arXiv:2401.14196 , 2024

Original

2024

Closest in time.

M. A. Islam, M. E. Ali, and M. R. Parvez, “Mapcoder: Multi-agent code generation for competitive problem solving,” arXiv preprint arXiv:2405.11403 , 2024

Original

2024

Closest in time.

H. Koziolek, V. Ashiwal, S. Bandyopadhyay et al. , “Automated control logic test case generation using large language models,” arXiv preprint arXiv:2405.01874 , 2024

Original

2024