LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code

Akira King, Valeriy Vyatkin. LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code. In 30th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2025, Porto, Portugal, September 9-12, 2025. pages 1-8, IEEE, 2025. [doi]

Abstract

Abstract is missing.