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

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

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前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期

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：457073