| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-07-03 15:50 マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング ○斜森泰樹・潮 俊光（阪大）  CAS2012-27 VLD2012-37 SIP2012-59 MSS2012-27 |
|
| 抄録 | （和） | 本論文ではマルチホップ制御ネットワークにおいて，プラントのサンプリング時刻，タスク実行時刻，通信経路を同時に求める手法を提案する．ここでは，データの転送やデッドライン，競合の回避等の条件式を乗法標準形の論理式として表現し，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 / / / / | |
| 文献情報 | 信学技報, vol. 112, no. 116, MSS2012-27, pp. 143-148, 2012年7月. | |
| 資料番号 | MSS2012-27 | |
| 発行日 | 2012-06-25 (CAS, VLD, SIP, MSS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2012-27 VLD2012-37 SIP2012-59 MSS2012-27 |
|
| 研究会情報 | |
| 研究会 | VLD CAS MSS SIP |
| 開催期間 | 2012-07-02 - 2012-07-03 |
| 開催地（和） | 京都リサーチパーク |
| 開催地（英） | Kyoto Research Park |
| テーマ（和） | システムと信号処理および一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2012-07-VLD-CAS-MSS-SIP |
| 本文の言語 | 日本語 |
| タイトル（和） | マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング |
| サブタイトル（和） | |
| タイトル（英） | 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 |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 斜森 泰樹 / Yasuki Nanamori / ナナモリ ヤスキ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 潮 俊光 / Toshimitsu Ushio / |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2012-07-03 15:50:00 |
| 発表時間 | 20分 |
| 申込先研究会 | MSS |
| 資料番号 | CAS2012-27, VLD2012-37, SIP2012-59, MSS2012-27 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | no.113(CAS), no.114(VLD), no.115(SIP), no.116(MSS) |
| ページ範囲 | pp.143-148 |
| ページ数 | 6 |
| 発行日 | 2012-06-25 (CAS, VLD, SIP, MSS) |
[研究会発表申込システムのトップページに戻る]