学位论文 > 优秀研究生学位论文题录展示
混杂系统验证中可达集过近似方法的研究
作 者: 罗来豹
导 师: 方敏
学 校: 合肥工业大学
专 业: 控制理论与控制工程
关键词: 混杂系统 形式验证 有向矩形壳 凸多面体 有向凸多面体
分类号: O415.5
类 型: 硕士论文
年 份: 2010年
下 载: 72次
引 用: 0次
阅 读: 论文下载
内容摘要
混杂系统是连续变量动态系统和离散事件动态系统相结合,并且二者相互影响相互作用的一类系统。混杂系统形式验证是混杂系统的一个研究方向,它是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。形式验证的目的是检验混杂系统是否在任何环境下都能安全运行。如今混杂系统的形式验证已经成为混杂系统研究的一个热点和难点。混杂系统形式验证中计算可达集是重要的一步,选用何种可达集表示法对整个验证的精度有重要影响。本文所有的论述均围绕混杂系统形式验证中可达集计算这个主题展开,主要工作有:1.通过大量的国内外文献阅读,对混杂系统形式验证方法进行整理和总结,对形式验证中可达集分析方法进行归纳,对现阶段混杂系统形式验证的主要问题进行总结。2.在介绍混杂系统形式验证基本概念的基础上对可达集表示法中的有向矩形壳和凸多面体法进行了较为深入的研究。提出了新的可达集表示方法—有向凸多面体法,这种表示法的特点是以上两种可达集表示法的折中。通过样本点实验分析了三种表示法的计算复杂度,对三种表示法构造的几何体顶点数和面数进行比较。3.总结了流管道保守性判定方法—观察比较法和误差比较法,针对误差比较法的缺点进行了改进。在此基础上提出了新的流管道保守性判定方法—体积比较法。给出了有向矩形壳和凸多面体混合算法的思想并且在已有的流管道保守性判定方法基础上给出了具体的算法。4.根据文中提出的有向凸多面体法算法和有向矩形壳和凸多面体混合算法,结合一个非线性分段系统实例编写了验证程序,实现了验证过程。并在计算量和保守性两方面进行了详细的分析比较。分析结果表明:利用文中提出的两算法在验证过程中能够更好地在计算量和保守性两方面达到折中。5.在对全文研究工作进行总结的基础上,对今后的研究方向作了展望。
|
全文目录
摘要 5-6 ABSTRACT 6-8 致谢 8-13 第一章 绪论 13-21 1.1 混杂系统的概念和特点 13 1.2 混杂系统的两个例子 13-15 1.2.1 两容水箱系统 13-14 1.2.2 汽车运动系统 14-15 1.3 混杂系统的发展概况 15-16 1.4 混杂系统研究的主要方向 16 1.5 混杂系统的形式化验证问题 16-20 1.5.1 形式化验证方法 16-17 1.5.2 混杂系统形式化验证 17-18 1.5.3 混杂系统形式验证研究现状 18-20 1.6 本文的主要内容 20-21 第二章 混杂系统验证的基本概念和原理 21-35 2.1 混杂系统验证中的基本概念 21-25 2.1.1 迁移系统 21 2.1.2 商迁移系统 21-22 2.1.3 仿真关系 22 2.1.4 仿真对 22-23 2.1.5 计算树逻辑CTL 23-25 2.2 混杂系统的形式化验证原理 25-35 2.2.1 混杂系统形式化验证的流程 25-26 2.2.2 混杂系统建模 26-29 2.2.3 初始划分 29-31 2.2.4 混杂系统的流管道近似 31-33 2.2.5 构造商迁移系统 33-35 第三章 可达集表示方法研究 35-42 3.1 可达集表示方法 35-37 3.1.1 常见的可达集表示方法比较 35-36 3.1.2 有向矩形壳法和凸多面体法 36-37 3.2 有向凸多面体法的研究 37-41 3.2.1 有向凸多面体算法 37-39 3.2.2 有向矩形壳法、凸多面体法与有向凸多面体法比较分析 39-41 3.3 实例 41-42 第四章 形式验证中流管道过近似混合算法 42-54 4.1 流管道保守性判定方法 42-50 4.1.1 观察比较法 42 4.1.2 误差比较法 42-44 4.1.3 体积比较法 44-50 4.2 有向矩形壳和凸多面体混合算法 50-51 4.3 有向矩形壳和凸多面体混合算法程序框图 51-54 4.3.1 以误差比较法作为流管道保守性判断方法的算法程序框图 51-53 4.3.2 以体积比较法作为流管道保守性判断方法的算法程序框图 53-54 第五章 验证实例 54-65 5.1 三维空间非线性系统 54-57 5.1.1 问题描述 54-55 5.1.2 建立混杂自动机模型 55 5.1.3 验证规范 55-56 5.1.4 当可达集用凸多面体和有向矩形壳表示时进行验证 56 5.1.5 当可达集用有向凸多面体表示时进行验证 56-57 5.2 四维空间非线性系统 57-60 5.2.1 问题描述 57 5.2.2 建立混杂自动机模型 57-58 5.2.3 验证规范 58 5.2.4 当可达集用凸多面体和有向矩形壳表示时进行验证 58-60 5.2.5 当可达集用有向凸多面体表示时进行验证 60 5.3 验证结果分析 60-61 5.4 使用流管道过近似混合算法进行形式验证 61-65 5.4.1 使用体积比较法作为保守性评价方法进行验证 61-62 5.4.2 使用误差比较法作为保守性评价方法进行验证 62-65 第六章 总结和展望 65-66 参考文献 66-71
|
相似论文
- 基于混杂Petri网的城市道路交通网络模型研究及应用,U491.112
- 一类随机混杂系统的稳定性,O211.63
- 混杂系统渐近行为及工程应用的分析,TP13
- 基于EOS芯片MAC模块的EDA验证,TN402
- 线性控制系统的可区分性及其在混杂系统能观性中的应用,O231.1
- 切换双机电力系统的稳定性研究,TM712
- 应用于集成电路形式化验证的SAT算法研究,TN402
- 基于BDD的逻辑电路验证,TN791
- 基于混杂系统模型的电力电子电路故障诊断,TN710
- 带乘性噪声系统鲁棒状态估计算法研究,TP13
- 基于Color Petri Nets的HMIPv6协议形式化验证研究,TN929.5
- 基于MLD的非线性系统建模与控制研究,N945.12
- 平面切换系统,TP13
- YHFT-DX半定制/全定制混合设计流程中功能与时序验证,TP368.11
- 切换线性控制系统的线性状态反馈能稳性,TP13
- 控制系统量化状态的反馈镇定,TP13
- 三相并网逆变器及其并联运行的研究,TM464
- 基于MLD模型的混杂预测控制研究,TP13
- 基于LMI的PLC功能块图和顺序功能图的相互转换技术,TP273
- 混杂系统优化控制数值求解及其在非线性系统控制中的应用,TP13
- 基于混合逻辑动态的列车运行调度模型的研究,U292.4
中图分类: > 数理科学和化学 > 物理学 > 理论物理学 > 非线性物理学 > 混沌理论
© 2012 www.xueweilunwen.com
|