Numerical backward simulation model with case branching capability

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.