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) -
NetChecker: enabling real-time and error-locatable runtime verification for programmable networks
by: Ying Yao, et al.
Published: (2025-06-01) -
Analysis of smart imaging runtime
by: Thomas Athey, et al.
Published: (2025-08-01) -
Specx: a C++ task-based runtime system for heterogeneous distributed architectures
by: Paul Cardosi, et al.
Published: (2025-07-01) -
Runtime–Coherence Tradeoffs for Hybrid Satisfiability Solvers
by: Vahideh Eshaghian, et al.
Published: (2025-01-01)