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

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

Full description

Saved in:
Bibliographic Details
Published in控制理论与应用 Vol. 35; no. 1; pp. 86 - 91
Main Authors 罗继亮, 邵辉, 吴维敏, 苏宏业
Format Journal Article
LanguageChinese
Published 华侨大学信息科学与工程学院,福建厦门361021 2018
福建省电机控制与系统优化调度工程技术研究中心,福建厦门361021%浙江大学工业控制技术国家重点实验室智能系统与控制研究所,浙江杭州,310027
Subjects
可编程逻辑控制器
programmable logic controller
discrete event systems
现场可编程门阵列
离散事件系统
field programmable gate array
supervisory control
监控理论
Online AccessGet full text
ISSN1000-8152
DOI10.7641/CTA.2017.60929

Cover

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