文献

J-GLOBAL ID：202002216611843633   整理番号：20A2145105

ロボティクスのための超特性:HyperLTLによる計画【JST・京大機械翻訳】

Hyperproperties for Robotics: Planning via HyperLTL

著者 (3件)： Wang Yu (Duke University,Department of Electrical and Computer Engineering,Durham,NC,USA,27708) ,  Nalluri Siddhartha (Duke University,Computer Science Department,Durham,NC,USA,27708) ,  Pajic Miroslav (Duke University,Department of Electrical and Computer Engineering,Durham,NC,USA,27708)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： ICRA  ページ： 8462-8468  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 時間論理目的のための形式的方法ベースのロボット計画に関する関心が高まっている。本研究では,既存の合成法の範囲を超時間論理に拡張した。著者らは,最適性,ロバスト性およびプライバシーのような重要な計画目的が,複数の経路間の相互関係を含むという事実によって動機づけられた。したがって,このような目的は超特性であり,線形時間論理(LTL)のような通常の時間論理で表現できない。そのような超特性は,LTLの多重経路への拡張であるHyperLTLにより表現できることを示した。HyperLTL仕様による計画の複雑性を扱うために,離散遷移システムに関する計画戦略を合成するための記号的アプローチを導入した。この計画法をいくつかの事例研究で評価した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ロボット ,  プライバシー ,  事例研究 ,  *時間論理 ,  ロバスト性 ,  遷移システム
準シソーラス用語： *ロボット工学 ,  多経路 ,  複雑性 ,  最適性 ,  線形時間論理 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (2件)： ロボティクス ,  計画