Model-based formal reliability analysis of grid dynamics with solar energy sources (Q5054367)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model-based formal reliability analysis of grid dynamics with solar energy sources |
scientific article; zbMATH DE number 7624929
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.6855658888816833
0 references
0.6805629134178162
0 references
0.6727376580238342
0 references
0.6503114104270935
0 references
0.6495360732078552
0 references
