Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources (Q5054367)
From MaRDI portal
scientific article; zbMATH DE number 7624929
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources |
scientific article; zbMATH DE number 7624929 |
Statements
Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources (English)
0 references
29 November 2022
0 references
grid dynamics
0 references
solar panels
0 references
reliability analysis
0 references
formal abstractions
0 references
quantitative model checking
0 references
probabilistic safety
0 references
0 references
