Various energy management systems (EMSs) have been developed nowadays to achieve optimal supply and demand balance for energy saving. It is important to clarify the effectiveness and the cost merit for customers to accelerate to introduce EMSs. In this paper, we show a novel approach to visualize energy optimization problems in order to verify the effectiveness of EMSs. Our approach utilizes the customers' plant information such as specifications of facilities to generate mathematical models. The first order logic and quantifier elimination methods are utilized in order to analyze the mathematical models. Some examples are also shown to verify our approach.
J-STAGEがリニューアルされました! https://www.jstage.jst.go.jp/browse/-char/ja/
