Model-based formal reliability analysis of grid dynamics with solar energy sources
DOI10.1007/978-3-030-85318-1_65zbMATH Open1504.93150OpenAlexW4285233533MaRDI QIDQ5054367FDOQ5054367
Authors: Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate 
Publication date: 29 November 2022
Published in: Lecture Notes in Control and Information Sciences - Proceedings (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-85318-1_65
Recommendations
- Module-Based Modeling and Stabilization of Electricity Infrastructure
- The reliability of solar energy generating system with inverters in series under common cause failure
- Reliability based modeling of the performance of solar plants with multistate PV modules
- Stochastic analysis to a power supply system through reliability modelling
- Reliability analysis in interdependent smart grid systems
reliability analysisquantitative model checkingsolar panelsformal abstractionsgrid dynamicsprobabilistic safety
Feedback control (93B52) Frequency-response methods in control theory (93C80) Networked control (93B70)
Cites Work
- StocHy - automated verification and synthesis of stochastic processes
- Theoretical Aspects of Computing - ICTAC 2004
- Approximate model checking of stochastic hybrid systems
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources
Cited In (4)
- Formal abstraction and synthesis of parametric stochastic processes
- Reliability based modeling of the performance of solar plants with multistate PV modules
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources
- Localized spectral analysis of fluctuating power generation from solar energy systems
Uses Software
This page was built for publication: Model-based formal reliability analysis of grid dynamics with solar energy sources
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5054367)
