The paper analyzes the sensitivity of two unit system for parameters uses Regenerative Point Graphical Technique (RPGT). Taking failure and repair rates constant. A state diagram depicting transition is drawn. Expressions path probabilities mean sojourn times, time to failure, availability system, busy period server, expected number server’s visits are derived using RPGT. Sensitive analysis don...

The verification problem for stochastic hybrid systems is quite difficult. One method to verify these systems is stochastic reachability analysis. Concepts of abstractions for stochastic hybrid systems are needed to ease the stochastic reachability analysis. In this paper, we set up different ways to define abstractions for stochastic hybrid systems, which preserve the parameters of stochastic ...