逻辑控制器设计与离散事件系统监控理论

作     者：罗继亮 邵辉 吴维敏 苏宏业 LUO Ji-liang;SHAO Hui;SHAO Hui;SHAO Hui

作者机构：华侨大学信息科学与工程学院福建厦门361021 福建省电机控制与系统优化调度工程技术研究中心福建厦门361021 浙江大学工业控制技术国家重点实验室智能系统与控制研究所浙江杭州310027 

基　　金：国家自然科学基金项目(61573158 61374066 61621002 61773343) 浙江大学工业控制国家重点实验室自主课题(ICT 1607) 福建省科技计划项目(2015H0026) 福建省自然科学基金项目(2017J01117)资助~~ 

出 版 物：《控制理论与应用》 (Control Theory & Applications)

年 卷 期：2018年第35卷第1期

页      码：86-91页

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

主 题 词：可编程逻辑控制器 离散事件系统 现场可编程门阵列 监控理论 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 0802[工学-机械学] 0811[工学-水利类] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.7641/CTA.2017.60929

馆 藏 号：203284639...