离散事件系统的无死锁模块化状态反馈控制

本文讨论离散事件系统的无死锁模块化状态反馈问题。首先我们定义自动机的交与并运算，然后通过引入自动机对的Ｄ－不变关系，我们证明当控制目标是两个谓词的交时，模块化状态反馈控制器是无死锁的充要条件是各子控制器是无死锁的且相应的控制器满足Ｄ－不变关系。我们证明了一个给定的自动机对于另一自动机的Ｄ－不变子自动机类有最大元存大，并由此给出一个综合算法。     

实时离散事件系统的预测状态反馈控制

本文我们将预测监控的一般结果推广到状态反馈控制的情况。给出了预测状态反馈控制器存在的充要条件及设计方法。对一类特殊的系统,我们证明了任一传统的状态反馈控制下的解也是预测状态反馈控制问题的解,从而预测状态反馈控制对这类系统有最优解存在。最后,我们给出了一个例子来说明这一结果。     

一类受控Petri网的反馈控制综合方法

讨论受控Ｐｅｔｒｉ网的一类禁止状态避免问题，该类禁止状态用广义互 约束的形式给出。     

实时离散事件系统的反馈控制策略

考虑实时离散事件系统（ＤＥＳ）的赋时受控标记图中的禁止标识问题，提出了最优延时可行控制策略（ＯＴＦＣＰ）的概念，给出了生成这种能使系统避免进行禁止标识集的反馈控制策略的综合算法。     

实时离散事件系统的动态反馈控制

本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题.基于一定语言的实时可控性的概念,证明了对给定实时离散事件系统G,存在完备监控器φ使L(φ/Gr)=K的充分必要条件是K是闭及实时可控的,并得到了有关实时监控问题解存在的充要条件.     

离散事件系统状态反馈控制的几何理论的进一步拓广

本文研究了定义在状态-事件序列上的谓词的离散事件系统的状态反馈控制问题。离散事件系统的数学模型是自动机。状态反馈与闭环过程的关系及许多基本的几何性质得到了详细的阐明;在这些几何背景下,解决了离散事件系统状态反馈控制的拓广问题,包括关于简单谓词与一般谓词的问题。     

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

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

多步反馈控制作用下的离散事件动态系统的周期计算

我们考察极大代数意义下的线性离散事件动态系统，在多步反馈控制作用下，熟知求系统运行的周期就是要求有ｒｌ个顶点的图的关键回路，本文重构一个只有ｒ个顶点的有向赋权图Ｇ（Ｆ），证明求系统的周期等价于求Ｇ（Ｆ）的关键回路，从而将一个求ｒｌ个顶点的图的关键回路问题简化为求一个只有ｒ个顶点的图的关键回路问题。     

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

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

基于图形处理离散事件系统监控阻塞的新方法

本文提出了一种基于图形处理监控阻塞问题(SCPB)的新方法,用该方法可有效、直观地分析、求解SCPB。为此,本文给出了改进满意程度(SM)和阻塞程度(BM)的几种方法,并指出了这些方法的特性,从而得以同时改进SM和BM,并优化现有的监控器。     

Supervisor Synthesis for Real-Time Discrete Event Systems

This paper introduces a formal framework to logically analyze and control real-time discrete event systems (RTDESs). Time Petri nets are extended to controlled time Petri nets (CtlTPNs) to model the dynamics of RTDESs that can be controlled by real-time supervisors. The logical behaviors of CtlTPNs are represented by control class graphs (CCGs) which are untimed automata with timing and control information in their state transition labels. We prove that the CCG corresponding to a CtlTPN expresses completely the logical behavior of the CtlTPN. The real-time supervisor is based on a nondeterministic logical supervisor for the CCG, including the delay for control computations to ensure the supervisor is acceptable in a true real-time environment. We prove the existence of a unique maximal controllable sublanguage of a given specification language and present an algorithm to construct the sublanguage. We also prove that the real-time supervisor meets the prespecified real-time behavior and present an online control algorithm to implement real-time supervisors. The concepts and algorithms are illustrated for an example of packet reception processes in a communication network.     

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.     

离散事件动态系统中的控制综合问题

本文将离散事件动态系统（ＤＥＤＳ）监控方法中的控制综合问题作了系统的分类，得到了六种控制综合问题，并将它们表示成泛函极值问题，讨论了它们的可行解，最优解的存在性，可生解集的结构以及相互之间的关系。     

一类受控Petri网的状态反馈逻辑的综合

将Holloway和krogh关于受控标记图的禁态控制方面的结果扩展到更广泛的一类受控Petri网--不可控子网为前后向无冲突的受控Petri网,并去掉了关于初始标记和禁态规范的限制.