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...
Saved in:
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!
|
Similar Items
-
Automated Runtime Verification of Security for E-Commerce Smart Contracts
by: Yang Liu, et al.
Published: (2025-04-01) -
Development Status and Trend of Mine Intelligent Mining Technology
by: Zhuo Wang, et al.
Published: (2025-07-01) -
Specx: a C++ task-based runtime system for heterogeneous distributed architectures
by: Paul Cardosi, et al.
Published: (2025-07-01) -
A Survey on Software Defined Network-Enabled Edge Cloud Networks: Challenges and Future Research Directions
by: Baha Uddin Kazi, et al.
Published: (2025-05-01) -
Research on application of artificial intelligence safety production management and control platform in Shendong mining area
by: Yazhong CUI, et al.
Published: (2025-06-01)