收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

实时随机系统的分析诊断与控制研究

张君华  
【摘要】:保证计算机系统的正确性和可靠性是计算机研究和开发人员的首要任务。模型检测是保证计算机系统正确性和可靠性的有力手段。当人们对复杂系统进行建模和分析时,往往需要考虑到事件发生的不确定性、发生事件的时限和完成事件所付出的代价等因素,实时随机系统模型检测就是研究这类情况下的模型检测问题。 实时随机系统模型检测是诞生于二十世纪九十年代的一个活跃的研究领域,目前已取得很多重要的理论研究成果,并取得广泛的实际应用。为验证实时随机系统的行为是否满足一定性质的要求,可以采用模型检测的方法。如果系统的行为不满足性质的要求,可生成相应的反例。进一步地,为控制含不确定性的系统的行为,可以根据系统的模型和性质的要求,合成适当的控制器,以控制系统的运行。本文正是围绕实时随机系统的分析、诊断与控制,开展了一定的研究。实时随机系统的典型模型包括离散(连续)时间Markov链、离散(连续)时间Markov决策过程、概率时间自动机。本文围绕离散(连续)时间Markov决策过程、概率时间自动机及其扩展模型,开展了如下研究: 1、面向概率时间自动机的两个扩展模型—代价概率时间自动机和区间概率时间自动机,研究了模型检测问题: (1)以代价概率时间自动机模型来描述系统,研究在一定概率下限条件下的最优成本求解问题。将该模型扩展为多代价概率时间自动机,研究在一定概率下限和辅助成本上限约束条件下的主成本最小值的求解问题。针对每个问题,给出了求解算法和验证的实例。 (2)提出了区间概率时间自动机模型,来描述离散迁移概率为区间值的实时随机系统,并研究了区间概率时间自动机的模型检测问题。其核心问题是该模型上的最大概率计算问题。通过基于zone的反向宽度优先搜索算法,得到宽松区间Markov决策过程。由于问题的等价性,将区间概率时间自动机上的最大概率计算问题转换为后者的最大概率计算问题。给出了宽松区间Markov决策过程上最大概率的计算方法。 2、面向概率时间自动机和连续时间Markov决策过程,研究了模型检测时的反例生成问题: (1)研究了模型检测概率时间自动机的反例生成问题。给出了模型检测概率时间自动机的反例的定义,给出了快速计算该反例的步骤和算法。在深入分析上述方法的基础上,给出了计算该反例的精化算法。 (2)研究了连续时间Markov决策过程上可达性的反例生成问题。在掌握连续时间Markov决策过程上的可达性验证算法的基础上,给出了连续时间Markov决策过程上可达性的反例的概念,并给出了高效地计算该反例的步骤和算法。讨论了该算法成立所依赖的调度类型。 3、面向离散时间Markov决策过程,研究了冲突容忍规约背景下的控制器合成问题: 提出了一种描述冲突容忍规约的时序逻辑—冲突容忍的含过去时操作符的PCTL*(CT-PPCTL*)。研究了基于CT-PPCTL*的Markov决策过程的控制器合成问题。给出了该问题的总体解决方案。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 高存臣;崔红艳;;时滞不确定随机系统的鲁棒稳定性[J];中国海洋大学学报(自然科学版);2011年Z2期
2 郑锋;程勉;高为炳;;随机系统的变结构控制[J];控制与决策;1992年01期
3 冯昭枢;刘永清;;多滞后随机系统的滞后无关均方稳定性[J];控制与决策;1992年04期
4 冯昭枢,邓飞其,刘永清;非线性滞后It(?)随机系统的滞后无关均方渐近稳定性[J];控制与决策;1997年04期
5 华民刚;邓飞其;彭云建;;不确定变时滞随机系统的鲁棒均方指数稳定性[J];控制理论与应用;2009年05期
6 章辉,孙优贤;随机自适应控制的信息论方法[J];控制与决策;1995年06期
7 梁涛;用仿真方法对随机系统优化设计[J];西南科技大学学报;2003年02期
8 戴喜生;邓飞其;;非线性积分微分随机系统的完全可控性[J];华南理工大学学报(自然科学版);2010年06期
9 邓飞其,冯昭枢,刘永清;时变线性随机系统均方有界性和稳定性的充要条件(英文)[J];华南理工大学学报(自然科学版);1997年11期
10 邓飞其,冯昭枢,刘永清;随机系统的变结构控制[J];自动化学报;1997年02期
11 连靖,林都;一种多指标连续随机系统模型简化方法[J];测试技术学报;1998年01期
12 焦尚彬;谢国;钱富才;;乘性噪声系统滤波问题研究[J];西安理工大学学报;2011年02期
13 刘洪伟,刘永清,邓飞其;分布式随机迭代系统稳定性分析的并行算法[J];华南理工大学学报(自然科学版);1998年05期
14 马平,刘政士,石湘;随机系统稳健自适应控制[J];中国海洋大学学报(自然科学版);1998年01期
15 刘坤;刘贺平;赵立英;;时滞随机系统的时滞相关稳定性[J];北京科技大学学报;2009年04期
16 于建江;张侃健;费树岷;;区间时滞随机系统的时滞相关稳定性改进判据(英文)[J];Journal of Southeast University(English Edition);2009年02期
17 腾香;;不确定时滞随机系统的鲁棒随机镇定[J];渤海大学学报(自然科学版);2009年03期
18 刘洪伟,邓飞其,冯昭枢,刘永清;Ito 型滞后随机系统的实用稳定性[J];华南理工大学学报(自然科学版);1998年04期
19 李应乐,梁昌慧;湍流与尘暴对电磁波传播的影响[J];咸阳师范学院学报;2003年04期
20 蒲兴成,汪纪锋;一类伊藤型不确定随机系统均方稳定的充要条件[J];重庆邮电学院学报(自然科学版);2005年02期
中国重要会议论文全文数据库 前10条
1 刘峰;董洪斌;;一类非线性时变随机系统的能控性[A];第二十七届中国控制会议论文集[C];2008年
2 徐炳吉;;一类随机系统的自适应控制[A];1995年中国控制会议论文集(上)[C];1995年
3 马平;;随机系统稳健加权自适应最小方差控制[A];1996年中国控制会议论文集[C];1996年
4 马平;;时滞任意的随机系统稳健自适应模型参考控制[A];1996年中国控制会议论文集[C];1996年
5 付艳明;段广仁;;含有时滞的线性跳跃系统的H_∞控制[A];第二十三届中国控制会议论文集(上册)[C];2004年
6 孙敏慧;徐胜元;邹云;;随机马尔可夫跳跃系统的输出反馈镇定[A];第二十四届中国控制会议论文集(上册)[C];2005年
7 朱纪洪;郭治;胡维礼;;一类不确定随机系统性能鲁棒动态输出反馈控制器设计[A];1995年中国控制会议论文集(上)[C];1995年
8 邓飞其;;滞后It型随机系统的变结构控制[A];1998年中国控制会议论文集[C];1998年
9 吴森堂;许仁牛;张淼;;随机系统变结构控制的综合设计方法及其应用[A];2003中国控制与决策学术年会论文集[C];2003年
10 罗琦;邓飞其;包俊东;;一类不确定It型随机时滞分布参数系统的滑动模控制[A];第二十三届中国控制会议论文集(上册)[C];2004年
中国博士学位论文全文数据库 前10条
1 蒋锋;随机系统数值方法的动力学行为研究[D];华中科技大学;2011年
2 阚秀;几类随机系统的估计问题研究[D];东华大学;2013年
3 戴喜生;无穷维随机系统的稳定性、可控性及其应用[D];华南理工大学;2010年
4 高京广;非线性随机系统的稳定、镇定与优化[D];华南理工大学;2010年
5 旷世芳;非线性与时滞随机系统的稳定性及数值方法研究[D];华南理工大学;2013年
6 张君华;实时随机系统的分析诊断与控制研究[D];南京航空航天大学;2011年
7 朱平;噪声驱动下的自洽系统时间延迟效应研究[D];云南大学;2013年
8 李亚军;不确定It(?)随机系统的鲁棒稳定性、镇定及其应用[D];华南理工大学;2011年
9 高文华;非线性与时滞不确定随机系统的鲁棒稳定性与控制研究[D];华南理工大学;2010年
10 严志国;随机系统有限时间控制[D];天津大学;2011年
中国硕士学位论文全文数据库 前10条
1 张益平;一类不确定随机系统的鲁棒控制[D];山东大学;2010年
2 贺来伟;三元组型量子随机系统的分析和反馈网络综合[D];杭州电子科技大学;2012年
3 文可钦;具有时滞的马尔科夫不确定参数随机系统稳定性分析[D];电子科技大学;2013年
4 董彦彦;含参数随机系统的反馈精确线性化及标准型[D];郑州大学;2012年
5 王青丽;时滞随机系统的估计和控制[D];曲阜师范大学;2011年
6 王义;随机系统的稳定性控制[D];山东科技大学;2010年
7 张彦良;随机系统的时滞镇定和鲁棒控制[D];武汉科技大学;2011年
8 崔红艳;非线性时滞不确定随机系统的稳定性分析[D];中国海洋大学;2011年
9 王宇;不确定离散分布式时滞随机系统的鲁棒控制与滤波[D];哈尔滨工业大学;2011年
10 桂姣姣;一类连续非线性随机系统的分析与设计[D];杭州电子科技大学;2014年
中国重要报纸全文数据库 前3条
1 本报记者 冯海波;墙内开花,内外飘香[N];广东科技报;2009年
2 吴辰光;微软Vista遭遇上市困境[N];北京商报;2006年
3 泉州第七中学 张家贵;银行ATM安全输入系统[N];福建科技报;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978