论文部分内容阅读
物联网等通信技术将越来越多的控制元件集成起来,导致系统规模快速增长,逻辑控制规范也日益复杂,任何逻辑错误都可能造成重大事故和人身灾难,再加上“维数灾”问题,安全可靠的逻辑控制程序的设计和调试面临巨大的计算复杂性难题.而离散事件系统监控理论旨在研究复杂控制规范的设计和实现问题,将连锁、互斥、字符串语言等复杂控制逻辑描述为自动机或Petri网,然后转换为可编程逻辑控制器或现场可编程门阵列上执行的程序代码.本文综述了现有的逻辑控制器的形式化设计方法,主要涉及如何利用监控理论(自动机或Petri网)来缩短程序开发