Fault Detection

60 books
Experiences using lightweight formal methods for requirements modelingUnknown Author

Experiences using lightweight formal methods for requirements modeling

Unknown Author

1997No page data
Model-based reconfigurationJudy Crow

Model-based reconfiguration

Judy Crow

1994No page data
Self-calibrating models for dynamic monitoring and diagnosisBenjamin Kuipers

Self-calibrating models for dynamic monitoring and diagnosis

Benjamin Kuipers

1996No page data
Documentation of the current fault detection, isolation, and reconfiguration software of the AIPS fault-tolerant processorDavid T. Lanning
⏱ 28m

Documentation of the current fault detection, isolation, and reconfiguration software of the AIPS fault-tolerant processor

David T. Lanning

198728 pp.
Abnormal fault-recovery characteristics of the fault-tolerant multiprocessor uncovered using a new fault-injection methodologyPeter A. Padilla
⏱ 17m

Abnormal fault-recovery characteristics of the fault-tolerant multiprocessor uncovered using a new fault-injection methodology

Peter A. Padilla

199117 pp.
An analysis of failure handling in Chameleon, a framework for supporting cost-effective fault tolerant servicesErik Edward Haakenson

An analysis of failure handling in Chameleon, a framework for supporting cost-effective fault tolerant services

Erik Edward Haakenson

1998No page data
Measuring fault tolerance with the FTAPE fault injection toolTimothy K. Tsai

Measuring fault tolerance with the FTAPE fault injection tool

Timothy K. Tsai

1995No page data
Experiences using lightweight formal methods for requirements modelingS. M. Easterbrook

Experiences using lightweight formal methods for requirements modeling

S. M. Easterbrook

1997No page data
STS 62 final reportJames E. Rice

STS 62 final report

James E. Rice

1996No page data
SSME HPOTP post-test diagnostic system enhancement projectTimothy W. Bickmore

SSME HPOTP post-test diagnostic system enhancement project

Timothy W. Bickmore

1995No page data
OPAD-EDIFIS real-time processingConstantine Katsinis

OPAD-EDIFIS real-time processing

Constantine Katsinis

1997No page data
Formal methods for verification and validation of partial specificationsSteve Easterbrook

Formal methods for verification and validation of partial specifications

Steve Easterbrook

1997No page data
Significant issues in proof testingUnknown Author

Significant issues in proof testing

Unknown Author

1994No page data
Transmission diagnostic research at NASA Lewis Research CenterUnknown Author

Transmission diagnostic research at NASA Lewis Research Center

Unknown Author

1995No page data
Performance analysis of a generalized upset detection procedureDouglas M. Blough

Performance analysis of a generalized upset detection procedure

Douglas M. Blough

1987No page data
Application of fault detection techniques to spiral bevel gear fatigue dataJames J. Zakrajsek

Application of fault detection techniques to spiral bevel gear fatigue data

James J. Zakrajsek

1994No page data
Fault detection and diagnosis in engineering systemsJanos Gertler
⏱ 8h 24m

Fault detection and diagnosis in engineering systems

Janos Gertler

1998504 pp.
Model-based reasoning for power system management using KATE and the SSM/PMADUnknown Author

Model-based reasoning for power system management using KATE and the SSM/PMAD

Unknown Author

1993No page data
Model-based reasoning for power system management using KATE and the SSM/PMADUnknown Author

Model-based reasoning for power system management using KATE and the SSM/PMAD

Unknown Author

1993No page data
Unsupervised pattern classifier for abnormality-scaling of vibration features for helicopter gearbox fault diagnosisVinay B. Jammu

Unsupervised pattern classifier for abnormality-scaling of vibration features for helicopter gearbox fault diagnosis

Vinay B. Jammu

1996No page data
Page 1 of 3Next →