文献

J-GLOBAL ID：201702235166574754   整理番号：17A1252678

非線形系の反証のためのハイブリッド近似勾配と確率的降下【Powered by NICT】

Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems

著者 (2件)： Yaghoubi Shakiba (Schools of Engineering at Arizona State University, Tempe, United States of America) ,  Fainekos Georgios (Schools of Engineering at Arizona State University, Tempe, United States of America)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ACC  ページ： 529-534  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 非線形系の過渡特性は,安全応用のための重要な問題である。計算,非線形系を安全性仕様を満たすことを確かめるために,非常に困難な問題である。,多くの場合,技術者が関連した問題を解決する,すなわち,与えられた仕様を満足しないシステム挙動を見出すことを試みた。この問題は仕様改ざんと呼ばれている。最適化は,改ざん問題への実用的な解決策を提供するために非常に有効であることが示されている。本論文では,任意の複雑さの滑らかな非線形システムを反証する効果的で実際的な局所的および大域的最適化戦略を提供する。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 安全性 ,  *非線形系 ,  技術者 ,  *近似法 ,  過渡応答 ,  最適化
準シソーラス用語： 大域的最適化 ,  複雑性 ,  改竄 , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (5件)： 非線形系 ,  近似 ,  勾配 ,  確率 ,  降下