Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates

Abstract

The study aims to address the challenge of dynamic assessment in power systems by proposing a design scheme for an intelligent adaptive power distribution system based on runtime verification. The system architecture is built upon cloud-edge-end collaboration, enabling comprehensive monitoring and precise management of the power grid through coordinated efforts across different levels. Specifically, the study employs the adaptive observer approach, allowing dynamic adjustments to observers to reflect updates in requirements and ensure system reliability. This method covers both structural and parametric adjustments to specifications, including updating time protection conditions, updating events, and adding or removing responses. The results demonstrate that with the implementation of adaptive observers, the system becomes more flexible in responding to changes, significantly enhancing its level of efficiency. By employing dynamically changing verification specifications, the system achieves real-time and flexible verification. This research provides technical support for the safe, efficient, and reliable operation of electrical power distribution systems.

Keywords

Smart grid / Cloud-edge collaboration / Power distribution internet of things / Self-adaptive systems / Runtime verification

CRediT authorship contribution statement

Yunshuo Li: Writing - original draft, Validation, Supervision, Resources, Project administration, Methodology, Investigation, Funding acquisition, Conceptualization. Xiangjun Duan: Writing - review & editing, Writing - original draft, Validation, Software, Methodology, Investigation, Funding acquisition, Data curation, Conceptualization. Yuanyuan Xu: Writing - review & editing, Writing - original draft, Visualization, Validation, Software, Investigation. Cheng Zhao: Writing - review & editing, Writing - original draft, Visualization, Software.

Declaration of competing interest

The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

Acknowledgments

This work was supported by the China Electric Power Research Institute and Electric Power Research Institute State Grid Anhui Electric Power Co., Ltd., China (5400-202355201A-1-1-ZN).

References

[1] W. Li, C. Yan, Q. Sheng, J. Wang, X. Wang, J. Tan, Study on smart distribution network operation and man-agement methods in the context of big data, Huadian Technol. 43 (2021) 33-40.

[2] Y. Xue, H. Zhu, Q. Wang, H. Zhao, Support of the Internet of things for energy transformation, Chinese J. Internet Things 3 (2019) 1-7.

[3] S.P.G. Company,Action plan for the construction of a new type of power system by Southern power grid company (2021-2030) white paper, Power Energy 42 (3) (2021) 372.

[4] L. Wang, L. Ying, S. Ruan, W. Shi, Elastic scheduling strategy considering uncertainty of source load and acceptance margin of distribution network, Sci. Technol. Eng. 22 (2022) 3125-3133.

[5] X. Peng, D. Deng, S. Cheng, J. Wen, C. Li, L. Niu, Key technologies of electric power big data and its application prospects in smart grid, Proc. CSEE 35 (2015) 503-511, http://dx.doi.org/10.13334/j.0258-8013.pcsee.2015.03.001.

[6] Y. Chen, B. Liu, W. Lin, H. Cheng, Survey of cloud-edge collaboration, Comput. Sci. 48 (2021) 259-268.

[7] Z. Yuan, J. Gu, Z. Jin, User-side data application framework based on cloud-edge-user collaboration in power internet of things, Electr. Power Construct. 41 (2020) 1-8.

[8] B. Yang, Research on the application of transmission and distribution technology in smart grid, Electr. Technol. Econ. (2023) 70-72.

[9] F. Javed, N. Arshad, Adopt: An adaptive optimization framework for large-scale power distribution systems, in: 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, IEEE, 2009, pp. 254-264.

[10] A. Sicheng, C. Wenchao, Research on solution design of condition self-adaptive compatible time synchronization system for distribution grid network of things, in: 2021 International Conference on Control Science and Electric Power Systems, CSEPS, IEEE, 2021, pp. 311-314.

[11] E. Naderi, M. Pourakbari-Kasmaei, F.V. Cerna, M. Lehtonen, A novel hybrid self-adaptive heuristic algorithm to handle single-and multi-objective op-timal power flow problems, Int. J. Electr. Power Energy Syst. 125 (2021) 106492.

[12] S. Patel, A. Ghosh, P.K. Ray, Adaptive power management in PV/Battery integrated hybrid microgrid system, in: 2022 IEEE International Conference on Power Electronics, Smart Grid, and Renewable Energy, PESGRE, IEEE, 2022, pp. 1-6.

[13] E.M. Fredericks, B. DeVries, B.H. Cheng,Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty, in:Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014, pp. 17-26.

[14] D. Ulus, C. Belta, Reactive control meets runtime verification: A case study of navigation,in: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings 19, Springer, 2019, pp. 368-374.

[15] M. Carwehl, T. Vogel, G.N. Rodrigues, L. Grunske, Runtime verification of self-adaptive systems with changing requirements, in: 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, IEEE, 2023, pp. 104-114.

[16] I. Gerostathopoulos, T. Vogel, D. Weyns, P. Lago, How do we evaluate self-adaptive software systems?: A ten-year perspective of SEAMS, in: 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, IEEE, 2021, pp. 59-70.

[17] M. Wooldridge, N.R. Jennings, Intelligent agents: Theory and practice, Knowl. Eng. Rev. 10 (2) (1995) 115-152.

[18] F.R. Meneguzzi, R.F. Pereira,A survey on goal recognition as planning, in:Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI), 2021, Canadá 2021.