| Presentation | 2016-03-11 Towards Behavior Verification of Estimation of Self-localization in One-dimensional Systems Toshifusa Sekizawa, Kozo Okano, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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 theirreliabilities. 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | estimation of self-localization / one-dimensional system / model checking |
| Paper # | SS2015-100 |
| Date of Issue | 2016-03-03 (SS) |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2016/3/10(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Shoji Yuen(Nagoya Univ.) |
| Vice Chair | Kazuhiro Ogata(JAIST) |
| Secretary | Kazuhiro Ogata(Tokyo Inst. of Tech.) |
| Assistant | Yoshiki Higo(Osaka Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Software Science |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Towards Behavior Verification of Estimation of Self-localization in One-dimensional Systems |
| Sub Title (in English) | |
| Keyword(1) | estimation of self-localization |
| Keyword(2) | one-dimensional system |
| Keyword(3) | model checking |
| 1st Author's Name | Toshifusa Sekizawa |
| 1st Author's Affiliation | Nihon University(Nihon Univ.) |
| 2nd Author's Name | Kozo Okano |
| 2nd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| Date | 2016-03-11 |
| Paper # | SS2015-100 |
| Volume (vol) | vol.115 |
| Number (no) | SS-508 |
| Page | pp.pp.145-150(SS), |
| #Pages | 6 |
| Date of Issue | 2016-03-03 (SS) |