在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

您好,歡迎來(lái)電子發(fā)燒友網(wǎng)! ,新用戶?[免費(fèi)注冊(cè)]

您的位置:電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

柵欄函數(shù)驗(yàn)證連續(xù)系統(tǒng)的有界時(shí)間安全性

大小:1.20 MB 人氣: 2018-01-16 需要積分:2

  柵欄函數(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èn)題,無(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í)間安全性問(wèn)題上的有效性.

非常好我支持^.^

(0) 0%

不好我反對(duì)

(0) 0%

      發(fā)表評(píng)論

      用戶評(píng)論
      評(píng)價(jià):好評(píng)中評(píng)差評(píng)

      發(fā)表評(píng)論,獲取積分! 請(qǐng)遵守相關(guān)規(guī)定!

      ?
      主站蜘蛛池模板: 国产激情视频一区二区三区 | 亚洲最新黄色网址 | 久久精品高清视频 | 国产片无遮挡在线看床戏 | 天天操天天干天天玩 | 午夜视频在线免费 | 免费国产不卡午夜福在线 | 午夜国产精品福利在线观看 | 久草老司机 | 国产亚洲精品仙踪林在线播放 | 亚洲一区免费视频 | 日本高清视频色视频kk266 | 老湿成人影院 | 涩涩高清无乱码在线观看 | 特黄大片aaaaa毛片 | 黄色一级一毛片 | 轻点灬大ji巴太粗太长了啊h | 综合久 | 欧美日韩性猛交xxxxx免费看 | 亚州免费一级毛片 | 一区二区三区网站在线免费线观看 | 天堂网在线新版www 天堂网在线资源 | 性欧美欧美之巨大69 | 黄色一级毛片网站 | h网站亚洲 | 欧美日韩伦理 | 五月婷婷六月激情 | 一级待一黄aaa大片在线还看 | 欧美另类自拍 | 婷婷深爱| 97午夜影院 | h国产在线观看 | 一 级 黄 中国色 片 | 公妇乱淫日本免费观看 | 日韩精品午夜 | 美女和美女 | 亚洲国内精品自在线影视 | 视频 在线 | 久久第一页 | 91极品女神私人尤物在线播放 | 欧美三级视频网站 |