文献

J-GLOBAL ID：201902275614260278   整理番号：19A1556270

非線形システムのための双曲不変集合を計算するための形式的方法【JST・京大機械翻訳】

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems

著者 (2件)： Berger Guillaume O. (ICTEAM Institute, UCLouvain, Louvain-la-Neuve, Belgium) ,  Jungers Raphael M. (ICTEAM Institute, UCLouvain, Louvain-la-Neuve, Belgium)
資料名： IEEE Control Systems Letters  (IEEE Control Systems Letters)
巻： 4  号： 1  ページ： 235-240  発行年： 2020年 
JST資料番号： W3481A  ISSN： 2475-1456  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 双曲線性は非線形力学系理論の基礎である。双曲線動力学は,系の軌跡に沿った導関数に対する拡張および収縮方向の存在によって特徴付けられる。双曲力学系は構造安定性,エルゴード性,過渡性などの多くの興味深い性質を持つ。本稿では,与えられた動的システムに対する双曲構造を持つ不変集合を計算するためのハイブリッドシステムフレームワークについて述べた。この方法は,システムの状態空間の抽象化(記号画像またはバイシミュレーションとしても知られている)と,システムの軌跡に沿った導関数に対する拡張および収縮方向を計算するための経路完全「Lyapunov様」技術に依存する。この方法を数値例について説明した。すなわち,双曲線構造を持つ不変集合がフレームワークを用いて計算されるIkedaマップである。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 軌跡 ,  双曲線 ,  *非線形系 ,  導関数 ,  動的系 ,  画像 ,  エルゴード性 ,  力学系
準シソーラス用語： 状態空間 ,  ハイブリッドシステム ,  構造安定性 ,  非線形力学系 ,  *不変集合 , 【Automatic Indexing@JST】

分類 (2件)： 分子・遺伝情報処理  (JE15040B) ,  システム設計・解析  (IA02030D)

タイトルに関連する用語 (4件)： 非線形システム ,  不変集合 ,  計算 ,  形式的方法