This paper investigates the diagnosability of Rectangular Hybrid Automata used for modeling a class of hybrid systems. First, a generalized definition of Limited-Time Lookahead diagnosability of timed languages, for multiple failure modes, is proposed. Then, we provide a systematic approach, for checking the LTLa diagnosability of systems modeled with Rectangular Hybrid Automata, and verifying ...

The objective of the thesis is to provide a framework for understanding and improving service parts quality management in a high technology industry. The research carried out during the internship is used as a case study for understanding and improving service parts quality management. The semiconductor capital equipment industry is primarily technology driven and is highly competitive. Capital...

BACKGROUND Complex ventricular reconstruction (CVR) is now being employed increasingly thanks to the pioneering work of Dor. However, little is known about the failure mode of CVR. We present experience from three centres with CVR and an analysis of the failure modes. METHODS Between January 1997 and February 2005, 284 patients underwent CVR in three centres in Australia and USA. All of the p...

every year, many accidents leading to physical injuries in kindergartens, indicates that a very large percentage of them are related to the safety concerns and lack of hygiene in these places. families, due to their busy life style and working hours and also children needs of preschool education, are searching to find most suitable kindergartens for their children. selecting a kindergarten with...

Failure Modes, Effects, and Criticality Analysis are widely used to assess the failure modes of a system, along with their causes effects. Several Multi-Criteria Decision-Making approaches have been developed overcome limitations traditional FMECA. In these approaches, several multiple criteria considered determine criticality values assign ranks. only one expert can involve in analysis. By inc...

Healthcare Failure Mode and Effects Analysis (HFMEA) is a methodology for correcting latent system errors before they lead to adverse events. We examined the utility of HFMEA in evaluating the sterilization and use of surgical instruments. First, a multidisciplinary team graphed the process in a flow diagram. A hazard analysis was then used to examine potential failure modes (i.e., ways in whic...

Based on two procedures for efficiently generating conditional samples, i.e. Markov chain Monte Carlo (MCMC) simulation and importance sampling (IS), two reliability sensitivity (RS) algorithms are presented. On the basis of reliability analysis of Subset simulation (Subsim), the RS of the failure probability with respect to the distribution parameter of the basic variable is transformed as a s...