| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2014: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Outline of Final Research Achievements |
We investigated a method for verifying hybrid systems based on the idea of the infinitesimal programming. Although the obtained result is yet to scale to practical hybrid systems, as a byproduct, we obtained an efficient nonlinear invariant synthesis algorithm. Invariant synthesis algorithms, which is an important technology in program verification, often cannot be applied to a complex system due to their complexity. Our method makes these algorithms fast using the idea of dimension analysis used in the are of physics. We plan to investigate this idea to an algorithm that can deal with more complex hybrid systems.
|
