The present paper discusses the development of a performance model of power generation system of a thermal plant for performance evaluation using Markov technique and probabilistic approach. The study covers two areas: development of a predictive model and evaluation of performance with the help of developed model. The present system of thermal plant under study consists of four subsystems with...

Bayesian Networks (BN) provides a robust probabilistic method of reasoning under uncertainty. They have been successfully applied in a variety of real-world tasks but they have received little attention in the area of load-frequency control (LFC). In practice, LFC systems use proportional-integral controllers. However since these controllers are designed using a linear model, the nonlinearities...

This article introduces a general framework of multi-granulation fuzzy probabilistic roughsets (MG-FPRSs) models in multi-granulation fuzzy probabilistic approximation space over twouniverses. Four types of MG-FPRSs are established, by the four different conditional probabilitiesof fuzzy event. For different constraints on parameters, we obtain four kinds of each type MG-FPRSs...

Optimal Reactive Power Dispatch (ORPD) is a multi-variable problem with nonlinear constraints and continuous/discrete decision variables. Due to the stochastic behavior of loads, the ORPD requires a probabilistic mathematical model. In this paper, Monte Carlo Simulation (MCS) is used for modeling of load uncertainties in the ORPD problem. The problem is formulated as a nonlinear constrained mul...

Abstract We present the probabilistic model checker Storm . supports analysis of discrete- and continuous-time variants both Markov chains decision processes. has three major distinguishing features. It multiple input languages for models, including Jani Prism modeling languages, dynamic fault trees, generalized stochastic Petri nets, guarded command language. a modular setup in which solvers s...

The design and control of autonomous systems that operate in uncertain or adversarial environments can be facilitated by formal modeling analysis. Probabilistic model checking is a technique to automatically verify, for given temporal logic specification, system satisfies the as well synthesize an optimal strategy its control. This method has recently been extended multiagent exhibit competitiv...