| Budget Amount *help |
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2016: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Outline of Final Research Achievements |
This research is a study of a method to ensure the reliability of an embedded control system with uncertainty in behavior. We set an autonomous mobile robot as a concrete verification target. One target behavior is error correction in consideration of disturbances for continuous run. Self-localization method to specify the position of the robot is also a target behavior. Then, we show possibilities of construction of probabilistic models, and verification results. We also evaluate the effectiveness of our models using implementation of an autonomous robot. From the results, our approach can be applied to ensure reliability considering errors and disturbances in design phase.
|
