抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本研究は,コンピュータにおける数学的結果とそれらの実装の間の不一致を説明するために,建設解析に基づく制御理論のためのフレームワークを提示し,また,計算不確実性として参照した。制御工学において,後者は,通常無視されるか,あるいは,システムノイズのような他のタイプの不確実性に浸漬され,ロバスト制御の中で取り組まれる。しかし,それぞれのアルゴリズムに含まれる数学的物体が正確な形式で存在できず,必要な特性を満足できないとき,ロバスト制御方法も損なわれる可能性がある。例えば,制御Lyapunov関数を用いた一般的安定化において,計算不確実性は,システム,アクチュエータおよび測定ノイズに関して安定化ルーチンのロバスト性にもかかわらず,安定性証明書を歪め,あるいはシステムを不安定化する。実際,制御装置の実用化における数値問題は,制御技術者の間で一般的である。このような観察は,計算の不確実性が,制御装置合成とシステム解析において明示的に取り組まれるべきであることを示した。ここでの主要な貢献は,計算の不確実性を説明する有限精度まで,あらゆる計算が実行できることを明示的に示す建設的解析に基づく制御システムの解析と合成における証明技術のためのかなり一般的なフレームワークである。建設システム安定性と安定化,近似最適制御,固有値問題,Caratheodory軌道,測定可能セレクタを含む一連の以前の研究を概観した。さらに,敵対防衛で重要なDanスキンの定理の新しい構成版を提示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】