一类分布参数混合系统的稳定性分析

将混合系统推广到分布参数环境下,提出分布参数混合系统的概念.基于混合系统和分布参数系统的建模方法,建立了一类分布参数混合系统的模型,并对其稳定性进行分析.运用算子半群理论以及混合系统的五元组描述法及其稳定性关系比较理论的结论,通过选择适当的映射,将分布参数混合系统的的稳定性问题转化为集中参数下混合系统稳定性问题,进而得出了一致渐近稳定的充分条件并加以证明.仿真实例验证了文中结论的正确性.     

谈综采生产系统的有效度及对经济效果的影响

本文根据可靠性理论讨论了综采生产系统的有效度问题,并就有效度对经济效果的影响程度进行了分析。     

混合系统:回顾与展望

本文首先对混合系统的概念及研究背景进行了介绍,然后综述了混合系统的分析与设计,重点讨论了分析切换系统稳定性的统一李雅普诺夫函数法、多李雅普诺夫函数法,介绍了混合系统的最优控制、混合系统的验证与仿真.对混合系统未来的研究趋势进行了展望,并进一步指出混合系统研究的重要意义.     

基于混合Petri网的HVDC控制系统模型的研究

高压直流输电(HighVoltageDirectCurrentTransmission,缩写为HVDC)控制系统是一典型离散事件和连续动态行为相互作用的混合系统,引入混合系统的有效建模工具:混合Petri网(HybridPetriNet缩写为HPN),根据HVDC控制系统的运行特性,采用HPN对HVDC控制系统进行建模。该模型将控制系统分成离散逻辑部分、连续动态部分和状态识别接口部分来描述。由离散逻辑部分进行协调HVDC运行方式的切换,连续动态部分进行实时调节,状态识别接口部分实现对系统状态的识别并驱动离散部分的改变。通过对结合国际大电网会议CIGRE标准系统的仿真,验证了基于HPN的HVDC控制系统模型在HVDC系统在正常及故障情况下均有良好的响应特性。     

具有Markov跳跃参数的一类非线性系统的鲁棒反馈镇定

利用随机控制的Lyapunov设计方法,研究了一类带Markov跳跃参数的随机非线性混合系统的鲁棒控制问题.给出了受方差不确定的Wiener噪声干扰的跳跃严格反馈系统的镇定设计,该设计可使稳态误差在4阶矩意义下收敛到一个小范围内.     

基于混合系统的倒立摆的建模与仿真

针对倒立摆系统中摆杆的控制问题,从混合系统的角度出发,将单摆描述为一个混合自动机,运用不同控制策略之间的切换,构造能量控制器进行起摆控制,在工作平衡点运用线性反馈控制器进行稳定控制,实现将倒立摆从不同初始状态摆起并稳定在θ=0(工作位置)的目标位置。在MATLAB环境中建立单摆的Simulink仿真模型并通过CheckMate 3．6工具箱进行仿真,结果表明在不同初始条件下的单摆系统都能在较短时间内到达垂直向上位置并稳定。     

多速率混合系统的符号化可达性分析

针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题，定义了多速率区域来表示和处理多速率自动机的无穷状态空间，从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作，即并操作、变量重赋值操作和控制状态上的时间流逝操作．从理论上证明了多速率区域在这3种操作上的封闭性，同时定义了矩阵数据结构不同上限矩阵（DCM），并用其存储多速率区域，这样就得到了一种专门处理多速率混合系统符号化可达性分析的数据结构．理论上证得，DCM可以大大降低可达性分析算法的复杂度．     

线性混合系统符号模型验证中的参数分析方法

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。     

一种基于混合系统滤波器的NCS系统故障诊断方法

针对一类具有随机传输时滞的网络化控制系统,在考虑时滞无界的情况下(最坏网络传输),提出了一种基于故障检测滤波器的故障诊断方法。首先,为了处理系统的内采样特性,根据混合系统理论设计了一种基于观测器的混合系统故障检测滤波器(FDF);利用多目标优化技术,将故障检测滤波器的设计问题转化为一类优化问题,并借助线性矩阵不等式方法给出了该优化问题的时滞独立解。最后通过仿真验证了该方法的有效性。     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．