Viability and invariance problems related to a stochastic equation in a Hilbert space H are studied. Finite dimensional invariant C submanifolds of H are characterized. We derive Nagumo type conditions and prove a regularity result: Any weak solution, which is viable in a finite dimensional C submanifold, is a strong solution. These results are related to finding finite dimensional realizations...

In this paper, we employ the Communicating finite state machine (CFSM) model for networks to investigate fault management using passive testing. First, we introduce the concept of passive testing. Then, we introduce the CFSM model, the observer model and the fault model with necessary assumptions. We introduce the fault detection algorithm using passive testing. Then, we briefly present our new...

We propose a StochAstic Fault diagnosis AlgoRIthm, called Safari, which trades off guarantees of computing minimal diagnoses for computational efficiency. We empirically demonstrate, using the 74XXX and ISCAS85 suites of benchmark combinatorial circuits, that Safari achieves several orders-of-magnitude speedup over two well-known deterministic algorithms, CDA∗ and HA∗, for multiple-fault diagno...

This paper investigates the problem of fault detection and diagnosis (FDD) problem for non-Gaussian singular stochastic distribution control (SDC) systems via the output probability density functions(PDFs). The PDFs can be approximated by using square-root B-spline expansion, via this expansions to represent the dynamics weighting systems between the system input and the weights related to the ...

We treat a fault as an array of asperities with a prescribed statistical distribution of strengths. When an asperity fails, the stress on the failed asperity is transferred to one or more adjacent asperities. For a linear array the stress is transferred to a single adjacent asperity and for a two-dimensional array to three adjacent asperities. Using a renormalization group (RG) method, we inves...

Buried continuous pipelines are prone to failure due permanent ground deformation as a result of fault rupture. Since the mode is dependent on number factors, probabilistic approach necessary correctly compute seismic risk. In this study, novel method estimate regional risk buried presented. The assessment thereafter illustrated for gas in City Victoria, British Columbia. example considers haza...

Computer software has progressively turned out to be an essential component in modern technologies. Testability is the probability whether tests will detect a fault, given that a fault in the program exists. How efficiently the faults will be uncovered depends upon the testability of the software. Various researchers have proposed qualitative and quantitative techniques to improve and measure t...

New methods for fault-effect propagation and state justification that use finite-state-machine sequences are proposed for sequential circuit test generation. Distinguishing sequences are used to propagate the fault effects from the flip-flops to the primary outputs by distinguishing the faulty machine state from the fault-free machine state. Set, clear, and pseudoregister justification sequence...

This paper is concerned with the finite element method for the stochastic wave equation and the stochastic elastic equation driven by space-time white noise. For simplicity, we rewrite the two types of stochastic hyperbolic equations into a unified form. We convert the stochastic hyperbolic equation into a regularized equation by discretizing the white noise and then consider the full-discrete ...

In this paper, a fast smooth second-order sliding mode control is presented for a class of stochastic systems with enumerable Ornstein-Uhlenbeck colored noises. The finite-time mean-square practical stability and finite-time mean-square practical reachability are first introduced. Instead of treating the noise as bounded disturbance, the stochastic control techniques are incorporated into the d...