Learn More
The AI model-based diagnosis community has developed qualitative reasoning mechanisms for fault isolation in dynamic systems. Their emphasis has been on the fault isolation algorithms, and little attention has been paid to robust online detection and symbol generation that are essential components of a complete diagnostic solution. This paper discusses a(More)
Multi-chip module (MCM) packaging can reduce the cost and increase the utility of eld programmable systems. We are currently developing a rst generation Field Pro-grammable Multi-chip Module (FPMCM) as a test vehicle for a particular MCM technology. We present the advantages of MCM for eld programmable systems and develop analytical models for estimating(More)
This article describes methods for online model-based diagnosis of subsystems of the advanced life support system (ALS). The diagnosis methodology is tailored to detect, isolate, and identify faults in components of the system quickly so that fault-adaptive control techniques can be applied to maintain system operation without interruption. We describe the(More)
Area-IO provide a way to eliminate the IO bottleneck of field programmable logic devices (FPLDs) created the mismatch between the ability of perimeter bonds to provide IO and the propensity of logic to demand it. Whether the incorporation of area IO into FPLD architectures has undesirable side effects is a question that has not yet been answered. In this(More)
The proliferation of safety-critical embedded systems has created great demands for online fault diagnosis and fault-adaptive control techniques. A number of methodologies have been proposed, but the implementation of on-line schemes that integrate the fault detection , isolation, identification, and fault accommodation or recon-figuration tasks remains(More)
This paper discusses a hierarchical online fault-adaptive control approach for Advanced Life Support (ALS) Systems. ALS systems contain a number of complex interacting subsystems. To avoid complexity in the models and online analysis, diagnosis and fault-adaptive control is achieved by local units. To maintain overall performance , the problem of resource(More)
BACKGROUND Ocular albinism type 1, an X-linked disease characterized by the presence of enlarged melanosomes in the retinal pigment epithelium (RPE) and abnormal crossing of axons at the optic chiasm, is caused by mutations in the OA1 gene. The protein product of this gene is a G-protein-coupled receptor (GPCR) localized in RPE melanosomes. The Oa1-/- mouse(More)
This article presents the design and implementation of a controller scheme for efficient resource management in Advanced Life Support Systems. In the proposed approach, a switching hybrid system model is used to represent the dynamics of the system components and their interactions. The operational specifications for the controller are represented by(More)
Model-based diagnosis schemes for hybrid systems are inherently complex because they deal with models that exhibit continuous and discrete dynamics. Our approach to hybrid system diagnosis combines qualitative hypothesis refinement and quantitative parameter estimation techniques. The goal is to implement online schemes that are computa-tionally feasible.(More)