The risk assessment process performs an important role in maintenance decision making,
through structuring the process of identifying, prioritizing, and thereafter formulating effective …

We present the probabilistic model checker Storm. Storm supports the analysis of discrete-
and continuous-time variants of both Markov chains and Markov decision processes. Storm …

Safety and reliability are two important aspects of dependability that are needed to be
rigorously evaluated throughout the development life-cycle of a system. Over the years …

Power industry is incidenting a change from the present electric grid to a more secure,
reliable, capable and advanced smart grid. Renewable energy sources such as wind and …

The hydraulic system is the main power source for the pitch adjustment of the ship's
controllable pitch propeller. The stable operation of the system is the guarantee of ship …

In this paper, a robust fault estimation approach is proposed for multi-input and multioutput
nonlinear dynamic systems on the basis of back propagation neural networks. The …

Quantitative verification tools compute probabilities, expected rewards, or steady-state
values for formal models of stochastic and timed systems. Exact results often cannot be …

Health state assessment is a key issue in health management of aeronautical relay subject
to complex interference environment. The input reliability of assessment model has direct …

Quantitative formal models capture probabilistic behaviour, real-time aspects, or general
continuous dynamics. A number of tools support their automatic analysis with respect to …

Train network control management system (TCMS) is an important part of the High-speed
rail train. Because of the TCMS's complex and redundant structure, long-term operation …