柵欄函數驗證連續系統的有界時間安全性
大小：1.20 MB 人氣： 2018-01-16 需要積分：2
柵欄函數在連續系統驗證方面有著廣泛的應用，其主要想法在于：在可達集和非安全集之間尋找一個柵欄，從初始區域出發的路徑不會越過這個柵欄，而非安全區域在柵欄的另外一端．這樣，就可以通過尋找柵欄函數來驗證一個系統的安全性．近年來，已有一些工作討論連續系統在無界時間情況下的柵欄函數生成．但是對于有些系統，人們可能只關心其在有界時間內的安全性．因為在無界時間內不安全并不能說明在給定時間內也是不安全的，所以對于這類問題，無界時間柵欄函數方法并不適用．受無界時間柵欄函數方法的啟發，針對有界時間的情況，給出有界時間柵欄函數生成方法．首先給出有界時間柵欄函數的一些充分條件，對于多項式系統，將多項式非負的條件做平方和松弛后利用平方和規劃工具求解這些充分條件得到柵欄函數；對于初等系統（包含一些初等函數），先將該初等系統轉化為一個多項式系統，然后求解對應多項式系統的柵欄函數．對一些無界時間不安全的實例，演示了該方法在驗證有界時間安全性問題上的有效性．
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
柵欄函數驗證連續系統的有界時間安全性下載
相關電子資料下載
- 谷歌Gemma 2大語言模型升級發布，性能與安全性雙重飛躍 260
- 動力電池自動點焊機：如何提升電池性能與安全性 46
- NFC風險與安全性：揭示NFC技術高安全性的真相 95
- 工業控制系統安全性分析與對策 616
- 工業以太網安全性分析及防護措施 147
- NVIDIA BlueField-3 DPU助力思科提高工作負載安全性和運營效率 413
- NFC風險與安全性：揭示其本質，安心享受NFC帶來的便捷 219
- Tata Communications托管SASE重新定義下一代網絡與安全性 236
- 森思泰克前向毫米波雷達STA77-5S產品提高智能駕駛的安全性和可靠性 352
- TDK |?以觸覺提升駕駛安全性：路況比屏幕更值得關注 229