發(fā)布時(shí)間：2017-06-17 02:10

  本文關(guān)鍵詞：運(yùn)用柵欄函數(shù)驗(yàn)證連續(xù)系統(tǒng)的有界時(shí)間安全性，由筆耕文化傳播整理發(fā)布。

【摘要】：柵欄函數(shù)在連續(xù)系統(tǒng)驗(yàn)證方面有著廣泛的應(yīng)用,其主要想法在于:在可達(dá)集和非安全集之間尋找一個(gè)柵欄,從初始區(qū)域出發(fā)的路徑不會(huì)越過(guò)這個(gè)柵欄,而非安全區(qū)域在柵欄的另外一端.這樣,就可以通過(guò)尋找柵欄函數(shù)來(lái)驗(yàn)證一個(gè)系統(tǒng)的安全性.近年來(lái),已有一些工作討論連續(xù)系統(tǒng)在無(wú)界時(shí)間情況下的柵欄函數(shù)生成.但是對(duì)于有些系統(tǒng),人們可能只關(guān)心其在有界時(shí)間內(nèi)的安全性.因?yàn)樵跓o(wú)界時(shí)間內(nèi)不安全并不能說(shuō)明在給定時(shí)間內(nèi)也是不安全的,所以對(duì)于這類問題,無(wú)界時(shí)間柵欄函數(shù)方法并不適用.受無(wú)界時(shí)間柵欄函數(shù)方法的啟發(fā),針對(duì)有界時(shí)間的情況,給出有界時(shí)間柵欄函數(shù)生成方法.首先給出有界時(shí)間柵欄函數(shù)的一些充分條件,對(duì)于多項(xiàng)式系統(tǒng),將多項(xiàng)式非負(fù)的條件做平方和松弛后利用平方和規(guī)劃工具求解這些充分條件得到柵欄函數(shù);對(duì)于初等系統(tǒng)(包含一些初等函數(shù)),先將該初等系統(tǒng)轉(zhuǎn)化為一個(gè)多項(xiàng)式系統(tǒng),然后求解對(duì)應(yīng)多項(xiàng)式系統(tǒng)的柵欄函數(shù).對(duì)一些無(wú)界時(shí)間不安全的實(shí)例,演示了該方法在驗(yàn)證有界時(shí)間安全性問題上的有效性.
【作者單位】： 北京大學(xué)數(shù)學(xué)科學(xué)學(xué)院;
【關(guān)鍵詞】： 連續(xù)系統(tǒng) 安全性驗(yàn)證 柵欄函數(shù) 半定規(guī)劃 平方和
【基金】：國(guó)家自然科學(xué)基金(11271034,11290141)~~
【分類號(hào)】：TP368.1
【正文快照】： 嵌入式系統(tǒng)是一種完全嵌入到受控制器件的內(nèi)部,為該器件的某一特定應(yīng)用而設(shè)計(jì)的專用計(jì)算機(jī)系統(tǒng).近幾年,隨著計(jì)算機(jī)、互聯(lián)網(wǎng)和通信技術(shù)的不斷發(fā)展,嵌入式系統(tǒng)也不斷地應(yīng)用到社會(huì)的各個(gè)領(lǐng)域,比如工業(yè)控制中的數(shù)字機(jī)床、過(guò)程控制、電網(wǎng)設(shè)備監(jiān)控,環(huán)境工程中的防洪體系、地震監(jiān)測(cè)網(wǎng)

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 LIN Wang;WU Min;YANG ZhengFeng;ZENG ZhenBing;;Exact safety verification of hybrid systems using sums-of-squares representation[J];Science China(Information Sciences);2014年05期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前2條

1 林望;基于符號(hào)數(shù)值混合計(jì)算的混成系統(tǒng)可信分析與驗(yàn)證研究[D];華東師范大學(xué);2013年

2 鄧輝;基于符號(hào)與數(shù)值混合計(jì)算的多項(xiàng)式變遷系統(tǒng)近似互模擬[D];北京交通大學(xué);2014年

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 方晨;;廣義連續(xù)系統(tǒng)的魯棒H_∞控制及仿真[J];計(jì)算機(jī)仿真;2011年05期

2 周喜華;胡彩紅;梁開福;;基于連續(xù)代數(shù)Lyapunov方程解的研究[J];湘潭師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2008年02期

3 孫希平;王永驥;錢新恩;;一類MIMO狀態(tài)可測(cè)的非線性連續(xù)系統(tǒng)的激勵(lì)辨識(shí)方法[J];自動(dòng)化學(xué)報(bào);2007年10期

4 謝艷云;王飛;;一類連續(xù)系統(tǒng)的混沌反控制[J];齊齊哈爾大學(xué)學(xué)報(bào);2008年02期

5 張志鋼;趙洪國(guó);焉杰;;觀測(cè)時(shí)滯連續(xù)系統(tǒng)的白噪聲H_2估計(jì)[J];山東大學(xué)學(xué)報(bào)(工學(xué)版);2009年03期

6 張力軍;錢山;蔡洪;張士峰;;Kalman濾波中連續(xù)系統(tǒng)離散化的計(jì)算機(jī)實(shí)現(xiàn)[J];飛行器測(cè)控學(xué)報(bào);2010年02期

7 賀尚紅,鐘掘;基于小波調(diào)制的連續(xù)系統(tǒng)模型辨識(shí)[J];信息與控制;2002年06期

8 馮冬青,謝宋和;連續(xù)系統(tǒng)線性二次型期望極點(diǎn)配置問題的研究[J];信息與控制;1999年06期

9 孫先仿,張志方;連續(xù)系統(tǒng)的模型參考自適應(yīng)辨識(shí)新方法[J];自動(dòng)化學(xué)報(bào);1996年01期

10 龍飛;劉橋;;MATLAB在LTI連續(xù)系統(tǒng)響應(yīng)分析中的應(yīng)用[J];四川理工學(xué)院學(xué)報(bào)(自然科學(xué)版);2006年03期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前3條

1 孫先仿;張志方;;不穩(wěn)定連續(xù)系統(tǒng)的模型參考自適應(yīng)辨識(shí)[A];1993中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1993年

2 趙勇;王柏祥;馮純伯;;時(shí)變最優(yōu)化信息處理技術(shù)及其應(yīng)用第二部分:在線辨識(shí)連續(xù)系統(tǒng)[A];1997中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1997年

3 孫先仿;張志方;;連續(xù)系統(tǒng)的模型參考自適應(yīng)辨識(shí)新方法[A];1993年控制理論及其應(yīng)用年會(huì)論文集[C];1993年

  本文關(guān)鍵詞：運(yùn)用柵欄函數(shù)驗(yàn)證連續(xù)系統(tǒng)的有界時(shí)間安全性，由筆耕文化傳播整理發(fā)布。

，

本文編號(hào)：457073