| Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| Outline of Final Research Achievements |
Focusing on safety verification problems of electronic control system software, the objective of the research is to construct new stability analysis and stabilization algorithms in terms of quantized control. In particular, this research concentrates on not only software stability but also software safety considering the control system dynamics. This research enables us to construct a cross-sectional basic theory that guarantees stability, safety, integrity and availability of the electronic control system software. Also, the research discusses an implementation method of the proposed algorithm.
|
