Numerical Backward Simulation Model with Case Branching Capability

Yukio Hiranaka, Houjin Sakaki, Kenta Ito, Toshihiro Taketa, Shinichi Miura

2014

Abstract

The authors are studying backward simulators which trace from results to causes for comprehensive verification of system safety. It is not easy to make a backward simulation model because the forward model may not be expressed in a reversible formula, or it is not reversible in cases of multiple inputs or inclusion of internal state variables. In this paper, we propose a backward simulator which can incorporate numerical simulation models and has a case branching capability to deal with multiple inputs. As a practical simulation target, we implemented a simulator for testing stability of dynamic pricing for power usage control as a smart grid application. We show some illustrating results of the backward simulation.

Paper Citation

in Harvard Style

Hiranaka Y., Sakaki H., Ito K., Taketa T. and Miura S. (2014). Numerical Backward Simulation Model with Case Branching Capability . In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-038-3, pages 225-230. DOI: 10.5220/0005096302250230

in Bibtex Style

@conference{simultech14,
author={Yukio Hiranaka and Houjin Sakaki and Kenta Ito and Toshihiro Taketa and Shinichi Miura},
title={Numerical Backward Simulation Model with Case Branching Capability},
booktitle={Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2014},
pages={225-230},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005096302250230},
isbn={978-989-758-038-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Numerical Backward Simulation Model with Case Branching Capability
SN - 978-989-758-038-3
AU - Hiranaka Y.
AU - Sakaki H.
AU - Ito K.
AU - Taketa T.
AU - Miura S.
PY - 2014
SP - 225
EP - 230
DO - 10.5220/0005096302250230