基于半定规划的随机混成系统安全性验证研究

摘要	第5-6页
Abstract	第6-7页
第一章 引言	第10-18页
1.1 研究背景与意义	第10-12页
1.2 国内外研究现状	第12-15页
1.3 研究内容和研究方法	第15-17页
1.4 论文结构	第17-18页
第二章 预备知识	第18-34页
2.1 混成系统简介	第18-25页
2.2 半定规划	第25-27页
2.3 平方和多项式	第27-29页
2.4 概率论基础	第29-33页
2.5 本章小结	第33-34页
第三章 随机连续系统的安全性验证	第34-60页
3.1 随机连续系统安全性验证问题形式化描述	第35-43页
3.2 随机连续系统安全性验证方法	第43-51页
3.3 基于半定规划的随机障碍函数生成方法	第51-56页
3.4 算例	第56-58页
3.5 本章小结	第58-60页
第四章 随机连续系统安全性验证工具	第60-80页
4.1 简介	第60-61页
4.2 总体设计	第61-72页
4.3 软件使用	第72-78页
4.4 本章小结	第78-80页
第五章 总结与展望	第80-82页
5.1 工作总结	第80页
5.2 研究展望	第80-82页
参考文献	第82-90页
致谢	第90-92页
研究成果	第92页