离散事件系统之间的等价性

目的　研究离散事件系统之间的等价关系 .方法　以自动机为离散事件系统的模型 ,用形式语言描述系统行为 .结果　给出了确定性离散事件系统和非确定性离散事件系统之间的等价定理 .结论　利用所得定理通过已有的确定性离散事件系统的控制结果来研究非确定性离散事件系统的控制     

考虑事件并发下离散事件系统的监控研究

Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ所提出的基于形式语言／自动机的逻辑监控理论中，对于多个子过程组成的复杂离散事件问题，采用Ｓｃｈｕｆｆｌｅ积得到整个系统的积系统模型描述，其中排除了各子过程之间事件的同时发生，即未考虑并发非确定性，然而，从原理上及工程有度来说，在任何子过程之间的事件都可以且可能同时发生（并发）。因此考虑子过程间事件并发下离散事件问题的监控即是讨论中心。     

乘积合成离散事件系统监督控制器的存在性

离散事件系统是事件驱动的动态系统,有限自动机是其主要建模形式。对于离散事件系统的乘积合成方式,根据不同的控制需求,以定理的形式用两种方法给出两个系统乘积自动机的监督控制器存在的条件,从而为实现复杂系统监督控制提供理论依据,为离散事件系统的监督控制理论的应用开拓新的途径。     

离散广义系统的正实性分析

目的研究离散广义系统严格正实分析和控制问题．方法使用分块矩阵、等价变换等代数方法，证明了离散广义系统严格正实的充分必要条件．结果得出了等价情形的新正实定理．结论为寻找用简单方法通过线性矩阵不等式（LMI）构造正实反馈控制器，进一步处理非正实系统实现问题奠定了理论基础．     

事件空间中非Chetaev型非完整系统的Noether定理

研究事件空间中非Ｃｈｅｔａｅｖ型非完整系统的Ｎｏｅｔｈｅｒ理论。首先提出事件空间中非Ｃｈｅｔａｅｖ型非完整系统的Ｄ’Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理;其次基于微分变分原理在群的无限小变换下的不变性,研究并给出事件空间中非Ｃｈｅｔａｅｖ型非完整系统的Ｎｏｅｔｈｅｒ定理及逆定理;最后举例说明结果的应用。     

不确定离散时间系统的状态逼近事件触发控制

为减少不确定离散时间线性/非线性系统的事件触发次数, 节省通讯资源, 提出了基于状态逼近的事件触发控制方法。 首先, 针对不确定离散线性系统, 利用采样信号、系统矩阵和确定离散线性系统解析解的定义, 逐段构造不确定离散系统的状态逼近解。 将测量误差定义为系统当前状态与逼近解之间的差, 构造事件触发条件和控制器, 通过设计Lyapunov泛函得到离散线性系统的稳定性条件。 其次, 对于一类Lipschitz离散非线性系统, 将该系统进行线性化处理。 根据无扰动离散线性系统解析解的定义, 类似于线性系统的处理方法, 逐段构造状态逼近解, 重新定义测量误差, 设计事件触发条件和控制器, 并建立离散非线性系统的稳定性条件。 将状态逼近技术与动态事件触发策略相结合, 在减小测量误差的同时, 降低触发阈值, 进一步减少事件发生的次数, 实现更好的控制效果。 通过倒立摆系统和蔡氏电路两个数值例子表明,相比于传统事件触发方案, 状态逼近法可以显著降低事件触发的次数, 避免了通讯资源的浪费。     

事件空间中非完整有势系统的参数积分定理

文章提出了事件空间非完整有势系统的广义维里定理，基于该定理，得到了事件空间中非完整有势系统的一组特殊的参数积分方式。     

事件空间中非完整有势系统的参数积分定理

文章提出了事件空间非完整有势系统的广义维里定理，基于该定理，得到了事件空间中非完整有势系统的一组特殊的参数积分公式。     

考虑事件并发下离散事件系统的状态反馈控制研究

离散事件系统的形式语言／自动机逻辑控制理论包括：监控和状态反馈控制两种形式。作者在文献「１」中讨论了考虑事件并发下离散事件系统的形式语言／自动机描述以及逻辑监拧问题。作者在本文讨论了考虑子过程间事件并发下离散事件系统的状态反馈控制问题。     

离散大系统的部分稳定性

针对子系统为线性和一类非线性非自治离散大系统构造出部分稳定的李雅普诺夫函数,研究大系统关于部分变元的稳定性和部分变元的指数稳定性,得出一些定理,并举例说明。     

