• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Backward Simulation for Evaluating System Safety

Research Project

Project/Area Number 25540006
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Mathematical informatics
Research InstitutionYamagata University

Principal Investigator

HIRANAKA YUKIO  山形大学, 理工学研究科, 教授 (40134465)

Co-Investigator(Renkei-kenkyūsha) TAKETA Toshihiro  山形大学, 大学院理工学研究科, 助教 (90236472)
Research Collaborator MIURA Shinichi  
SAKAKI Houjin  
ITO Kenta  
Project Period (FY) 2013-04-01 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Fiscal Year 2014: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2013: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords逆方向シミュレーション / システム安全性検証 / 範囲信号 / 数値逆方向モデル / ケース分岐シミュレーション / ダイナミックプライシング / FIR逆フィルタ
Outline of Final Research Achievements

We are studying backward simulation as a tool to evaluate safety of a system. If the backward simulator results in a feasible input range for an abnormal starting output data, it means that the system may not be safe. However, backward simulation models are hard to build in many cases. In this research, we tried a numerical backward calculation model and a case branching simulation method. Simulation results show the effectiveness of our backward simulation for the cases of dynamic pricing of the electricity charges, inference of heater activity from measured room temperature change, and deconvolution of impulse responses. Also, we acquired a knowledge about the relation among branch resolution in backward simulation, processing time and resultant precision.

Report

(3 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Research-status Report
  • Research Products

    (2 results)

All 2014 2013

All Presentation (2 results)

  • [Presentation] Numerical Backward Simulation Model with Case Branching Capability2014

    • Author(s)
      Yukio Hiranaka, Houjin Sakaki, Kenta Ito, Toshihiro Taketa and Shinichi Miura
    • Organizer
      SIMULTECH 2014
    • Place of Presentation
      Vienna, Austria
    • Year and Date
      2014-08-28 – 2014-08-30
    • Related Report
      2014 Annual Research Report
  • [Presentation] Case Branching Backward Simulator for Integer Factorization2013

    • Author(s)
      Yukio Hiranaka, Toshihiro Taketa and Shinichi Miura
    • Organizer
      Proc. 8th EUROSIM Congress on Modeling and Simulation
    • Place of Presentation
      Wales Millennium Center (UK Cardiff)
    • Related Report
      2013 Research-status Report

URL: 

Published: 2014-07-25   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi