An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

To investigate a class of nonlinear network control system, a robust fault diagnosis method is presented based on the robust state observer. To access the objective that the designed robust filter is maximally tolerant to disturbances and sensitive to fault, the robustness and stability properties o...

A new deghosting method based on the generalized triangulation is presented. First, two intersection points corresponding to the emitter position are obtained by utilizing two azimuth angles and two elevation angles from two jammed 3-D radars (or 2-D passive sensors). Then, hypothesis testing based ...

Mechanical failure modes leading to cracks or breeches in proton exchange membrane fuel cells are driven by mechanical forces associated with swelling from water uptake and shrinkage from dehumidification. To determine the magnitude of compressive mechanical stress imposed by water swelling in a pro...

The fault detection problem for the nonlinear networked control system (NCS) with packet dropout and delay is investigated. A nonlinear stochastic system model is proposed to account for the NCS with random packet dropout and networkinduced non-uniformly distributed time-varying delay in both from s...