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

发布时间：2021-03-02 14:57

　　混成系统是连续变量动态系统和离散事件动态系统并存且相互作用、相互影响的一类复杂系统。随着科学技术的发展，混成系统广泛应用于工业生产及社会生活中，它已成为计算机科学和控制学科研究的热点。混成系统的可达性问题，是混成系统研究中最基础、最重要而又最具挑战性的问题之一。本文所有的论述均围绕着混成系统的可达性分析这个主题展开，以多项式混成系统的可达性分析为重点。论文的主要工作包括以下的几部分内容：（1）论文使用混成自动机来讨论混成系统的可达性，阐述了连续系统和混成系统的可达性算法。介绍了常用的系统可达集的计算工具，并讨论了基于流管道的近似可达集计算方法。（2）针对一类非线性混成系统的可达性问题，提出了一种基于多面体包含的分析方法。首先介绍了非线性混成系统线性近似概念，讨论了如何应用多面体包含对多项式混成系统进行线性近似，并采用量词消去和非线性优化方法来构造相应的线性混成系统，然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集，并应用于验证系统的安全性。（3）对全文的研究工作做了总结，并对今后的研究方向进行了展望。 

【文章来源】：温州大学浙江省

【文章页数】：44 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
第一章 绪论
    1.1 引言
    1.2 背景与意义
    1.3 混成系统的发展概括
    1.4 混成系统研究的主要内容
    1.5 混成系统的可达性
        1.5.1 混成系统的可达性问题
        1.5.2 混成系统可达性研究现状
    1.6 本文的主要内容与结构安排
第二章 混成系统及其可达性
    2.1 引言
    2.2 混成系统的两个例子
        2.2.1 房间温度控制系统
        2.2.2 双容水箱系统
    2.3 混成系统基本概念及特点
    2.4 混成系统的模型—混成自动机
    2.5 混成系统的可达性
        2.5.1 混成系统的可达性问题
        2.5.2 连续系统的可达性分析
        2.5.3 混成系统的可达性分析
    2.6 可达集近似计算
第三章 一类非线性混成系统的可达性分析
    3.1 引言
    3.2 线性近似
    3.3 基于多面体线性近似
    3.4 SpaceEx 验证
    3.5 构造算法
    3.6 实例
第四章 总结与展望
参考文献
致谢
攻读硕士学位期间发表的学术论文



本文编号：3059462