文献

J-GLOBAL ID：201802282961463959   整理番号：18A0243474

結合マルチエージェントシステムの一般的クラスの分散抽象化と時間制約つき計画【Powered by NICT】

Decentralized abstractions and timed constrained planning of a general class of coupled multi-agent systems

著者 (4件)： Nikou Alexandros (ACCESS Linnaeus Center, School of Electrical Engineering, KTH Royal Institute of Technology, SE-100 44, Stockholm, Sweden) ,  Heshmati-alamdari Shahab (Control Systems Lab, Department of Mechanical Engineering, National Technical University of Athens, 9 Heroon Polytechniou Street, Zografou 15780, Athens, Greece) ,  Verginis Christos K. (ACCESS Linnaeus Center, School of Electrical Engineering, KTH Royal Institute of Technology, SE-100 44, Stockholm, Sweden) ,  Dimarogonas Dimos V. (ACCESS Linnaeus Center, School of Electrical Engineering, KTH Royal Institute of Technology, SE-100 44, Stockholm, Sweden)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CDC  ページ： 990-995  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 結合制約の下でのマルチエージェントシステムの一般クラスのためのコントローラ合成のための完全自動化手法を提示した。各エージェントは二項から成る動力学でモデル化した:初めのものは結合制約をモデル化し,他の一つは付加的な有界制御入力である。各エージェントが計量区間時間論理(MITL)として与えられた個々の高レベル仕様に適合するように,これらの入力を設計することを目指している。さらに,最初に結合剤の連結性を維持する必要がある。最初に,作業空間の多面体分配を仮定して,異なる領域間の遷移を保証する各エージェントのためのコントローラを提供する新しい分散抽象化を設計した。コントローラは,各エージェントのための分散ロバスト最適制御問題(DROCP)の解決策である。第二に,形式的検証からの技法を利用して,高レベル作業を満たす証明する個々の実験を計算するアルゴリズムを提供した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ロバスト性 ,  アルゴリズム ,  モデリング ,  *エージェント ,  時間論理 ,  作業空間 ,  制御装置 ,  連結性 ,  最適制御 ,  *マルチエージェントシステム
準シソーラス用語： 形式的検証 ,  制御入力 ,  有界 ,  コントローラ合成 ,  *時間制約 , 【Automatic Indexing@JST】

分類 (2件)： 人工知能  (JE08000Z) ,  システム設計・解析  (IA02030D)

タイトルに関連する用語 (5件)： マルチエージェントシステム ,  クラス ,  抽象化 ,  時間制約 ,  計画