時相論理仕様の時間ロバスト性:解析と制御設計【JST・京大機械翻訳】

Rodionova Aleena; Lindemann Lars; Morari Manfred; Pappas George J.

プレプリント

J-GLOBAL ID：202202220726989359 整理番号：22P0312311

時相論理仕様の時間ロバスト性:解析と制御設計【JST・京大機械翻訳】

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

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

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

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

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

時間論理仕様の時間的ロバスト性を研究し,時間臨界制御システムのための時間的にロバストな制御則を設計する方法を示した。このトピックは,個々のエージェントと人間の行動の不確実性がタイミングの不確実性を誘発することができるマルチロボットや人間ロボットシステムのような連結システムとインタリービングプロセスに特に興味深い。時間クリティカルシステムの重要性にもかかわらず,時間的論理仕様の時間的ロバスト性は,特に制御設計の観点からは研究されていない。同期および非同期時間ロバスト性を定義し,これらの概念が時間論理仕様の述語における同期および非同期時間シフトに関してロバスト性を定量化することを示した。さらに,同期時間ロバスト性が非同期時間ロバスト性を上限することを示した。次に,動的システムの時間ロバスト性を最大化する制御則の設計を目的とする制御設計問題を研究した。この解は,最適制御入力のシーケンスを得るために使用できる混合整数線形計画法(MILP)符号化から成る。非同期時間ロバスト性は同期的時間的ロバスト性よりもより nu然的であるが,同期時間ロバスト性を用いた制御設計が計算的に効率的であることを示した。このトレードオフは,手の特定の応用に依存する設計者によって利用できる。著者らは,種々の事例研究で論文を結論づける。【JST・京大機械翻訳】

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

システム設計・解析

, , , ,

前のページに戻る