{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T12:36:33Z","timestamp":1780317393471,"version":"3.54.1"},"reference-count":18,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T00:00:00Z","timestamp":1720051200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100015648","name":"China Electric Power Research Institute","doi-asserted-by":"publisher","award":["5400-202355201A-1-1-ZN"],"award-info":[{"award-number":["5400-202355201A-1-1-ZN"]}],"id":[{"id":"10.13039\/501100015648","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["High-Confidence Computing"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1016\/j.hcc.2024.100255","type":"journal-article","created":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T02:51:46Z","timestamp":1720493506000},"page":"100255","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":4,"title":["Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates"],"prefix":"10.1016","volume":"5","author":[{"given":"Yunshuo","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiangjun","family":"Duan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuanyuan","family":"Xu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.hcc.2024.100255_b1","first-page":"33","article-title":"Study on smart distribution network operation and man-agement methods in the context of big data","volume":"43","author":"Li","year":"2021","journal-title":"Huadian Technol."},{"key":"10.1016\/j.hcc.2024.100255_b2","first-page":"1","article-title":"Support of the Internet of things for energy transformation","volume":"3","author":"Xue","year":"2019","journal-title":"Chinese J. Internet Things"},{"issue":"3","key":"10.1016\/j.hcc.2024.100255_b3","first-page":"372","article-title":"Action plan for the construction of a new type of power system by Southern power grid company (2021\u20132030) white paper","volume":"42","author":"Company","year":"2021","journal-title":"Power Energy"},{"key":"10.1016\/j.hcc.2024.100255_b4","first-page":"3125","article-title":"Elastic scheduling strategy considering uncertainty of source load and acceptance margin of distribution network","volume":"22","author":"Wang","year":"2022","journal-title":"Sci. Technol. Eng."},{"key":"10.1016\/j.hcc.2024.100255_b5","first-page":"503","article-title":"Key technologies of electric power big data and its application prospects in smart grid","volume":"35","author":"Peng","year":"2015","journal-title":"Proc. CSEE"},{"key":"10.1016\/j.hcc.2024.100255_b6","first-page":"259","article-title":"Survey of cloud-edge collaboration","volume":"48","author":"Chen","year":"2021","journal-title":"Comput. Sci."},{"key":"10.1016\/j.hcc.2024.100255_b7","first-page":"1","article-title":"User-side data application framework based on cloud-edge-user collaboration in power internet of things","volume":"41","author":"Yuan","year":"2020","journal-title":"Electr. Power Construct."},{"key":"10.1016\/j.hcc.2024.100255_b8","first-page":"70","article-title":"Research on the application of transmission and distribution technology in smart grid","author":"Yang","year":"2023","journal-title":"Electr. Technol. Econ."},{"key":"10.1016\/j.hcc.2024.100255_b9","series-title":"2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems","first-page":"254","article-title":"Adopt: An adaptive optimization framework for large-scale power distribution systems","author":"Javed","year":"2009"},{"key":"10.1016\/j.hcc.2024.100255_b10","series-title":"2021 International Conference on Control Science and Electric Power Systems","first-page":"311","article-title":"Research on solution design of condition self-adaptive compatible time synchronization system for distribution grid network of things","author":"Sicheng","year":"2021"},{"key":"10.1016\/j.hcc.2024.100255_b11","doi-asserted-by":"crossref","DOI":"10.1016\/j.ijepes.2020.106492","article-title":"A novel hybrid self-adaptive heuristic algorithm to handle single-and multi-objective optimal power flow problems","volume":"125","author":"Naderi","year":"2021","journal-title":"Int. J. Electr. Power Energy Syst."},{"key":"10.1016\/j.hcc.2024.100255_b12","series-title":"2022 IEEE International Conference on Power Electronics, Smart Grid, and Renewable Energy","first-page":"1","article-title":"Adaptive power management in PV\/Battery integrated hybrid microgrid system","author":"Patel","year":"2022"},{"key":"10.1016\/j.hcc.2024.100255_b13","doi-asserted-by":"crossref","unstructured":"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\u201326.","DOI":"10.1145\/2593929.2593937"},{"key":"10.1016\/j.hcc.2024.100255_b14","series-title":"Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8\u201311, 2019, Proceedings 19","first-page":"368","article-title":"Reactive control meets runtime verification: A case study of navigation","author":"Ulus","year":"2019"},{"key":"10.1016\/j.hcc.2024.100255_b15","series-title":"2023 IEEE\/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems","first-page":"104","article-title":"Runtime verification of self-adaptive systems with changing requirements","author":"Carwehl","year":"2023"},{"key":"10.1016\/j.hcc.2024.100255_b16","series-title":"2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems","first-page":"59","article-title":"How do we evaluate self-adaptive software systems?: A ten-year perspective of SEAMS","author":"Gerostathopoulos","year":"2021"},{"issue":"2","key":"10.1016\/j.hcc.2024.100255_b17","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","article-title":"Intelligent agents: Theory and practice","volume":"10","author":"Wooldridge","year":"1995","journal-title":"Knowl. Eng. Rev."},{"key":"10.1016\/j.hcc.2024.100255_b18","doi-asserted-by":"crossref","unstructured":"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\u00e1, 2021.","DOI":"10.24963\/ijcai.2021\/616"}],"container-title":["High-Confidence Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2667295224000588?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2667295224000588?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T23:09:35Z","timestamp":1762643375000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2667295224000588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["S2667295224000588"],"URL":"https:\/\/doi.org\/10.1016\/j.hcc.2024.100255","relation":{},"ISSN":["2667-2952"],"issn-type":[{"value":"2667-2952","type":"print"}],"subject":[],"published":{"date-parts":[[2025,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates","name":"articletitle","label":"Article Title"},{"value":"High-Confidence Computing","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.hcc.2024.100255","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2024 The Author(s). Published by Elsevier B.V. on behalf of Shandong University.","name":"copyright","label":"Copyright"}],"article-number":"100255"}}