講演名 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
発行日