可达集相关论文
非线性特性广泛存在于电力电子、航空航天、化工过程等控制系统中,这增加了系统分析与综合的难度。为解决非线性问题,Takagi与Suge......
中立型马尔可夫跳跃系统是一类特殊的带时变中立型时滞的切换系统。这类系统的可达集边界估计是动力学理论的重要性质之一,也是现......
时滞现象普遍存在于各种实际工程系统中,如人口、电力、航空航天和经济等系统。时滞的出现,可能会降低动力系统的性能,甚至导致系......
本文研究了线性广义切换系统解的存在唯一性问题.首先讨论了广义系统解的存在唯一性,广义系统的一致初始状态和可达集等问题.在此......
主要对飞机系统功能失效后的着陆动力学边界及保护策略进行研究。以某运输机为研究对象,建立系统功能失效后飞机纵向动力学模型。......
研究了控制器模态不匹配的半马尔可夫跳变线性系统的可达集。在不考虑有界转移速率约束的情况下,设计了模态与系统模态不匹配的控......
针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,本文基于形式化的可达性方法分析车辆自主决策行为......
本文研究带有奇异外势的下述Gross-Pitaevskii方程i(?)tψ+Hψ=u(t)K(x)ψ-σ|ψ|2ψ,的全局不可控性.其中H=-Δ+|x|2为R3中的调和......
提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则......
主要针对非确定系统（实际中的大部分系统都具有非确定性），提出可观察状态集的识别序列的定义，并对于按照观察等价关系化简的系统的实现......
飞机结冰具有不确定性和随机性,会破坏飞机的动力学特性,威胁飞行安全.针对这一问题,对结冰飞机的安全边界保护和控制裕度计算展开......
本文在讨论了M.Diaz等人的工作之后,给出了一个消息传输协议MTP的Petri网模型。利用Token Machine工具对该模型进行了分析,说明协......
本文给出了多方线性微分追捕对策中完成追捕的充分条件。从推论可以得到文献[1]的结果。
In this paper, sufficient conditions ......
针对目前路径规划算法不能覆盖车辆所有不确定的状态而导致安全性低的问题,提出了以后向可达集为约束的自主车辆最优路径规划算法.......
用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判......
通过在各控制通道嵌入适当的增益，结合Ｒｉｃｃａｔｉ方程中加权矩阵Ｑ和Ｒ适当选取，并考虑系统的状态可达集，设计了一种简单易行的线性状态反馈方法实现......
建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性.......
以有界干扰非线性系统为研究对象,设计一种基于近似可达集的鲁棒预测控制方法.该方法以鲁棒控制不变集作为终端约束集,采用一种简......
该文是PETRI网在油站系统的设计,分析中的具体应用.介绍了用PETRI网描述系统的方法.给出了油站系统的几个关键功能模块的PETRI网说......
本文分为两部分。第一部分致力于研究一类具有非局部初始条件的半线性非自治发展方程抽象柯西问题。结合发展族理论、Krasnoselski......
在生产制造、通讯、运输等很多方面，我们都可以利用极大-加代数模型来解决相关问题，其中极大-加线性系统和区间极大-加系统是常用的......
由于可再生能源的输入存在不确定性,系统参数测量不准确,电力系统在受到扰动情况下会出现系统失稳现象.为此,提出一种基于可达集的......
为提高静态赋权控制分配策略虚拟指令可达集的使用率,基于改进粒子群算法提出了一种离线确定控制指令最优化权值的空间优化设计方......
设计了一种基于可达集的鲁棒模型预测控制算法.首先确定了一个鲁棒不变集,并将此不变集用作模型预测控制的终端约束集：接着采用终端......
在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介......
将非线性系统的弱能控性的方法应用于非线性大系统,提出了非线性大系统的弱能控性的定义及非线性大系统的弱能控性的条件.由非线性......
针对传统的稳定域确定方法保守性强的缺点,提出基于流形理论计算电力系统的稳定域.将稳定平衡点稳定边界上的所有I型不稳定平衡点......
本文阐述了Petri网的可达树分析方法,以及Petri可达树的有限性。结合可达树分析法对安全性、有界性和复盖性等性质进行了讨论。......
研究了带有范数有界扰动的线性时滞控制系统的可达集界定问题。基于修正的Lyapunov-Krasovskii泛函,利用线性矩阵不等式方法,结合......
讨论了Petri网可达树的构造方法,给出了相应的算法和实现技术,对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值.......
可达集是界定带有扰动的系统的状态轨迹的集合.可达集的椭圆型边界可以用来设计带有扰动的可控系统.研究了带有有界峰值扰动的线性......
考虑一类二阶微分包含的可达集以及最优控制系统与微分包含的关系,得到了一类二阶仿射控制系统的可达集及求解二阶微分包含可达集......
有序二叉决策图（0rdered Binary Decision Disgram-OBDD）是布尔函数表示的规范型，布尔函数的复杂运算可以基于OBDD得到极大地简化实现......
提出一种应用哈密顿-雅可比（Hamilton—Jacobi）偏微分方程求取电力系统稳定域的方法。该方法的主要思路是：在电力系统的状态空间预先......
在可分Ｂａｎａｃｈ空间Ｘ中考虑下列微分包含的可达集ｘ（ｔ）∈Ｆ（ｔ，ｘ（ｔ），ａ，ｅ，ｔ∈〔ｔ０，Ｔ〕，ｘ（ｔ０）＝ζ其中Ｆ是从（ｔ０，ｔ）×Ｘ到Ｘ的取凸值的非空集值映射，给出了有关可达集的一些性质，并且利用有......
混杂系统是连续变量过程和离散事件过程并存且相互交换信息的动态形式化系统．混杂系统的可达性问题是混杂系统研究的热点和难点．文章......
文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结......
混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一......
本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件......
中立性系统的动力学性质是动力学理论的重要问题,并引起了广泛的关注。本文研究了几类中立型系统的主要动力学性质,并对其热点领域......
针对直接分配算法不具备优化能力的问题,提出了一种基于可达集的多操纵面控制量优化分配的新方法。简要描述了飞行控制中多操纵面......
由于自主车辆具有离散控制和连续行为混成以及不可避免的系统偏差的特点,使传统验证方法无法遍历所有不确定的系统输入和运行状态,......
本文基于《国际海上避碰规则》重新讨论了在进行船舶安全领域建模时应满足的条件,提出六条船舶安全领域基本建模规则,并分析了现有......
在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义......
文章研究具有有界峰值扰动和时变时滞的线性中立型系统的可达集估计问题.通过构造李雅普诺夫泛函,结合时滞分解技术、倒凸法和自由......
针对过程噪声设定边界与真实噪声边界失配的有界干扰离散线性不确定系统,提出一种具有自适应噪声边界的Tube可达集鲁棒模型预测控......
