基于非齐整自动机模型的离散事件系统监控

本文研究了一类不能用齐整自动机建模的离散事件系统的监控问题,首先介绍了自动机齐整性的定义及检测方法，接着给出了将系统分解为若干个子系统的算法，最后讨论了系统监控问题，所得结果具有一定的参考价值。     

用神经网络实现离散事件系统监控可能性研究

本文讨论了Hopfield神经网络的以描述人造系统为主的离散事件系统打似之处，以及用神经网络作为离散事件系统模型和监控器的可能性，并指出神经网络优化算法用于实时监控综合的优点及需要解决的问题。     

基于隐蔽性裕度的离散事件系统监控

本文研究了离散事件系统基于隐蔽性裕度的k–隐蔽性验证及监控综合问题.首先,文章分别给出基于语言和基于(估计)状态的隐蔽性裕度的概念,通过提出两者之间的等价关系,给出基于状态的隐蔽性裕度与基于语言的隐蔽性裕度等价的性质.之后,提出系统满足k–隐蔽性的充分性条件可以通过状态的隐蔽性裕度获得.并以此条件,分别给出计算状态的隐蔽性裕度以及验证k–隐蔽性的算法.再后,如果系统不满足k–隐蔽性时,又给出一种算法来获取监控器使闭环系统是k–隐蔽的,并且给出定理说明获得的监控器不仅可以保持受控系统的k–隐蔽性,而且表明其是最大允许的.最后,利用实例说明验证系统的k–隐蔽性以及获取保持k–隐蔽性的最大允许监控器构造方法的有效性.     

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

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

离散事件系统监控与状态反馈方法的等价性

本文证明控制指标以谓词形式给出时,采用监控方法能使受控离散事件过程的可达状态与采用状态反馈逻辑的可达状态相同;控制指标以语言形式语言形式给出时,采用状态反馈逻辑也能使受控离散事件过程生成采用监控方法时生成的语言,因而从综合角度看,这两种方法等价。     

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

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

实时离散事件系统适应性监控的一个结果

1 问题的提出 在离散事件系统监控理论中,适定性是一个很重要的问题。在文献[1,2]中,所考虑的系统对应的适定监控问题不存在最优解。在这个注记里,我们将说明对含确定性状态时间的一类实时离散事件系统,其相应的适定监控问题有最优解存在。     

连续计时离散事件系统监控及其可观性

本文提出了一种带有连续时间变量的离散事件系统(称为计时离散事件系统)结构模型.通过讨论计时语言的性质,如封闭性、可控性以及可观性,研究了计时离散事件系统的监控综合问题,并基于这些性质,分别提出了计时离散事件系统在完全可观与部分可观条件下监控器存在的充要条件.     

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

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

Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets

This article addresses a modular state feedback supervisory control problem where two local controllers should achieve a common control objective against another local controller. Each local controller has its own control objective described as a predicate. This article also addresses a nonblocking modular control problem in which a discrete event system controlled by three local controllers tends to reach the common marked states of two local controllers that are, however, prohibited by the third local controller. For a case study, we apply the proposed theory to an oligopolistic market composed of two firms and one government. Two oligopolistic firms have a common objective to maximise their total profit through collusion. However, the government prevents them from engaging in collusion. We show that the modular supervisory control theory presented in this article can be used to solve the problem of ‘how can the firms maximise their total profit against the intervention of government’?     

离散事件系统的混合分散监控

研究了混合信息下的分散监控综合问题.首先提出δ-可观察(hδ-可观察)可控闭语言是(状态部分可观察下)状态反馈综合解存在的充要条件,并由此得到n-联合可观察、可控闭的系统约束是保证混合分散监控器存在的充要条件,进而得到纯分散监控器(控制器)存在的充要条件为n-可观察(n-hδ-可观察)可控闭语言被满足.最后,又通过研究系统约束与混合约束的关系,提出混合分散监控器存在的充分条件是可观察、可控闭语言与可观察可控谓词被满足.     

一类离散事件系统的监控器综合

前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限Petri网.针对不可控影响子网为前向无同步前向无冲突网的广义互斥约束,显式地给出了最大允许控制策略的计算方法.并用一个例子给予了说明.     

计算DES监控中优于闭可识别语言的闭可观子语言

本文给出一种求闭能观子语言的算法,该算法经ｍ步（系统中离散事件个数）收敛;并且证明无论对系统中事件如何排序,由该算法求出的闭能观子语言总包含最大闭可识别子语言。     

An Equivalent CTL Formulation for Condition Sequences

A condition system is a form of Petri net that interacts with other condition systems and the environment via state-based signals called conditions. The condition language framework has been used in previous papers to characterize the input/output behavior of such interacting systems, as well as to specify desired control behavior among other things. In this paper, we show that condition sequences (the specification) and condition systems (the model of the system) have an equivalent structure in the computation tree logic (CTL) framework. The primary goals of this work are to be able to utilize existing tools for program verification for our systems, and to make our work more accessible to the temporal logic community.     

网简化技术在Petri网反馈控制器设计中的应用

针对基于Petri网离散事件系统库所标识不等式约束反馈控制器的设计问题,提出一项新型网简化技术--标识总量保持网简化技术,并利用此项技术把所有约束库所融合为一个与它们标识总量相等的库所,使控制器的设计更为简单,尤其是对规模较大的系统,其优势更加明显.借助一个应用实例,将该控制器设计方法与Moody等人提出的控制器设计方法作比较,表明所提出的控制器设计方法更简单、更有效.