逻辑控制器设计与离散事件系统监控理论
罗继亮1
邵辉1
吴维敏2
苏宏业2
1.华侨大学信息科学与工程学院,福建厦门361021;福建省电机控制与系统优化调度工程技术研究中心,福建厦门3610212.浙江大学工业控制技术国家重点实验室智能系统与控制研究所,浙江杭州,310027
摘要：物联网等通信技术将越来越多的控制元件集成起来,导致系统规模快速增长,逻辑控制规范也日益复杂,任何逻辑错误都可能造成重大事故和人身灾难,再加上"维数灾"问题,安全可靠的逻辑控制程序的设计和调试面临巨大的计算复杂性难题.而离散事件系统监控理论旨在研究复杂控制规范的设计和实现问题,将连锁、互斥、字符串语言等复杂控制逻辑描述为自动机或Petri网,然后转换为可编程逻辑控制器或现场可编程门阵列上执行的程序代码.本文综述了现有的逻辑控制器的形式化设计方法,主要涉及如何利用监控理论(自动机或Petri网)来缩短程序开发周期、提高程序可重用性和确保程序可靠性和安全性等问题.
关键词：可编程逻辑控制器离散事件系统现场可编程门阵列监控理论
分类号：TP273(自动化技术及设备)
论文发表日期：2018-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 86-91 )
英文信息