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

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

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

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

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

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

离散事件系统的协调反馈控制

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法。由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具有最大自由度。     

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

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

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

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

完全和部分可观察离散事件系统状态反馈控制间的关系

讨论完全和部分可观察离散事件系统状态反馈控制间的关系,首先讨论了控制方案集及最大控制方案在两个系统这间的关系,由此通过重新定义可观察谓词,较为简单地证明了谓词Ｐ可综合的充要条件是它既可控又可观察。其次,我们在一定条件下将部分可观察ＤＥＳ转化为一个完全可观察ＤＥＳ,并探讨了两者之间的关系。     

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

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

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

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

离散事件动态系统的状态反馈控制理论进展

综述了离散事件动态系统(DEDS)的状态反馈控制理论方面所取得的进展,讨论了几个主要研究方向,并探讨了进一步的研究内容.     

离散Markov跳变系统事件触发H∞量化输出反馈控制

主要研究了基于事件触发机制的离散Markov跳变系统的量化H∞输出反馈控制问题,对系统的建模、稳定性分析、控制器设计等三个方面进行了研究。首先,提出了事件触发通信机制来确定当前采样数据是否能够传输到控制器当中。其次,在传感器与控制器之间引入对数量化器,利用扇形有界方法,量化采样数据达到降低网络中的数据传输速率的目的。接下来,考虑网络诱导时延建立一种具有外部扰动的Markov跳变时滞系统。构造Lyapunov-Krasovskii 泛函,得到使闭环系统渐近稳定且满足H∞性能指标的充分条件,在此基础上设计相应的输出反馈控制器。最后通过数值仿真来证明本文所提方法的有效性。     

离散加工系统反馈控制的代数综合方法

本文研究离散加工系统中异步并发活动的控制与协调问题．系统采用具有外部输入位置的受控标识图描述．通过对外部输入位置中令牌数目的控制，使系统不进入禁止状态集，同时具有最大限度的柔性．系统的逻辑行为用极小代数描述，并由此得到一步允许无冗余控制策略．     

离散事件动态系统理论的发展动向

离散事件动态系统(DEDS)是这样一类人造系统,它在每一时间点上的变化发展依赖于许多不同事件的复杂交互作用,其状态仅在离散的时间点上发生变化。这样的系统很多,如制造系统、计算机系统、城市交通系统、排队服务系统、复杂的多模式过程控制系统等。离散事件动态系统理论自1980年由美国哈佛大学著名教授何毓琦(Y.C.Ho)倡导研究以来,已取得了不小进展。十多年后的今天,问题和成果并存,我们对建立这一理论的困难也有了进一步的认识。本文从探索的角度向读者简介一下此理论的发展情况,与计算机科学的联系,潜在的应用问题,及讨论一下此理论目前存在的问题和未来发展方向。本文不     

具有有界时变不确定性的离散时间系统的H∞状态反馈控制

本文对具有有界时变不确定性的离散时间系统的Ｈ∞状态反馈控制问题进行研究。导出了Ｈ∞干扰衰减约束下系统二次稳定的充分条件，给出了一种基于离散代数Ｒｉｃｃａｔｉ方程的带观测器的鲁棒Ｈ∞状态下反馈综合方法。     

离散事件动态系统理论及应用

文章从系统分析,模型设计,性能分析,控制与优化等几个方面对离散事件动态系统（Discrete Event Dynamic SYstem,DEDS)的研究与发展状况进行了较为系统的综述,对DEDS与连续变量动态进行了简要的对比分析,并指出了DEDS理论在柔性制造,网络通讯,生产调度等方面的应用。     

基于粗糙集理论的离散事件系统不透明性的验证算法

近年来,离散事件系统的不透明性研究引起了国内外众多学者的广泛关注.本文针对离散事件系统的不透明性,提出了一种将粗糙集理论作为知识提取工具来处理离散事件系统不透明性验证的方法.先对离散事件系统的不透明性进行形式化,再利用粗糙集理论对离散事件系统以信息表及决策表的形式进行表示,得到一个关于离散事件系统不透明性的充分必要条件.在此基础上,给出一个验证离散事件系统不透明性算法.与现有方法相比,该验证算法既适用于对强不透明性的验证,又适用于对弱不透明性的验证,并且在时间复杂度上也有较明显改进.     

离散事件动态系统多模型集成控制理论

本文讨论现有各种DEDS模型和理论之间的关系以及建立统一的DEDS理论的可能性问题,主要内容包括:DEDS的复杂性以及对它采用多重模型描述和递阶控制结构的必要性;对现有理论模型和控制问题进行综述以揭示它们作为“知识块”看待时其间的相互联系;集成的方法论和为此目的运用人工智能技术的重要性。     

离散事件系统规范DEVS研究

离散事件系统是一类常见的系统,如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法,它具有层次化和模块化的特点,利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型,给出了DEVS在耦合运算下的封闭性构造证明,并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法,该算法对基于DEVS描述的离散事件系统的仿真实现具有一定参考价值。