Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources

DOI10.1007/978-3-030-85318-1_65zbMath1504.93150OpenAlexW4285233533MaRDI QIDQ5054367

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)

Related Items (2)

Formal abstraction and synthesis of parametric stochastic processes ⋮ Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources

Uses Software

• PRISM
• FAUST2
• StocHy

Cites Work

• 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
• StocHy - automated verification and synthesis of stochastic processes
• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication: Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources