We introduce a new tool for probabilistic model checking, GPMC, with a graphical user interface, and compare it with existing well-known tool in this scope PRISM. Some case studies are presented to show the efficiency and performance of it against...

Modeling the generation of a wind farm and its effect on power system reliability is a challenging task, largely due to

the random behavior of the output power. In this paper, we propose a new probabilistic model for assessing the reliability...

In the framework of the maximum a posteriori estimation, the present study proposes the non-parametric probabilistic least mean square -NPLMS- adaptive filter for the estimation of an unknown parameter vector from noisy ...