Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks
- 1 Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan
- 2 School of Information Science, Japan Advanced Institute of Science and Technology, Ishikawa, Japan
Abstract
In this paper, verification of real-time pricing systems of electricity is considered using a probabilistic Boolean network (PBN). In real-time pricing systems, electricity conservation is achieved by manipulating the electricity price at each time. A PBN is widely used as a model of complex systems, and is appropriate as a model of real-time pricing systems. Using the PBN-based model, real-time pricing systems can be quantitatively analyzed. In this paper, we propose a verification method of real-time pricing systems using the PBN-based model and the probabilistic model checker PRISM. First, the PBN-based model is derived. Next, the reachability problem, which is one of the typical verification problems, is formulated, and a solution method is derived. Finally, the effectiveness of the proposed method is presented by a numerical example.
- Camacho, E.F., Samad, T., Garcia-Sanz, M. and Hiskens, I. (2011) Control for Renewable Energy and Smart Grids. In: Samad, T. and Annaswamy, A.M., Eds., The Impact of Control Technology, IEEE Control Systems Society, New York, USA.
- Ruihua, Z., Yumei, D. and Yuhong, L. (2010) New Challenges to Power System Planning and Operation of Smart Grid Development in China. 2010 International Conference on Power System Technology, Hangzhou, China, 24-28 October 2010, 1-8.
- Borenstein, S., Jaske, M. and Rosenfeld, A. (2002) Dynamic Pricing, Advanced Metering, and Demand Response in Electricity Markets. Center for the Study of Energy Markets, UC Berkeley.
- Roozbehani, M., Dahleh, M. and Mitter, S. (2010) On the Stability of Wholesale Electricity Markets under Real-Time Pricing. Proceedings of the 49th IEEE Conference on Decision and Control, Atlanta, USA, 15-17 December 2010, 1911-1918. http://dx.doi.org/10.1109/cdc.2010.5718173
- Samadi, P., Mohsenian-Rad, A.-H., Schober, R., Wong, V.W.S. and Jatskevich, J. (2010) Optimal Real-Time Pricing Algorithm Based on Utility Maximization for Smart Grid. Proceedings of the 2010 First IEEE International Conference on Smart Grid Communications, Gaithersburg, USA, 4-6 October 2010, 415-420. http://dx.doi.org/10.1109/SMARTGRID.2010.5622077
- Vivekananthan, C., Mishra, Y. and Ledwich, G. (2013) A Novel Real Time Pricing Scheme for Demand Response in Residential Distribution Systems. Proceedings of the 38th Annual Conference of the IEEE Industrial Electronics Society, Vienna, Austria, 10-13 November 2013, 1954-1959.
- Tabuada, P. (2009) Verification and Control of Hybrid Systems. Springer, New York, USA. http://dx.doi.org/10.1007/978-1-4419-0224-5
- Adomi, M., Shikauchi, Y. and Ishii, S. (2010) Hidden Markov Model for Human Decision Process in a Partially Observable Environment. Proceedings of the 20th International Conference on Artificial Neural Networks, LNCS 6353, Thessaloniki, Greece, 15-18 September 2010, 94-103. http://dx.doi.org/10.1007/978-3-642-15822-3_12
- Jong, H.D. (2002) Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology, 9, 67-103. http://dx.doi.org/10.1089/10665270252833208
- Kauffman, S.A. (1969) Metabolic Stability and Epigenesis in Randomly Constructed Genetic Nets. Journal of Theoretical Biology, 22, 437-467. http://dx.doi.org/10.1016/0022-5193(69)90015-0
- Shmulevich, I., Dougherty, E.R., Kim, S. and Zhang, W. (2002) Probabilistic Boolean Networks: A Rule-Based Uncertainty Model for Gene Regulatory Networks. Bioinformatics, 18, 261-274. http://dx.doi.org/10.1093/bioinformatics/18.2.261