文献

J-GLOBAL ID：201702258573514809   整理番号：17A1567735

半代数的集合による下方近似後方可到達集合【Powered by NICT】

Underapproximating Backward Reachable Sets by Semialgebraic Sets

著者 (3件)： Xue Bai (Carl von Ossietzky Universitaet Oldenburg, Oldenburg, Germany) ,  She Zhikun (SKLSDE, LMIB, School of Mathematics and Systems Science, Beihang University, Beijing, China) ,  Easwaran Arvind (School of Computer Engineering, Nanyang Technological University, Singapore)
資料名： IEEE Transactions on Automatic Control  (IEEE Transactions on Automatic Control)
巻： 62  号： 10  ページ： 5185-5197  発行年： 2017年 
JST資料番号： C0223A  ISSN： 0018-9286  CODEN： IETAA9  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 後方可到達集合のUnderapproximations(UAs)は,制約された非線形動的システムのためのコントローラ合成と流跡線解析に重要な役割を果たすが,それらを計算するために利用可能な方法は少ない。非線形システム,単純結合されたコンパクト型の標的領域と時間が与えられたとき,後方可到達集合のUAを計算するための境界分析を用いる方法を提示した。UAは半代数集合として表現,多項式レベル集合関数を名付けたものにより形成される。多項式レベルセット関数は一つの実根を持つ半正定値正関数である,それによって形成された半代数集合の内部と閉鎖は,単純結合された及び同じ境界を持つことを示した。関数は凸プログラム,平方和分解と線形区間不等式に基づいて構築したを解くことにより計算できる。はいくつかの例について,本方法をテストし,既存の方法と比較した。結果は筆者らの手法がこれらの特別な例のための時間の点でより効率的に良好な推定を得ることができることを示した。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件)： システム設計・解析  (IA02030D)

タイトルに関連する用語 (3件)： 集合 ,  近似 ,  可到達