| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2016-03-11 14:15 一次元系における自己位置推定の振舞い検証に向けて ○関澤俊弦（日大）・岡野浩三（信州大）  SS2015-100 |
|
| 抄録 | （和） | 組込みシステムが社会に広く普及するに伴い，その信頼性は重要となっている．モデル検査は信頼性保証技術の一つであり，様々なシステムの信頼性を保証するために適用され成功を収めてきた．しかし，確率的な振舞いを示す系への適用は十分とは言い難い．本研究は，自律移動ロボットなどに代表される確率ロボティックスの要素技術 の一つである自己位置推定をモデル検査で扱うことを目的とする．そのために，一定の制約を課した1次元系における自己位置推定アルゴリズムのモデル化と検証事例を示す．本研究では，モデル検査の適用可能性を示すために，モデル検査器としてSPIN を使用する． |
| （英） | Along with the popularization of embedded systems in society, reliability of them has become important. Model checking is one of formal methods which has been successfully applied to many systems for ensuring their reliabilities. However, applications for probabilistic systems are not yet enough studied. The aim of this study is to establish a self-localization method based on model checking. Self-localization is one of elements of probabilistic robot techniques which involve autonomous mobile robots. This study shows a model representing a self-localization algorithm on one-dimensional system with restrictions, and also the model checking results. This study uses model checker SPIN in order to show applicability of classical model checking approaches. |
|
| キーワード | （和） | 自己位置推定 / 1次元系 / モデル検査 / / / / / |
| （英） | estimation of self-localization / one-dimensional system / model checking / / / / / | |
| 文献情報 | 信学技報, vol. 115, no. 508, SS2015-100, pp. 145-150, 2016年3月. | |
| 資料番号 | SS2015-100 | |
| 発行日 | 2016-03-03 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2015-100 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2016-03-10 - 2016-03-11 |
| 開催地（和） | 沖縄県立宮古青少年の家 |
| 開催地（英） | |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2016-03-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 一次元系における自己位置推定の振舞い検証に向けて |
| サブタイトル（和） | |
| タイトル（英） | Towards Behavior Verification of Estimation of Self-localization in One-dimensional Systems |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 自己位置推定 / estimation of self-localization |
| キーワード(2)（和/英） | 1次元系 / one-dimensional system |
| キーワード(3)（和/英） | モデル検査 / model checking |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 関澤 俊弦 / Toshifusa Sekizawa / セキザワ トシフサ |
| 第1著者 所属（和/英） | 日本大学 (略称： 日大) Nihon University (略称： Nihon Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 岡野 浩三 / Kozo Okano / オカノ コウゾウ |
| 第2著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第3著者 氏名（和/英/ヨミ） | / / |
| 第3著者 所属（和/英） | (略称： ) (略称： ) |
| 第4著者 氏名（和/英/ヨミ） | / / |
| 第4著者 所属（和/英） | (略称： ) (略称： ) |
| 第5著者 氏名（和/英/ヨミ） | / / |
| 第5著者 所属（和/英） | (略称： ) (略称： ) |
| 第6著者 氏名（和/英/ヨミ） | / / |
| 第6著者 所属（和/英） | (略称： ) (略称： ) |
| 第7著者 氏名（和/英/ヨミ） | / / |
| 第7著者 所属（和/英） | (略称： ) (略称： ) |
| 第8著者 氏名（和/英/ヨミ） | / / |
| 第8著者 所属（和/英） | (略称： ) (略称： ) |
| 第9著者 氏名（和/英/ヨミ） | / / |
| 第9著者 所属（和/英） | (略称： ) (略称： ) |
| 第10著者 氏名（和/英/ヨミ） | / / |
| 第10著者 所属（和/英） | (略称： ) (略称： ) |
| 第11著者 氏名（和/英/ヨミ） | / / |
| 第11著者 所属（和/英） | (略称： ) (略称： ) |
| 第12著者 氏名（和/英/ヨミ） | / / |
| 第12著者 所属（和/英） | (略称： ) (略称： ) |
| 第13著者 氏名（和/英/ヨミ） | / / |
| 第13著者 所属（和/英） | (略称： ) (略称： ) |
| 第14著者 氏名（和/英/ヨミ） | / / |
| 第14著者 所属（和/英） | (略称： ) (略称： ) |
| 第15著者 氏名（和/英/ヨミ） | / / |
| 第15著者 所属（和/英） | (略称： ) (略称： ) |
| 第16著者 氏名（和/英/ヨミ） | / / |
| 第16著者 所属（和/英） | (略称： ) (略称： ) |
| 第17著者 氏名（和/英/ヨミ） | / / |
| 第17著者 所属（和/英） | (略称： ) (略称： ) |
| 第18著者 氏名（和/英/ヨミ） | / / |
| 第18著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2016-03-11 14:15:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2015-100 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | no.508 |
| ページ範囲 | pp.145-150 |
| ページ数 | 6 |
| 発行日 | 2016-03-03 (SS) |
[研究会発表申込システムのトップページに戻る]