柵欄函數(shù)驗(yàn)證連續(xù)系統(tǒng)的有界時(shí)間安全性
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）
柵欄函數(shù)在連續(xù)系統(tǒng)驗(yàn)證方面有著廣泛的應(yīng)用，其主要想法在于：在可達(dá)集和非安全集之間尋找一個(gè)柵欄，從初始區(qū)域出發(fā)的路徑不會(huì)越過這個(gè)柵欄，而非安全區(qū)域在柵欄的另外一端．這樣，就可以通過尋找柵欄函數(shù)來驗(yàn)證一個(gè)系統(tǒng)的安全性．近年來，已有一些工作討論連續(xù)系統(tǒng)在無界時(shí)間情況下的柵欄函數(shù)生成．但是對(duì)于有些系統(tǒng)，人們可能只關(guān)心其在有界時(shí)間內(nèi)的安全性．因?yàn)樵跓o界時(shí)間內(nèi)不安全并不能說明在給定時(shí)間內(nèi)也是不安全的，所以對(duì)于這類問題，無界時(shí)間柵欄函數(shù)方法并不適用．受無界時(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ì)一些無界時(shí)間不安全的實(shí)例，演示了該方法在驗(yàn)證有界時(shí)間安全性問題上的有效性．
非常好我支持^.^
(0) 0%
不好我反對(duì)
(0) 0%
下載地址
柵欄函數(shù)驗(yàn)證連續(xù)系統(tǒng)的有界時(shí)間安全性下載
相關(guān)電子資料下載
- 谷歌Gemma 2大語言模型升級(jí)發(fā)布，性能與安全性雙重飛躍 260
- 動(dòng)力電池自動(dòng)點(diǎn)焊機(jī)：如何提升電池性能與安全性 46
- NFC風(fēng)險(xiǎn)與安全性：揭示NFC技術(shù)高安全性的真相 95
- 工業(yè)控制系統(tǒng)安全性分析與對(duì)策 616
- 工業(yè)以太網(wǎng)安全性分析及防護(hù)措施 147
- NVIDIA BlueField-3 DPU助力思科提高工作負(fù)載安全性和運(yùn)營(yíng)效率 413
- NFC風(fēng)險(xiǎn)與安全性：揭示其本質(zhì)，安心享受NFC帶來的便捷 219
- Tata Communications托管SASE重新定義下一代網(wǎng)絡(luò)與安全性 236
- 森思泰克前向毫米波雷達(dá)STA77-5S產(chǎn)品提高智能駕駛的安全性和可靠性 352
- TDK |?以觸覺提升駕駛安全性：路況比屏幕更值得關(guān)注 229