講演名 | 2014/1/23 制御性能の最適化を考慮したマルチホップ制御ネットワークのスケジューリング 斜森 泰樹, 潮 俊光, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本報告ではマルチホップ制御ネットワークにおいて,ネットワークの制約の下プラントの制御性能を最大化するようなデータの転送と,コンピュータでのタスク実行などのスケジュールを求める方法を提案する.ここでは,データの転送などを論理式を用いて表現しSATソルバを繰り返し用いて最適解を求める.このとき学習節や束構造を利用して効率的に求める.また,シミュレーションにより学習節の有無と計算時間の関係を調べる. |
抄録(英) | We propose a scheduling method to achieve the optimal control performance in a multi-hop control network, where actuation data and sensing data of the plant are transmitted by a wireless multi-hop network. We formulate constraints of a multi-hop control network as a satisfiability problem. We solve it by a SAT solver repeatably with a learnt clause and a lattice to get the optimal solution efficiently. By simulation, we investigate the effect of the learnt clause on computation time. |
キーワード(和) | マルチホップ制御ネットワーク / SATソルバ / 論理式 / スケジューリング |
キーワード(英) | Multi-hop control network / SAT solver / logical formula / scheduling |
資料番号 | SS2013-48,MSS2013-51 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 2014/1/23(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | JPN |
タイトル(和) | 制御性能の最適化を考慮したマルチホップ制御ネットワークのスケジューリング |
サブタイトル(和) | |
タイトル(英) | Scheduling of Multi-Hop Control Networks with Optimal Control Performance |
サブタイトル(和) | |
キーワード(1)(和/英) | マルチホップ制御ネットワーク / Multi-hop control network |
キーワード(2)(和/英) | SATソルバ / SAT solver |
キーワード(3)(和/英) | 論理式 / logical formula |
キーワード(4)(和/英) | スケジューリング / scheduling |
第 1 著者 氏名(和/英) | 斜森 泰樹 / Yasuki NANAMORI |
第 1 著者 所属(和/英) | 大阪大学大学院基礎工学研究科 Graduate school of Engineering Science, Osaka University |
第 2 著者 氏名(和/英) | 潮 俊光 / Toshimitsu USHIO |
第 2 著者 所属(和/英) | 大阪大学大学院基礎工学研究科 Graduate school of Engineering Science, Osaka University |
発表年月日 | 2014/1/23 |
資料番号 | SS2013-48,MSS2013-51 |
巻番号(vol) | vol.113 |
号番号(no) | 422 |
ページ範囲 | pp.- |
ページ数 | 4 |
発行日 |