期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
连续时间Markov决策过程互模拟等价及逻辑保持 预览
1
作者 黄镇谨 陆阳 +1 位作者 杨娟 王智文 《控制理论与应用》 EI CAS CSCD 北大核心 2016年第8期1031-1038,共8页
模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间M... 模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率. 展开更多
关键词 马尔科夫链 马尔科夫决策过程 互模拟等价关系 逻辑保持
在线阅读 下载PDF
基于自由权矩阵方法的网络控制系统鲁棒分析 预览
2
作者 郭彩霞 袁秋林 吴雪冰 《河南师范大学学报:自然科学版》 CAS 北大核心 2014年第4期53-57,共5页
由于系统建模的误差和工作环境的变化,系统的不确定性不可避免.针对具有时变结构参数不确定性的网络控制系统,本文通过设置逻辑零阶保持器来处理错序和丢包问题,并且引入自由权矩阵消除交叉项等处理方式,推导出使闭环网络控制系统渐进... 由于系统建模的误差和工作环境的变化,系统的不确定性不可避免.针对具有时变结构参数不确定性的网络控制系统,本文通过设置逻辑零阶保持器来处理错序和丢包问题,并且引入自由权矩阵消除交叉项等处理方式,推导出使闭环网络控制系统渐进稳定的充分条件.仿真结果验证了此分析结果的有效性和可行性. 展开更多
关键词 网络控制系统 逻辑零阶保持 LYAPUNOV-KRASOVSKII泛函 自由权矩阵
在线阅读 免费下载
一种改进的具有非理想网络状况的网络控制系统分析与综合方法 预览 被引量:7
3
作者 彭晨 田思刚 《自动化学报》 EI CSCD 北大核心 2010年第1期188-192,共5页
提出一种改进的具有非理想网络状况,如时变网络时延和丢包等的网络控制系统分析与综合方法.在引入具有最新信弓选择功能的逻辑零阶傈持器和已有的网络系统模型基础上,采用Lyapunov-Krasovskii泛函方法,通过引入自由矩阵消除交义项... 提出一种改进的具有非理想网络状况,如时变网络时延和丢包等的网络控制系统分析与综合方法.在引入具有最新信弓选择功能的逻辑零阶傈持器和已有的网络系统模型基础上,采用Lyapunov-Krasovskii泛函方法,通过引入自由矩阵消除交义项和利崩函数的凸性进行等价变换,得到保守性较小的效果.实例表明上述方法的有效性. 展开更多
关键词 网络控制系统 状态反馈 逻辑零阶保持 线性矩阵不等式
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