混成系統(tǒng)是連續(xù)變量動態(tài)系統(tǒng)和離散事件動態(tài)系統(tǒng)并存且相互作用、相互影響的一類復(fù)雜系統(tǒng)。隨著科學(xué)技術(shù)的發(fā)展，混成系統(tǒng)廣泛應(yīng)用于工業(yè)生產(chǎn)及社會生活中，它已成為計(jì)算機(jī)科學(xué)和控制學(xué)科研究的熱點(diǎn)�；斐上到y(tǒng)的可達(dá)性問題，是混成系統(tǒng)研究中最基礎(chǔ)、最重要而又最具挑戰(zhàn)性的問題之一。本文所有的論述均圍繞著混成系統(tǒng)的可達(dá)性分析這個主題展開，以多項(xiàng)式混成系統(tǒng)的可達(dá)性分析為重點(diǎn)。論文的主要工作包括以下的幾部分內(nèi)容：（1）論文使用混成自動機(jī)來討論混成系統(tǒng)的可達(dá)性，闡述了連續(xù)系統(tǒng)和混成系統(tǒng)的可達(dá)性算法。介紹了常用的系統(tǒng)可達(dá)集的計(jì)算工具，并討論了基于流管道的近似可達(dá)集計(jì)算方法。（2）針對一類非線性混成系統(tǒng)的可達(dá)性問題，提出了一種基于多面體包含的分析方法。首先介紹了非線性混成系統(tǒng)線性近似概念，討論了如何應(yīng)用多面體包含對多項(xiàng)式混成系統(tǒng)進(jìn)行線性近似，并采用量詞消去和非線性優(yōu)化方法來構(gòu)造相應(yīng)的線性混成系統(tǒng)，然后運(yùn)用驗(yàn)證工具SpaceEx求得原非線性混成系統(tǒng)的過近似可達(dá)集，并應(yīng)用于驗(yàn)證系統(tǒng)的安全性。（3）對全文的研究工作做了總結(jié)，并對今后的研究方向進(jìn)行了展望。 

【文章來源】：溫州大學(xué)浙江省

【文章頁數(shù)】：44 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 引言
    1.2 背景與意義
    1.3 混成系統(tǒng)的發(fā)展概括
    1.4 混成系統(tǒng)研究的主要內(nèi)容
    1.5 混成系統(tǒng)的可達(dá)性
        1.5.1 混成系統(tǒng)的可達(dá)性問題
        1.5.2 混成系統(tǒng)可達(dá)性研究現(xiàn)狀
    1.6 本文的主要內(nèi)容與結(jié)構(gòu)安排
第二章 混成系統(tǒng)及其可達(dá)性
    2.1 引言
    2.2 混成系統(tǒng)的兩個例子
        2.2.1 房間溫度控制系統(tǒng)
        2.2.2 雙容水箱系統(tǒng)
    2.3 混成系統(tǒng)基本概念及特點(diǎn)
    2.4 混成系統(tǒng)的模型—混成自動機(jī)
    2.5 混成系統(tǒng)的可達(dá)性
        2.5.1 混成系統(tǒng)的可達(dá)性問題
        2.5.2 連續(xù)系統(tǒng)的可達(dá)性分析
        2.5.3 混成系統(tǒng)的可達(dá)性分析
    2.6 可達(dá)集近似計(jì)算
第三章 一類非線性混成系統(tǒng)的可達(dá)性分析
    3.1 引言
    3.2 線性近似
    3.3 基于多面體線性近似
    3.4 SpaceEx 驗(yàn)證
    3.5 構(gòu)造算法
    3.6 實(shí)例
第四章 總結(jié)與展望
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間發(fā)表的學(xué)術(shù)論文



本文編號：3059462