抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
時間論理仕様の時間的ロバスト性を研究し,時間臨界制御システムのための時間的にロバストな制御則を設計する方法を示した。このトピックは,個々のエージェントと人間の行動の不確実性がタイミングの不確実性を誘発することができるマルチロボットや人間ロボットシステムのような連結システムとインタリービングプロセスに特に興味深い。時間クリティカルシステムの重要性にもかかわらず,時間的論理仕様の時間的ロバスト性は,特に制御設計の観点からは研究されていない。同期および非同期時間ロバスト性を定義し,これらの概念が時間論理仕様の述語における同期および非同期時間シフトに関してロバスト性を定量化することを示した。さらに,同期時間ロバスト性が非同期時間ロバスト性を上限することを示した。次に,動的システムの時間ロバスト性を最大化する制御則の設計を目的とする制御設計問題を研究した。この解は,最適制御入力のシーケンスを得るために使用できる混合整数線形計画法(MILP)符号化から成る。非同期時間ロバスト性は同期的時間的ロバスト性よりもより nu然的であるが,同期時間ロバスト性を用いた制御設計が計算的に効率的であることを示した。このトレードオフは,手の特定の応用に依存する設計者によって利用できる。著者らは,種々の事例研究で論文を結論づける。【JST・京大機械翻訳】