Abstract—In this paper, the problem of fault detection and isolation in the attitude control subsystem of spacecraft formation flying is considered. In order to design the fault detection method, an extended Kalman filter is utilized which is a nonlinear stochastic state estimation method. Three fault detection architectures, namely, centralized, decentralized, and semi-decentralized are design...

In the areas of both safety and reliability analysis the precise modeling of complex technical systems during development and for evaluation purposes is of great importance. Traditionally, fault tree models have been used to accomplish this, and, more recently, stochastic Petri-net models have begun to be employed. To provide engineers with an intuitive high-level modeling interface to Petri-ne...

It's coming again, the new collection that this site has. To complete your curiosity, we offer the favorite stochastic models for fault tolerance restart rejuvenation and checkpointing book as the choice today. This is a book that will show you even new to old thing. Forget it; it will be right for you. Well, when you are really dying of stochastic models for fault tolerance restart rejuvenatio...

In this paper a new modeling framework for the dependability analysis of complex systems is presented and related to dynamic fault trees (DFTs). The methodology is based on a modular approach: two separate models are used to handle, the fault logic and the stochastic dependencies of the system. Thus, the fault schema, free of any dependency logic, can be easily evaluated, while the dependency s...

This work presents a nonlinear control approach to maximise the power extraction of wind energy conversion systems (WECSs) operating below their rated speeds. Due nonlinearities associated with dynamics WECSs, stochastic nature wind, and inevitable presence faults in practice, developing reliable fault-tolerant strategies guarantee maximum production WECSs has always been considered important. ...

Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are Σ2 hard. To overcome this complexity problem, which prohibits the computation of high-cardinality diagnoses for large systems, we propose a novel approximation approach for multiple-fault diagnosis, based on a greedy stochastic algorith...

an earthquake with the magnitude of 5.9 mw occurred in qeshm island and hormozgan province in november 27th 2005. 3d co-seismic deformation field caused by the earthquake are determined based on the ascending and descending interferograms and azimuth offsets. the peak to peak estimated displacement is about 10 cm in west, 69 cm in north and 22 cm in vertical directions. we apply strain analysis...

Due to high cost of fixing failures, safety concerns, and legal liabilities, organizations need to produce software that is highly reliable. Software reliability growth models have been developed by software developers in tracking and measuring the growth of reliability. Most of the Software Reliability Growth Models, which have been proposed, treat the event of software fault detection in the ...