非线性混成系统的可达性分析

摘要	第1-4页
ABSTRACT	第4-8页
第一章 绪论	第8-15页
·引言	第8页
·背景与意义	第8-9页
·混成系统的发展概括	第9-10页
·混成系统研究的主要内容	第10-11页
·混成系统的可达性	第11-13页
·混成系统的可达性问题	第11-12页
·混成系统可达性研究现状	第12-13页
·本文的主要内容与结构安排	第13-15页
第二章 混成系统及其可达性	第15-24页
·引言	第15页
·混成系统的两个例子	第15-17页
·房间温度控制系统	第15-16页
·双容水箱系统	第16-17页
·混成系统基本概念及特点	第17-18页
·混成系统的模型—混成自动机	第18-20页
·混成系统的可达性	第20-22页
·混成系统的可达性问题	第20页
·连续系统的可达性分析	第20-21页
·混成系统的可达性分析	第21-22页
·可达集近似计算	第22-24页
第三章 一类非线性混成系统的可达性分析	第24-37页
·引言	第24-25页
·线性近似	第25-27页
·基于多面体线性近似	第27-30页
·SpaceEx 验证	第30页
·构造算法	第30-31页
·实例	第31-37页
第四章 总结与展望	第37-38页
参考文献	第38-43页
致谢	第43-44页
攻读硕士学位期间发表的学术论文	第44页