講演名 | 2012-07-03 マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング(システムと信号処理及び一般) 斜森 泰樹, 潮 俊光, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本論文ではマルチホップ制御ネットワークにおいて,プラントのサンプリング時刻,タスク実行時刻,通信経路を同時に求める手法を提案する.ここでは,データの転送やデッドライン,競合の回避等の条件式を乗法標準形の論理式として表現し,SATソルバを用いて,これらの制約条件を満たすデータ転送のスケジューリングと制御入出力の更新タイミングを求める.また,シミュレーションにより,ネットワークにおけるノード数とSATソルバでの計算時間の関係を調べる. |
抄録(英) | We consider a multi-hop control network where a wireless network is used for transmission of input and output data between a plant and a computing system. We propose a method for co-scheduling of sampling of plants' outputs, execution of control tasks, and a routing of transmission data in the multi-hop network. Several constraints on control tasks and data transmission are described by propositional formulae. By using a SAT solver, we obtain scheduling satisfying the constraints. By simulation, we investigate the relationship between computation time in the SAT solver and the number of nodes in the network. |
キーワード(和) | マルチホップ制御ネットワーク / SATソルバ / 命題論理式 / スケジューリング |
キーワード(英) | Multi-hop control network / SAT solver / propositional formula / scheduling |
資料番号 | CAS2012-27,VLD2012-37,SIP2012-59,MSS2012-27 |
発行日 |
研究会情報 | |
研究会 | SIP |
---|---|
開催期間 | 2012/6/25(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Signal Processing (SIP) |
---|---|
本文の言語 | JPN |
タイトル(和) | マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング(システムと信号処理及び一般) |
サブタイトル(和) | |
タイトル(英) | Co-scheduling of Communication and Control of Multi-Hop Control Networks |
サブタイトル(和) | |
キーワード(1)(和/英) | マルチホップ制御ネットワーク / Multi-hop control network |
キーワード(2)(和/英) | SATソルバ / SAT solver |
キーワード(3)(和/英) | 命題論理式 / propositional 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 |
発表年月日 | 2012-07-03 |
資料番号 | CAS2012-27,VLD2012-37,SIP2012-59,MSS2012-27 |
巻番号(vol) | vol.112 |
号番号(no) | 115 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |