基于神经网络算法的实时DES监督控制

本文在包含状态转移时间离散事件系统（ＤＥＳ）的自动机模型基础上，引入神经网络优化算法用以确定表征闭环系统最大允许逻辑行为的语言Ｋ的一个某项指标最优的子集Ｋｅｐｔ，并探讨了这种情况下用Ｒ－Ｗ理论设计监控ＤＥＳ的有关问题．     

基于事件反馈的DES监控理论

本文首先综述了近年基于事件反馈的ＤＥＤＳ监控理论取得的进展，着重给出了几个主要研究方向的结果和存在的问题，同时对这一理论的应用领域特别是工业过程中的应用进行了讨论，指出了今后的发展方向。     

离散事件系统不透明性监督控制研究综述

离散事件系统不透明性是指外部观察者无法分辨系统的一系列行为是否为系统所发生的.而离散事件不透明性监督控制则是构建监督器控制系统行为,使系统满足不透明性的一种方法.离散事件系统不透明性与信息安全有着紧密的联系,并得到了广泛的应用.首先对离散事件系统做了简要的概述,然后介绍了不透明性监督控制算法的研究现状,最后进行了总结和展望.     

基于RW框架的离散事件系统监督控制理论计算和仿真平台

介绍了一种以基于RW框架的离散事件系统监督控制理论为理论基础的计算和仿真平台,并通过实例验证了该平台的仿真效果和所包含的功能。该平台力求以完整的功能列表、友好的用户界面和强大的图形输出,帮助研究人员更好地应用该理论。     

基于状态树结构的离散事件系统模块化监督控制

在状态树结构(State tree structures, STS)的基础上提出了离散事件系统的模块化监督控制方法. 该方法中, 系统模型是状态树结构模型, 控制指标以谓词形式给出. 把控制指标分解为几个子控制指标的合取形式, 对每个子控制指标分别设计非阻塞最优监督控制器, 并保证闭环系统行为满足控制指标要求且是非阻塞最优的. 本文研究了模块化监督控制器存在性条件, 给出了模块化监督控制器的综合过程; 当闭环系统阻塞时, 引入协调器来解决闭环系统阻塞问题并且给出了协调器的设计方法.     

离散事件系统最优监督控制算法

离散事件系统的监控器可以通过禁止可控事件来使系统满足安全性和活性规范。然而,监控器并不对允许发生的可控事件主动进行选择,所以存在同时允许多个可控事件发生的情况。但在实际应用中,如交通调度、机器人路径规划中,要求系统在每个状态下最多只允许一个可控事件的发生。针对上述问题,引入一种最优机制来量化控制成本,并提出一种离散事件系统最优监督控制算法,以确保系统的安全性和活性,并使事件执行累计的成本最小。首先,给定受控系统和行为约束的自动机模型,并基于Ramadge和Wonham的监督控制理论求解出无阻塞和行为最大许可的监控器;其次,通过定义的成本函数为监控器中每个事件的执行赋予相应成本;最后,利用动态规划思想迭代计算求解出最优定向监控器,从而实现每个状态下最多发生一个可控事件和事件执行累计的成本最小的目标。使用单向列车导轨案例和多轨道列车控制案例来验证所提算法的有效性和正确性。对于上述两个案例,所提算法求解的定向监控器到达目标状态所需的事件执行累计的成本分别为26.0和14.0,低于贪心算法的27.5和16.0,以及Q-learning算法的26.5和14.0。     

组件多工作模式下的离散事件系统监督控制方法研究

针对组件多工作模式下的离散事件系统,提出一种监督控制方法.利用Ramadge-Wonham监督控制架构,计算出组件各工作模式下对应的监督控制器.然后,利用所提的merge算法将组件各工作模式下对应的监督控制器合并,以生成融合监督控制器.再利用所提的事件选择函数得到在融合监督控制器各状态允许发生的事件,从而保证系统在融合监督控制器作用下的可控且非阻塞运行.最后,通过一个带反馈功能的制造系统演示本文所提方法的有效性,该系统中的检测单元将根据工件未通过检测的次数选择工作模式.相比于运用扩展有限状态机进行变量抽象的方法,本文所提方法更加直观简便,并能适应多个工件同时处于系统中时的情形.     

统一框架的DES理论的构思

本文首先介绍了常用的ＤＥＳ理论，分析了它们之间的关系。提出了统一框架下建立ＤＥＳ理论的设想与前提。最后对ＤＥＳ理论如何在我国进一步实用化与完善，提出了几点粗浅的意见。‘     

模糊离散事件系统监督控制理论

为了将经典离散事件系统 (Discrete event systems, DES) 中的监控理论扩展到模糊离散事件系统 (Fuzzy discrete event systems, FDES) 中, 总结了目前 FDES 建模和监控理论方面的成果, 进一步讨论了 FDES 的能控性, 给出了非阻塞监控的条件. 对 FDES 的能控子语言与优化监控进行了分析, 得到了能控子语言的性质. 以模糊自动机作为监控的一种形式, 给出了监督控制具体的实现方法, 这对于进一步开展 FDES 的研究工作是有益的.     

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

A quite great progress of the supervisory control theory for discrete event systems (DES) has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists aproblem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especiallythe deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.     

Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking

This paper proposes a two-level hierarchical supervisory control scheme for a discrete event system (DES), where the low-level is represented in the standard Ramadge-Wonham framework and the high level is represented by a DES with flexible marking (DESFM). As shown, the flexibility in the definition of marking provided by a DESFM simplifies the modeling of the high-level marking behavior. This approach, when compared with other approaches, requires less events and states to model the high-level, while guaranteeing hierarchical consistency.     

Steering of Discrete Event Systems: Control Theory Approach

Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do not assume a system model and hence cannot predict violations until they occur. This limits the practical applicability of runtime verification. Steering is the process of predicting the occurrence of violations and preventing them by controlling system execution. Steerers can achieve this using a limited knowledge of the system model even in situations where it is infeasible to store the entire model. In this paper, we explore a control-theoretic view of steering for discrete event systems. We introduce an architecture for steering and also describe different steering paradigms.     

离散事件系统的一种N步在线监控策略

文中给出了离散事件系统的一种N步在线监控策略.其特点是控制策略取决于系统当前运行的N步后继运行投影或预测,无需计算非能控语言的上限能控子语言,通过适当选取N,仍可保证系统的最优运行.同时还给出了与之相关的一些理论结果.     

实时并发离散事件系统的监控

用受控赋时Ｐｅｔｒｉ网为具有并发事件的实时离散事件系统建模，并研究了这类模型下的监控问题，给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法。     

离散事件系统的一种最优监控综合方法

本文基于ＤＥＳ的Ｄ－自动机模型，提出一种最优监控综合问题，然后讨论了该问题解的存在性，最后利用极小代数给出了求解该问题的方法。     

离散事件动态系统的分层最优监控

采用流网络的完备最小割将Ｋｕｍａｒ提出的离散事件系统最优监控理论拓展到标识语言的情形,提出了在受控系统的可达状态集中优化某种指标的分层优化思想,给出了寻找可控最优子语言的算法。     

部分同步离散事件系统的分散监控

本文研究一类部分同步离散事件系统分散监控与集中监控等价的条件,得到按控制指标自然分解的分散监控实现方式,由此提出了整体、局部目标最优实现一致性问题,并讨论了分散监控闭合回路的两种控制作用机理.最后给出了一种辅助分散监控的协调方案.