Krylov部分空間における不確定入力を持つ大規模線形システムの可到達性解析【JST・京大機械翻訳】

Althoff Matthias

プレプリント

J-GLOBAL ID：202202210229264060 整理番号：22P0043194

Krylov部分空間における不確定入力を持つ大規模線形システムの可到達性解析【JST・京大機械翻訳】

Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2017年12月01日プレプリントサーバーでの情報更新日： 2020年08月05日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

1つは,大規模システムを形式的に分析する能力をしばしば望んでいるが,しかし,1つは,むしろ小規模システムを形式的に分析するか,あるいは,大規模システムを非公式に分析できる。本研究は,線形システムの可到達性解析に対するこの性能ギャップをさらに近づけることを試みた。到達可能性解析は,動的システムの可能な解の全体のセットを捕えることができて,このように,不安全状態が決して到達しないことを証明した。これは,センサ雑音や擾乱が通常はパターンに従わないので,任意に変化する不確実な入力を十分に考慮する必要がある。大規模線形系に対する到達可能集合を計算するために,本研究ではKrylov法を使用した。Krylov法は可到達性解析の前に使用されてきたが,入力が(区分的に)一定であるべき以前の限界を克服した。その結果,有界ではあるが任意に変化する入力に対して数千状態変数を持つシステムの到達可能集合を計算することができた。【JST・京大機械翻訳】

, , , , , , , ,
, , , 【Automatic Indexing@JST】

システム設計・解析

, , , ,

前のページに戻る