Automatic Verification of Distributed Mobile Robot Algorithms
| Project/Area Number |
26870228
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Theory of informatics
Software
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
BONNET Francois 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (60700185)
|
|---|
| Project Period (FY) |
2014-04-01 – 2016-03-31
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2015: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2014: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | Algorithm / Distributed Computing / Robot / Verification / Computing |
|---|
| Outline of Final Research Achievements |
In this second year of funding, we continued the development of the tool and obtained some new results.
(1) We had a paper accepted in AdHoc-Now'16 (to be published in July), which is an extension of our previous work: With the help of our verification tool, we could design and check new algorithms to solve the gathering problem in rings with four robots. More precisely, we studied the class of configurations SP4 which is the single class left open in this context. Same results were also presented in the Workshop on Distributed Robotic Swarms (WDRS'15).
(2) While being on a totally different topic, namely Game Theory, we would like to mention another accepted paper (in CG'16, to be published in July). Indeed to obtain this result, we used techniques similar to the ones we introduced in our verification tool. Hence our Kakenhi funding indirectly contributed to that paper. We developed a tool that compute Nash Equilibrium (NE) and used it to find NE of the famous Mastermind game.
|
Report
(3 results)
Research Products
(7 results)
-
[Journal Article] Asynchronous Gathering in Rings with 4 Robots2016
Author(s)
Francois Bonnet, Maria Potop-Butucaru, Sebastien Tixeuil
-
Journal Title
Proceedings of the 14th International Conference on Ad-hoc, Mobile, and Wireless Networks
Volume: AdHoc-Now'16
Pages: 1-14
Related Report
Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
-
-
-
-
-
-
[Presentation] Asynchronous Gathering in Rings with 4 Robots2015
Author(s)
Francois Bonnet, Maria Potop-Butucaru, and Sebastien Tixeuil
Organizer
Workshop on Distributed Robotic Swarms (WDRS'15, co-located with DISC'15)
Place of Presentation
Arcadia Ichigaya hotel, Chiyoda-ku, Tokyo
Year and Date
2015-10-05
Related Report
Int'l Joint Research
