Real-time stochastic qualitative simulation of large scale air conditioning systems

This paper gives a new algorithm for the efficient stochastic qualitative simulation, which can suppress the number of generated behaviors using the existing probabilities of states. In the new algorithm, the minimum existence probability, which is the lower bound of existence probability of states being preserved, is estimated with the Monte Carlo method. As a result, the states that are insignificant for envisioning useful behaviors are removed before generating them. In addition, the prefetch of measurement to check consistency of the states with the measurement in advance contributes to efficiency of the states generation. Through the simulation of the large scale building air conditioning systems, we clarify that the number of states can be reduced under computable order and the simulation terminates in real time.