基于广义离散事件动态系统的多路口智能交通流量控制

在传统意义上的离散事件动态系统中事件定义的基础上,提出了广义离散事件动态系统的思想.通过对事件属性划分的动态调节,使事件的辨识条理化.对公路交通中的多路口流量建模,并进行了分析.基于广义离散事件动态系统的调度思想,利用人工代谢算法对交通流量进行了控制分析.分析结果表明:广义离散事件动态系统能对系统的状态进行进一步的细化.人工代谢算法与该系统相配合,通过代谢算子的调节能较快地实现整个系统负荷均衡,能对流量的变化进行自适应调节.     

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

本文综述了离散事件系统监督控制基本理论及成果。介绍了离散事件系统的自动机表示、监督控制、模块化监控、分散监控，以及与之有关的语言可控性、可观性和可识别性等概念。     

模糊离散事件系统的多故障诊断

针对诊断器不能只依赖自身就能判断诊断的缺点,基于不可区分串的概念,提出一种模糊离散事件系统的多故障诊断方法.首先,基于极小可观测事件构造模糊自动机相应的诊断器,用于寻找不可区分串的集合;其次,根据诊断器的性质,提出模糊离散事件系统的多故障可诊断的充分必要条件;最后,通过实例进行验证.结果表明:该方法为模糊离散事件系统的多故障诊断提供一种简单可行的新途径.     

具有并发事件的离散事件系统的动态监控

本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法。．     

离散事件系统基于语言的最优监控方法

针对一类实际问题研究在合法行为基础上的最优控制,在合法行为集上定义数量指标,提出该数量指标下的最优控制问题,最后证明此最优控制问题解的存在性。     

离散事件系统的可纠错性研究

故障诊断及纠错是离散事件系统研究热点之一,主要研究在控制器实施控制的情况下,如何对离散事件系统的故障实行纠错,使系统运行在可接受状态范围内.通过对可纠错状态的形式化,提出了一种基于系统状态圈的纠错方法,给出了构造纠错控制器的算法.在探讨多次状态转移时故障事件规律发生的基础上,给出了系统的最小可纠错状态集的具体计算方法,提出了在最小状态集下离散事件系统控制器的构造方法,并给出了一种控制器实施控制的方案.     

离散事件系统的控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法。该方法首先把冲突问题转化为禁止状态问题。然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制，文中还给出了求解控制的有效算法。     

并发矢量离散事件系统的状态反馈控制

以自动机为模型 ,利用形式语言讨论了并发事件存在的情况下 ,矢量离散事件系统的非确定状态反馈控制 ,对所得结论给出了证明     

离散事件系统仿真技术

本文阐述了离散系统计算机仿真技术原理以及通过离散系统仿真语言GPSS实现编程的过程。     

离散事件控制系统规则化描述方法的研究

离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。     

基于不变量综合离散事件系统Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数（弧权值）和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.     

离散事件系统非阻塞模块监控器设计

为解决离散事件系统模块监控中的阻塞问题，提出了一种新的监控器设计思想，在监控器之间建立通信的基础上，运用传统的模块监控器设计方法，基于估计状态独立设计各个监控器，在各监控器间的协调中，利用基于优先权函数模块控制（MCP）机制，使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的，利用这种方法的监控器非阻塞的充分条件是系统每个事件有一个监控器能观，最后给出一个应用实例，说明设计思想的有效性。     

A new coordination method for multi-robot system

This paper proposes a new coordination method for multi-robot system. The state space for a multi-robot system is constructed according to the task requirements and system characteristics. Reachable state for the system is constrained by the system's internal and external constraints, under which the task is executable if there exists a state transition trajectory from the initial to the goal state in its state space. If the task is realizable, the feasible or the optimal strategy for task execution could then be investigated in the state space. Otherwise, the task could be modified to be realizable via adjusting system's configurations and/or task constraints, which provides critical guidance for system reconstructions. This contributes to the designing and planning of the robotic tasks. Experiments of multi-robot formation movement are conducted to show the validity of the proposed method.     

基于相邻矩阵的多机器人编队容错控制

针对基于leader-follower模式的多机器人编队运动中可能出现的机械故障和网络故障,提出了一种基于相邻矩阵的容错控制方法,利用相邻矩阵表示编队中多机器人的相互位置关系,一旦在编队运动过程中出现故障,则利用调整队形搜索算法找到需要进行队形调整的机器人编号,根据相邻矩阵更新算法,这些编号所代表的机器人的相邻关系在相邻矩阵中得以调整,新的理想编队所对应的相邻矩阵产生,编队队形就可以依赖相邻矩阵重新得以恢复。从而实现多机器人编队的容错控制,仿真实验证明了该方案的有效性和可行性。     

基于Petri网的离散事件系统初始资源优化配置

资源优化配置技术能够在系统执行任务之前提供合理的资源分配方案,以满足预先设定的生产目标、成本等约束条件,对于节约成本、提高经济效益具有重要意义.本文基于Petri网研究离散事件系统的初始资源优化配置问题.首先,根据Petri网的结构化特性将初始资源优化配置问题抽象为整数线性规划问题;其次,利用Lingo等软件求解初始资源优化配置问题;最后,利用实例对提出的方法进行验证.实验结果表明,提出的方法简单,高效,具有重要的实际意义.     

基于输出反馈的离散时滞系统的鲁棒容错控制

研究离散一步时滞系统的鲁棒容错控制.采用带有时滞项的输出反馈控制律,针对传感器和执行器故障进行D稳定容错控制研究,并给出满足D稳定的充分条件,以及控制器的设计方法和步骤.较之单纯的完整性设计在容错的目标方面具有更大的适应性和实用性.仿真实验验证了该方法的有效性.     

基于MAPSO的混合式多机器人编队控制

为了解决目前编队控制中队形不稳及复杂环境适应性差等问题,针对全局环境中含有动/静态障碍物的复杂环境,提出一种将Leasder-Follower法及人工势场法改进结合的混合式多机器人编队控制新方法;同时,引入多智能体粒子群优化(MAPSO)算法对多机器人编队控制相关参数进行在线优化,能有效避免机器人陷入局部最优,增强其抗干扰能力.对该方法进行仿真分析,并和Leasder-Following法与基于行为法相结合的混合编队控制方法进行比较.结果表明:MAPSO的混合式多机器人编队控制方法能更好地完成多机器人在复杂环境下的编队控制任务,验证了其有效性和可行性.     

基于行为的多机器人对手意图识别二次估计方法

在动态对抗性环境下竞争的多机器人系统,对于对手的意图进行有效而准确的识别,从而有针对性地提出对策,是获得优势的必要条件。该文针对多机器人系统的对手意图识别提出了基于行为的行为序列估计和行为规则拟合的二次估计方法,引入环境约束、危险评价和行为概率作为判据对多个意图进行排序,避免单一行为结果的推断,实时准确地为决策提供支持。通过机器人足球这一典型的对抗性多机器人系统平台进行了验证,证明该方法在实时性和准确性上均比现有方法有很大提高。     

基于Petri网的AUV水文学调查使命中任务调度过程的仿真

AUV水文学调查使命的任务调度过程是一个复杂的离散事件过程，包括了航渡、勘查、GPS校正、避碰等众多事件，各事件之间的转换是由各种战术规则和随机海洋环境所决定的，具有并行、异步和冲突竞争等特点，在建立了描述这些事件的Petri网的基础上，提出了处理并行和竞争变迁的实施原则，并对调度算法进行编程仿真，实现了AUV水文学调查使命的任务调度过程描述的可视化。