模糊离散事件系统的性质

有效地刻画一个系统动态变化和状态的不确定性,作为经典离散事件系统的推广,模糊离散事件系统最近被提出并研究。该文用自动机和形式语言的方法研究了由自动机建模的模糊离散事件系统的一些性质,并给出乘积合成系统监督控制器的存在性条件,这些都是离散事件系统对应性质的推广。     

离散事件系统之间的等价性

目的 研究离散事件系统之间的等价关系。方法 以自动机为离散事件系统的模型。用形式语言描述系统行为。结果 给出院 确定性离散事件系统和非确定性离散事件系统之间的等价定理。结论 利用所得定理通过已有的确定性离散事件系统的控制结果来研究非确定性离散事件系统的控制。     

离散事件系统之间的等价性

目的　研究离散事件系统之间的等价关系 .方法　以自动机为离散事件系统的模型 ,用形式语言描述系统行为 .结果　给出了确定性离散事件系统和非确定性离散事件系统之间的等价定理 .结论　利用所得定理通过已有的确定性离散事件系统的控制结果来研究非确定性离散事件系统的控制     

用布尔矩阵分析离散事件系统

本文用布尔矩阵研究了一类可用自动机描述的离散事件系统有在关性质。通过简单的矩阵运算，便可确定出系统状态间的距离（事件数）等参数。此外还讨论了用状态转移矩阵确定系统的可能逻辑迹集等问题。     

离散事件系统的逻辑监控理论

离散事件系统作为系统与控制理论的一个新兴分支和前沿方向,其研究日益受到人们的重视。本文介绍了Ramadge和wonham以及其他学者提出的逻辑监控理论。     

考虑事件并发下离散事件系统的监控研究

Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ所提出的基于形式语言／自动机的逻辑监控理论中，对于多个子过程组成的复杂离散事件问题，采用Ｓｃｈｕｆｆｌｅ积得到整个系统的积系统模型描述，其中排除了各子过程之间事件的同时发生，即未考虑并发非确定性，然而，从原理上及工程有度来说，在任何子过程之间的事件都可以且可能同时发生（并发）。因此考虑子过程间事件并发下离散事件问题的监控即是讨论中心。     

分析离散事件系统的新方法

本文用图论的方法构造出适宜用自动机建模的离散事件系统的布尔矩阵，通过对布尔矩阵的运算，既可得出系统状态集与转移的最短路径，为藉此设计最优监控器打下基础。     

实时离散事件系统监督控制的代数分析

本文基于离散事件动态系统（ＤＥＤＳ）的自动机模型，用极大和极小代数时状态转移时间，在某一范围内变化时的有关问题进行了分析。     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

离散事件状态反馈系统的一个新模型

对离散事件系统的状态反馈控制提出一个基于自动机的新模型,统一了无并发与有并发的Ramadge-Wonham模型与可控Petri网模型,并以公理的形式给出,讨论了给定谓词P的极大允许状态反馈的惟一性,基本系统与并发系统间的关系,从而可以将并发系统转换为简单的非并发基本系统来研究。     

随机离散事件系统的故障预测

针对随机系统模型,提出一种随机离散事件系统的故障预测方法. 先对随机离散事件系统的故障可预测性进行形式化,再通过引入概率转移矩阵构建一个故障预测器自动机,得到关于随机离散事件系统的故障可预测性的充分必要条件. 由此,在故障预测器的基础上,通过计算其扩展马尔可夫矩阵,可判定随机离散事件系统是否具有故障可预测性,从而实现对故障事件在其发生之前的准确预测.     

离散事件系统一类禁止状态避免控制

以Ｐｅｔｒｉ网为模型描述某些离散事件系统，把实际系统中一些不希望出现的现象抽象为一类禁止状态，解决了这类禁止状态的避免控制问题     

分布式离散事件系统的模式故障预测研究

针对分布式离散事件系统,提出了一种模式故障预测方法.首先对分布式离散事件系统的模式故障可预测性进行形式化.通过构造一个模式故障识别器,从系统所有行为中识别出所发生的模式故障,并针对分布式系统的不同观测点构造不可观测闭包.在此基础上,联合各站点观测到的事件序列构造出模式故障预测验证器,解决了分布式离散事件系统的模式故障预...     

离散微分代数系统的有界性及周期解的存在性

研究离散微分代数系统的解的有界性，得出：若一个具有周期性质的离散微分代数系统的解是最终有界的，则必存在周期解．利用广义Lyapunov函数研究一类离散微分代数大系统，给出了其存在周期解的充分条件．     

滞后中立型线性离散系统的又一滞后无关稳定性判据

利用Ｒｅｙｌｅｉｇｈ商及Ｈｅｒｍｊｔｅ矩阵的性质，研究了滞后中立型线性离散系统的滞后无关稳定性。给出了较简单的稳定性判据，例子表明了该判据的有效性。     

线性离散区间系统的稳定性

研究线性离散区间系统稳定性的判定问题,利用两个端点矩阵的稳定性分别给出区间系统稳定性的判定准则。