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

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 p...

Full description

Saved in:
Bibliographic Details
Main Authors: Yunshuo Li, Xiangjun Duan, Yuanyuan Xu, Cheng Zhao
Format: Article
Language:English
Published: Elsevier 2025-06-01
Series:High-Confidence Computing
Subjects:
Online Access:http://www.sciencedirect.com/science/article/pii/S2667295224000588
Tags: Add Tag
No Tags, Be the first to tag this record!