共查询到10条相似文献，搜索用时 15 毫秒
1.
针对控制系统结构复杂,规模庞大的问题,以自动机作为系统的模型,研究了扩展全局监控器存在条件下的分散监控综合问题。由经典离散事件系统的局部监控器存在条件,延伸得到模糊离散事件系统的局部监控器存在条件,得到了全局监控器的存在条件。在系统存在全局监控器的基础上,讨论其与全局控制目标之间的关系,避免常规方法研究复杂系统时的分析困难和综合复杂性,从而为模糊离散事件系统监控理论的应用探寻新的途径。 相似文献
2.
给出了一类具有功能性反应的捕食被捕食离散模型正平衡点的存在条件,利用代数中特征值判别法得到正平衡点局部稳定的充分条件,通过构造适当的L iapunov函数,讨论了正平衡点的全局稳定性. 相似文献
3.
文章研究了一类具有离散和分布时滞的中立型细胞神经网络的全局渐近稳定性问题,首先利用拓扑度原理等相关知识,证明了系统的平衡点的存在唯一性,然后通过构造Lyapunov-Kra-sovskii泛函,得出了具有离散和分布时滞的中立型神经网络系统的平凡解的全局指数稳定性的判别条件。 相似文献
4.
在系统与监控器的优先同步运行下,讨论了具有强迫事件的ＤＥＳ的事件反馈控制;在预先给定的闭环系统的行为规范条件下,不仅得到了监控器存在的充分条件条件,而且通过构造监控器这一结论进行了证明。 相似文献
5.
离散事件系统非阻塞模块监控器设计 总被引：2，自引：0，他引：2
为解决离散事件系统模块监控中的阻塞问题，提出了一种新的监控器设计思想，在监控器之间建立通信的基础上，运用传统的模块监控器设计方法，基于估计状态独立设计各个监控器，在各监控器间的协调中，利用基于优先权函数模块控制（MCP）机制，使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的，利用这种方法的监控器非阻塞的充分条件是系统每个事件有一个监控器能观，最后给出一个应用实例，说明设计思想的有效性。 相似文献
6.
提出一类具有食饵避难和一般收获项函数的Leslie-Gower捕食系统的征税模型.首先分析该系统的平衡点的存在性;然后根据Hurwitz判别法分析各个平衡点的局部渐近稳定的充分性,利用适当的Lyapunov函数,得到正平衡点全局渐近稳定的充分性条件;最后通过Pontryagin最大值原理得到了达到最优税收量的最优平衡解. 相似文献
7.
带有不确定性的离散广义系统的二次稳定性 总被引：2，自引：0，他引：2
提出了一类不确定离散广义系统二次能稳定性的定义,利用李雅普诺夫方法,通过解一个黎卡提方程获得状态控制矩阵,给出了判别该系统是二次能稳定的算法 相似文献
8.
具有并发事件的离散事件系统的动态监控 总被引：1，自引：0，他引：1
本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法。． 相似文献
9.
离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出了标签可达图的概念和构建算法,其次提出了一种新的可诊断性验证算法来验证有界Petri网是否满足可诊断... 相似文献
10.
基于C/E系统监控器的CPLD实现 总被引：3，自引：2，他引：1
文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子 相似文献