结构分析中的随机有限元方法

随机有限元法是一种利用常规的确定性有限元法和概率分析技术求解随机系统的数值方法．主要涉及随机场的离散和随机控制方程的求解等．本文简要介绍和评述随机有限元法的研究及工程应用情况     

模糊离散事件系统的性质

有效地刻画一个系统动态变化和状态的不确定性,作为经典离散事件系统的推广,模糊离散事件系统最近被提出并研究。该文用自动机和形式语言的方法研究了由自动机建模的模糊离散事件系统的一些性质,并给出乘积合成系统监督控制器的存在性条件,这些都是离散事件系统对应性质的推广。     

随机系统均方稳定的Lyapunov—型定理

本文研究矩阵方程ＰＡ＋ Ａ′Ｐ＋ Ｃ′ＰＣ＝ － Ｑ 与随机系统ｄｘ ＝ Ａｘｄｔ＋ Ｃｘｄ Ｗ 均方稳定性的关系,所得结果推广了确定性系统ｄｘ ＝ Ａｘｄｔ 渐近稳定性的Ｌｙａｐｕｎｏｖ 定理     

DEDS控制理论模型—受控Petri网的网论语义

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网的研究方法和成果引入离散事件动态，系统控制理论的研究。     

离散线性系统的可达性

本文将针对多变量离散线性系统受限控制问题进行研究,进而给出了判定离散线性系统的可达性的几个判定定理。     

离散广义分段仿射系统的静态输出反馈控制

为了消除离散广义分段仿射系统的非正则性和非因果性对控制系统性能的不利影响,研究了一类具有参数不确定离散广义分段仿射系统的鲁棒静态输出反馈控制问题．基于分段Lyapunov函数、投影定理和几个基本引理,提出了两种方法来设计使具有参数不确定广义分段仿射系统鲁棒容许的静态输出反馈控制器．利用这两种方法得到的控制器不仅可以保证系统的稳定性,而且可以保证系统的正则性和因果性．通过求解一组包含参变量的LMIs,可以得到保证广义分段放射系统容许的反馈控制器增益．仿真结果证明了所提设计方法的有效性．     

分布式模糊离散事件系统的模式故障安全诊断

本文研究分布式模糊离散事件系统的模式故障安全诊断问题，提出一种基于模式故障安全协同诊断器的模式故障安全诊断方法。先在模糊离散事件系统中引入模式故障和模式故障安全诊断概念。然后对模糊离散事件系统的模式故障安全协同可诊断性进行了形式化定义。为了进一步验证分布式模糊系统的模式故障安全诊断性，构建了一个模式故障安全协同诊断器，并提出了一个关于分布式模糊离散事件系统的模式故障安全诊断的充分必要条件，实现了分布式模糊离散事件系统的模式故障安全诊断。     

二阶离散Hamilton系统周期解的存在性与多重性

通过使用临界点理论中的极小作用原理以及局部环绕定理,获得了关二阶非自治离散Hamilton系统(DHS)周期解存在性与多重性的条件.     

转动相对论性变质量系统的广义Noether定理

研究转动相对论性变质量系统的广义Noether定理,首先给出转动相对论性变质量非完整系统的Lagrange方程;其次利用Hamilton作用量在无限小变换下的不变性,研究了转动相对论性变质量非完整系统的广义Noether定理和转动相对论性变质量非完整系统的广义Noether逆定理;结论具有普遍意义,对于经典情形和相对论情形都适用,若%m-{oi%}为常量,结果化为转动相对论性常质量的Noether定理;若%-iΓ-i,ω-iΓ-i,%结果化为经典转动变质量系统的Noether定理;若为常量,且%Γ-i,ω-iΓ-i,%则结果化为经典转动常质量系统的Noether定理.     

用最佳模型——跟随系统方法设计升降舵控制器

最佳模型——跟随系统方法可用于各种不同的控制系统,也可用于飞行控制系统的设计中。根据飞行操纵品质来确定最佳模型。本文按 C~*准则来设计模型,把最佳模型——跟随系统方法用于升降舵控制器的设计,并提出了一种简便计算方法。飞行控制系统拟采用数控方案,因此应把控制器离散化。文中对确定性连续型和离散型的基本公式作了推导。通过数字计算,得到满意结果。文中用特征方程根的分布判定系统稳定性,用响应曲线直接判读系统动态性能。因而本文用经典控制理论和现代控制理论相结合的方法来完成整个设计工作。