离散事件系统的监督与重构

项目名称： 离散事件系统的监督与重构

项目编号： No.61472295

项目类型： 面上项目

立项/批准年度： 2015

项目学科： 自动化技术、计算机技术

项目作者： 朱旺

作者单位： 西安电子科技大学

项目金额： 80万元

中文摘要： 随着信息技术的发展与大规模自动化系统的诞生，自动控制系统在工业生产中的地位逐步提升。自动控制系统的监督控制器设计、故障诊断、状态重构及资源优化等问题引起了学术界与工业界的共同关注。本项目以离散事件系统Petri 网模型为基础，主要开展以下内容的研究：(1)利用部分可观Petri 网模型，寻求求解离散事件系统观测器和诊断器设计的高效算法。扩展库所标识的观测函数，将可观测性及可诊断性问题推广至传感器分配问题；(2)克服传统监督控制理论中控制器设计需遍历所有可达状态的缺陷，利用基于线性代数的方法有效地求解控制器。对分布式控制系统实现基于一致协商通信的分布式监督控制，并提出分布式控制策略的一般化方案；(3) 基于Token 约束和变迁发射速率约束下的Petri 网的最优资源分配策略问题，以循环时间事件图为出发点，探索资源分配优化的精确算法；(4)开发实现相关算法的工具包。

中文关键词： 离散事件系统；监督控制；Petri网；重构

英文摘要： With the development of information technology and the fusillade of large-scale highly automated manufacturing systems, the importance of automatic control systems is greatly recognized in the industrial field. The significant issues including supervisor design, fault diagnosis, reconfiguration and resource optimization are the common concerns of both scientists and manufacturers. This project, based on Petri nets that are an effective tool that can well model discrete event systems, will focus on the following issues: (1) for partially observable Petri nets, establish efficient algorithms to compute its observer and diagnoser, extend the observation function of the plant nets, and optimize the distribution of the sensors; (2) derive efficient techniques to synthesize supervisors of the plants without an explicit enumeration of the state space through linear algebraic approaches; address the distributed controller design based on consensus schemes, and develop a generalize solution to distributed control problem; (3) for a special subclass of Petri nets: Weighted Cyclic Timed Event Graphs, derive efficient exact algorithms for the optimal resource allocation by considering two types of resource primitives: token distribution and firing rates of transitions; (4) develop software packages for the related algorithms.

英文关键词： Discrete Event System;Supervisory Control;Petri Net;Reconfiguration