混合Petri网及其可达性分析

混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件,以及离散事件或连续演变的并发问题,该网可以覆盖离散Ｐｅｔｒｉ网和赋时Ｐｅｔｒｉ网,从而使离散事件系统、实时离散事件和混合系统理论研究统一到同一理论框架中,此外还给出计算混合系统可达状态集的算法。     

混合系统等步长仿真时钟同步方法及性能评价

通过对一类混合系统仿真中的连续系统、离散事件系统及推理决策系统各自仿真时钟的分析,得出了推理决策系统仿真依赖于其他２ 个系统的结果,继而提出了用其中的离散事件系统仿真时钟去同步具有等步长策略的连续系统仿真时钟的等步长方法,并给出了相应的软件实现方法与性能评价准则,解决了该类混合系统仿真时钟的同步问题,从而为该类混合系统的仿真提供理论依据     

混合系统等步长仿真时钟同步方法及性能评价

通过对一类混合系统仿真中的连续系统、离散事件系统及推理决策系统各自仿真时钟的分析,得出了推理决策系统仿真依赖于其他2个系统的结果,继而提出了用其中的离散事件系统仿真时钟去同步具有等步长策略的连续系统仿真时钟的等步长方法,并给出了相应的软件实现方法与性能评价准则,解决了该类混合系统仿真时钟的同步问题,从而为该类混合系统的仿真提供理论依据.      

离散事件动态系统的GSMP模型及扰动分析

对离散事件动态系统（ＤＥＤＳ）的仿真过程建立了包含中断事件集和驱动事件集的广义半马尔可夫过程（ＧＳＭＰ）模型，对参数的无穷小扰动所引起的系统状态转移时刻进行了扰动分析，最后，讨论了扰动分析所需要的可变换条件和样本性能函数的关系，并提出值得进一步研究的问题。     

Cohen公式的一种证明

用了与Ｋａｒｐ不同的方法,证明了Ｃｏｈｅｎ关于计算“线性”离散事件动态系统的闭环系统矩阵在极大代数意义下的特征值的公式。     

离散事件动态系统扰动仿真

概述离散事件动态系统无穷小扰动分析与仿真结合的思想，仅用一条样本轨迹，计算系统性能测度的梯度，在仿真过程中，随着下一事件的确定产生扰动，通过状态更新实现扰动传播，在仿真输出中计算性能测度梯度的估计值，分析研究表明，该方法具有计算量小，梯度估计方差小的优点。     

鲁棒干扰解耦问题的进一步结果

本文是文献[1]工作的继续。主要讨论了同时不变子空间的三种特征:即时域特征、频域特征和几何特征。特别对包含在给定子空间H中的最大同时不变子空间给出了新的描述。利用这些结果,文中首先给出了一类离散扰动系统鲁棒干扰解耦问题的充要条件,然后推广到了连续扰动系统,获得了一个Kharitonov型的结果。     

一类静不平衡控制系统的最优控制

为一类静不平衡控制系统设计了最优控制器，在最优状态反馈和输出反馈的设计中，性能指标是时间变量相乘的二次型，并且在系统设计中同时考虑了性能指标对参数变化的灵敏度，实际的控制系统由常用器件构成，实验结果表明，实际构成的最优控制系统的动态响应与理想的模拟结果相当接近，此类控制系统可用于航空及航海等领域。     

多航天器分布式事件触发分组姿态协同控制

在分布式事件触发机制的基础上对多航天器分组姿态协同控制问题进行了研究。系统内包含若干个分组,并且航天器间的信息交互被抽象为无向拓扑。以修正罗德里格斯参数（MRP）描述航天器的姿态,构造了包含姿态和角速度的辅助变量,并设计了分布式的控制输入。在分布式事件触发机制下,对每个航天器设计了触发函数,并结合代数图论和Lyapunov稳定性理论证明了多航天器能够渐近达到分组姿态协同,同时证明了系统内不会发生Zeno现象。仿真结果验证了在分布式事件触发机制下提出的控制输入的有效性。      

卫星无线测量传输系统的优化设计

介绍了卫星无线测量双向传输系统的优化设计及系统部件参量的选择。采用了随机和正交阵接合的优化方法，给出了系统数学模型，解决了离散变量的曲线和曲面拟合，及约束条件的处理。完成了三站微波中继系统的优化设计。     

差分不等式与离散系统的稳定性

采用“差分不等式”的方法研究离散系统稳定性。文中首先建立几个差分不等式。然后,利用这些不等式来研究非线性离散系统和离散大系统的零解的稳定性问题,得到了用级数的敛散性来判定系统的零解的稳定性的几个充分准则。     

气体浮环动静压混合轴承的特性分析

本文对气体浮环动静压混合轴承的静动态特性进行了研究,并给出计算其高速稳定性的简单方法。理论分析与实验结果表明:环面浅腔二次节流动静压混合型气体浮环轴承的高速稳定性是最佳的。     

微小卫星轨道保持的混合切换控制方法

固体微推力器阵列作为一种新型推力装置用于微小卫星轨道保持具有精度高、无燃料泄漏、冲量可调等优点,但是微推力器推力不连续的特点,使得控制系统设计时与以往的连续系统有所不同。为了充分发挥微推力器高精度的特性,采用基于混合系统的切换控制思想,建立了微推力器混合切换系统控制模型。首先,根据固体微推力器的推力特点推导了卫星离散动力学模型;其次,以李雅普诺夫稳定性定律为基础,设计了混合系统脉冲切换控制律;最后,针对小卫星轨道控制进行了仿真验证。结果表明,基于混合系统建立的控制模型能准确反映微推力器的特点,轨道保持精度能达到0.2m,而且推力器消耗量满足卫星长时间在轨运行要求。     

区间离散系统的鲁棒控制

用值集凸分析方法研究了区间离散系统鲁棒镇定问题。当系统传函仅低次项系数受扰时,导出了一阶控制器鲁棒镇定区间系统的顶点结果,并举例说明了控制器的设计方法.     

机器人适从运动的混合控制

本文研究了理想情形下一类机器人适从运动的混合控制。对于一个机械臂手端与刚性环境发生光滑接触的类型,本文给出了一种约束描述,并进行分析。在此基础上,通过将控制变量分成两个分属于相互垂直的子空间的控制:力控制和运动控制,将机械臂动力学方程分裂成两个。一个用于力控制,另一个用于运动控制。从而对混合控制的思想有了更好的理解,使力控制和运动控制的设计能单独分别进行,为寻找混合控制提供了简便途径。     

脉冲微分系统关于部分变元的强稳定性

介绍了一种新的稳定性——脉冲微分系统的解关于部分变元的强稳定性,并进而讨论了该类稳定性问题. 首先建立了两个重要的引理,然后再借助于逐段连续的Lyapunov函数,得到了脉冲微分系统的零解关于部分变元强稳定性的一些判定定理.最后阐述了这些定理的应用.      

鲁棒干扰解耦问题的几何方法

本文研究了有限离散扰动系统的鲁棒干扰解耦问题(RDDPD)。建立了I_k(A_i,B_i)—不变子空间和I_k~F(A_i,B_i)—不变子空间两个新的几何概念,并给出了这两种子空间集合的最大元(Supremal element)的几何描述。它们是Wonham(A,B)—不变子空间概念的一般化。主要结果表明:这两个新概念在RDDPD的求解中是非常重要的。文章最后还讨论了连续扰动系统的鲁棒干扰解耦问题(RDDPC),揭示了RDDPD与RDDPC之间的关系。