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

zbMATH Keywords

reliability analysisquantitative model checkingsolar panelsformal abstractionsgrid dynamicsprobabilistic safety

Mathematics Subject Classification ID

Feedback control (93B52) Frequency-response methods in control theory (93C80) Networked control (93B70)

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

Cites Work

• Approximate model checking of stochastic hybrid systems
• Model-based formal reliability analysis of grid dynamics with solar energy sources
• Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
• StocHy - automated verification and synthesis of stochastic processes
• Theoretical Aspects of Computing - ICTAC 2004

Cited In (5)

• Formal abstraction and synthesis of parametric stochastic processes
• Model-based formal reliability analysis of grid dynamics with solar energy sources
• Reliability based modeling of the performance of solar plants with multistate PV modules
• The reliability of solar energy generating system with inverters in series under common cause failure
• Localized spectral analysis of fluctuating power generation from solar energy systems

Uses Software

• PRISM
• FAUST2
• StocHy

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)