Loading...
Please wait, while we are loading the content...
Similar Documents
Fault diagnosis based on continuous simulation models
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Feyock, Stefan |
| Copyright Year | 1987 |
| Description | The results are described of an investigation of techniques for using continuous simulation models as basis for reasoning about physical systems, with emphasis on the diagnosis of system faults. It is assumed that a continuous simulation model of the properly operating system is available. Malfunctions are diagnosed by posing the question: how can we make the model behave like that. The adjustments that must be made to the model to produce the observed behavior usually provide definitive clues to the nature of the malfunction. A novel application of Dijkstra's weakest precondition predicate transformer is used to derive the preconditions for producing the required model behavior. To minimize the size of the search space, an envisionment generator based on interval mathematics was developed. In addition to its intended application, the ability to generate qualitative state spaces automatically from quantitative simulations proved to be a fruitful avenue of investigation in its own right. Implementations of the Dijkstra transform and the envisionment generator are reproduced in the Appendix. |
| File Size | 2564049 |
| Page Count | 91 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19890003781 |
| Archival Resource Key | ark:/13960/t1wd8rj0k |
| Language | English |
| Publisher Date | 1987-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software System Failures Fault Tolerance Failure Analysis Mathematical Models Computerized Simulation Diagnosis Systems Simulation Complex Systems Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
