| 逻辑控制器设计与离散事件系统监控理论 |
| |
| 引用本文： | 罗继亮,邵辉,吴维敏,苏宏业.逻辑控制器设计与离散事件系统监控理论[J].控制理论与应用,2018,35(1):86-91. |
| |
| 作者姓名： | 罗继亮 邵辉 吴维敏 苏宏业 |
| |
| 作者单位： | 华侨大学,华侨大学,浙江大学,浙江大学 |
| |
| 基金项目： | 国家自然科学基金项目(61573158, 61374066, 61621002, 61773343), 浙江大学工业控制国家重点实验室自主课题(ICT 1607), 福建省科技计划 项目(2015H0026), 福建省自然科学基金项目(2017J01117)资助. |
| |
| 摘 要： | 物联网等通信技术将越来越多的控制元件集成起来,导致系统规模快速增长,逻辑控制规范也日益复杂,任何逻辑错误都可能造成重大事故和人身灾难,再加上"维数灾"问题,安全可靠的逻辑控制程序的设计和调试面临巨大的计算复杂性难题.而离散事件系统监控理论旨在研究复杂控制规范的设计和实现问题,将连锁、互斥、字符串语言等复杂控制逻辑描述为自动机或Petri网,然后转换为可编程逻辑控制器或现场可编程门阵列上执行的程序代码.本文综述了现有的逻辑控制器的形式化设计方法,主要涉及如何利用监控理论(自动机或Petri网)来缩短程序开发周期、提高程序可重用性和确保程序可靠性和安全性等问题.
|
| 关 键 词： | 可编程逻辑控制器 离散事件系统 现场可编程门阵列 监控理论 |
| 收稿时间： | 2016/12/7 0:00:00 |
| 修稿时间： | 2017/5/27 0:00:00 |
Synthesis of logical controllers and discrete-event systems supervisory control theory |
| |
| LUO Ji-liang,Shao Hui,Wu Wei-min and Su Hong-ye.Synthesis of logical controllers and discrete-event systems supervisory control theory[J].Control Theory & Applications,2018,35(1):86-91. |
| |
| Authors: | LUO Ji-liang Shao Hui Wu Wei-min and Su Hong-ye |
| |
| Affiliation: | Huaqiao University,Huaqiao University,Zhejiang University,Zhejiang University |
| |
| Abstract: | |
| |
| Keywords: | programmable logic controller discrete event systems field programmable gate array supervisory control |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《控制理论与应用》浏览原始摘要信息 |
|
点击此处可从《控制理论与应用》下载全文 |
|
