可达集相关论文
非线性特性广泛存在于电力电子、航空航天、化工过程等控制系统中,这增加了系统分析与综合的难度。为解决非线性问题,Takagi与Suge......
中立型马尔可夫跳跃系统是一类特殊的带时变中立型时滞的切换系统。这类系统的可达集边界估计是动力学理论的重要性质之一,也是现......
时滞现象普遍存在于各种实际工程系统中,如人口、电力、航空航天和经济等系统。时滞的出现,可能会降低动力系统的性能,甚至导致系......
主要对飞机系统功能失效后的着陆动力学边界及保护策略进行研究。以某运输机为研究对象,建立系统功能失效后飞机纵向动力学模型。......
针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,本文基于形式化的可达性方法分析车辆自主决策行为......
本文研究带有奇异外势的下述Gross-Pitaevskii方程i(?)tψ+Hψ=u(t)K(x)ψ-σ|ψ|2ψ,的全局不可控性.其中H=-Δ+|x|2为R3中的调和......
混杂系统是连续变量动态系统和离散事件动态系统相结合,并且相互交换信息的一类系统。其中连续子系统的动态特征随时间的发展而不......
飞机结冰具有不确定性和随机性,会破坏飞机的动力学特性,威胁飞行安全.针对这一问题,对结冰飞机的安全边界保护和控制裕度计算展开......
本文分为两部分。第一部分致力于研究一类具有非局部初始条件的半线性非自治发展方程抽象柯西问题。结合发展族理论、Krasnoselski......
为提高静态赋权控制分配策略虚拟指令可达集的使用率,基于改进粒子群算法提出了一种离线确定控制指令最优化权值的空间优化设计方......
设计了一种基于可达集的鲁棒模型预测控制算法.首先确定了一个鲁棒不变集,并将此不变集用作模型预测控制的终端约束集：接着采用终端......
在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介......
将非线性系统的弱能控性的方法应用于非线性大系统,提出了非线性大系统的弱能控性的定义及非线性大系统的弱能控性的条件.由非线性......
针对传统的稳定域确定方法保守性强的缺点,提出基于流形理论计算电力系统的稳定域.将稳定平衡点稳定边界上的所有I型不稳定平衡点......
讨论了Petri网可达树的构造方法,给出了相应的算法和实现技术,对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值.......
可达集是界定带有扰动的系统的状态轨迹的集合.可达集的椭圆型边界可以用来设计带有扰动的可控系统.研究了带有有界峰值扰动的线性......
考虑一类二阶微分包含的可达集以及最优控制系统与微分包含的关系,得到了一类二阶仿射控制系统的可达集及求解二阶微分包含可达集......
有序二叉决策图（0rdered Binary Decision Disgram-OBDD）是布尔函数表示的规范型，布尔函数的复杂运算可以基于OBDD得到极大地简化实现......
提出一种应用哈密顿-雅可比（Hamilton—Jacobi）偏微分方程求取电力系统稳定域的方法。该方法的主要思路是：在电力系统的状态空间预先......
混杂系统是连续变量过程和离散事件过程并存且相互交换信息的动态形式化系统．混杂系统的可达性问题是混杂系统研究的热点和难点．文章......
文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结......
混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一......
本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件......
本文基于《国际海上避碰规则》重新讨论了在进行船舶安全领域建模时应满足的条件,提出六条船舶安全领域基本建模规则,并分析了现有......
在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义......
文章研究具有有界峰值扰动和时变时滞的线性中立型系统的可达集估计问题.通过构造李雅普诺夫泛函,结合时滞分解技术、倒凸法和自由......
针对过程噪声设定边界与真实噪声边界失配的有界干扰离散线性不确定系统,提出一种具有自适应噪声边界的Tube可达集鲁棒模型预测控......
针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,基于形式化的可达性方法分析车辆自主决策行为状态......
为了解决网络化信息物理系统中分布式控制器的实时执行问题,在智能体状态可达集的基础上,提出了一种基于保证集的新的分布式自触发......
随着现代空战理念的不断革新,歼击机过失速机动已成为新一代战机的核心技术,同时,过失速机动的安全问题也成为一个值得深入研究的......
随着导弹武器系统不断发展,导弹攻防对抗方式逐步由单一对抗向协同对抗转变。导弹防御系统协同作战,能够利用各协同方之间的耦合作......
为了给驾驶员完成标准机动动作提供决策支持,提出一种使用哈密尔顿–雅克比(Hamilton-Jacobi)方程求解机动动作可行状态空间的研究......
期刊
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
网络化信息物理系统和多智能体系统在工业、社会和军事等领域有着广泛的应用,是控制领域研究者的关注点。当系统中存在多个智能体......
由于在自然科学、工程技术领域的广泛应用,动力系统受到广大学者的持续关注,并涌现了丰硕的研究成果,如动力系统的稳定性分析、滤......
<正>一、研究背景近年来高校持续扩招,据人民网消息2013年大学生毕业人数达到699万,比去年增加19万。《2012年中国大学生就业报告......
飞机在着陆过程中极易发生结冰的现象,结冰对飞行安全造成的危害极为严重。结冰导致飞机发生危险的原因是由于机翼或尾翼被冰层覆......
针对自主车辆安全性验证在理论的完备性上无法得到保证的问题,提出一种使用哈密尔顿—雅克比(Hamilton-Jacobi)方程求解车辆运行安......
期刊
针对目前传统算法在安全性验证中置信水平较低的问题,将自主车辆在道路上的行为视为混合系统,提出以道路边界为约束条件的安全区域......
针对线性控制系统,研究应用常微分方程数值方法和优化技术相结合的近似可达集的方法.首先,用常微分方程数值方法对系统进行离散化.......
概述可达性分析理论的基本表示方法及其在电力系统中的应用情况,着重介绍齐诺多面体表示可达集的优缺点,总结线性系统和非线性系统......
