- 综合排序
- 最热优先
- 最新优先
- 来自专栏Hello工控
让PLC听懂人话：大语言模型进军工业控制必读论文清单（收藏版）！
论文标题 核心研究方向 资源链接 LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs 形式化验证、nuXmv Text Language for PLCs ST 语言的形式化语义定义，为验证提供理论基础 arXiv:2202.04076 ️ 关键技术组件参考 • 形式化验证器 (Model Checkers):nuXmv
18010编辑于 2026-04-28
时间不限
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号