| 講演抄録/キーワード |
| 講演名 |
2014-01-30 13:00
制御性能の最適化を考慮したマルチホップ制御ネットワークのスケジューリング ○斜森泰樹・潮 俊光(阪大) MSS2013-51 SS2013-48 |
| 抄録 |
(和) |
本報告ではマルチホップ制御ネットワークにおいて,ネットワークの制約の下プラントの制御性能を最大化するようなデータの転送と,コンピュータでのタスク実行などのスケジュールを求める方法を提案する.ここでは,データの転送などを論理式を用いて表現し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 / / / / |
| 文献情報 |
信学技報, vol. 113, no. 421, MSS2013-51, pp. 1-4, 2014年1月. |
| 資料番号 |
MSS2013-51 |
| 発行日 |
2014-01-23 (MSS, SS) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
MSS2013-51 SS2013-48 |