This paper considers a point process model with a monotonically decreasing or increasing ROCOF and the underlying distributions from the location-scale family. In terms of repairable system reliability analysis, the process is capable of modeling various restoration types including “better–than–new”, i.e., the one not covered by the popular G-Renewal model (Kijima & Sumita, 1986). The character...

Standby techniques are used to improve system availability. Usually, a k-out-of-n:G standby system is assumed that when an operating component fails, a standby component becomes active and the system is working if at least k components are fault-free. In general, there are three types in component standby, i.e., cold, hot and warm standby. Cold standby implies that inactive components have a ze...

Coal mining in India has a history of over 225 years. The industry currently occupies a covetable third ranking in the world league table of hard coal production after China and the USA. Mechanization has made possible major breakthroughs in coal mining technology. The record of production and productivity of Indian underground coal mines over the years is dismal, to say the least. At the time ...

We provide a general macrostatistical formulation of nonequilibrium steady states of reservoir driven quantum systems. This formulation is centred on the large scale properties of the locally conserved hydrodynamical observables, and our basic physical assumptions comprise (a) a chaoticity hypothesis for the nonconserved currents carried by these observables, (b) an extension of Onsager’s regre...

Graph transformation systems (GTS) have been proposed for high-level stochastic modelling of dynamic systems and networks. The resulting systems can be described as semi-Markov processes with graphs as states and transformations as transitions. The operational semantics of such processes can be explored through stochastic simulation. In this paper, we develop the basic theory of stochastic grap...

This paper presents an approach to represent equipment degradation and various maintenance decision processes based on Markov processes. Non-exponential holding time distributions are approximated by inserting multiple intermediate states between the two different degradation states based on a phase-type distribution. Overall system availability then is numerically calculated by recursively sol...

The Circuit Breaker (CB) is one of the most important equipment in power systems. CB must operate reliably to protect power systems as well as to perform tasks such as load disconnection, normal interruption, and fault current interruption. Therefore, the reliable operation of CB can affect the security and stability of power network. In this paper, effects of Condition Monitoring (CM) of CB on...

We present a new temporal logic called Distribution Temporal Logic (DTL) defined over predicates of belief states and hidden states of partially observable systems. DTL can express properties involving uncertainty and likelihood that cannot be described by existing logics. A co-safe formulation of DTL is defined and algorithmic procedures are given for monitoring executions of a partially obser...