KSL-95-55 + redirect page
The MFM + Has identifier
The MFM + Ksl tr id
The MFM + Number
| The MFM |
Bibtype
techreport
Has publishing details
July,1995
Has title
The MFM
Has where published
KSL-95-55
Has year
1995
Title
The MFM
Year
1995
Abstract
This report describes the MFM Toolbox for … This report describes the MFM Toolbox for Guardian, a software toolbox written in Lisp and BB1, which implements three model-based diagnostic algorithms: alarm analysis, fault diagnosis, and explanation generation. The algorithms are based on explicit modeling of goals and functions using multilevel flow modeling concepts, and they are well-suited for problems where hard real-time behavior, speed, precise worst-case time information, and integration with conventional software are needed. ion with conventional software are needed.
Author
Jan Eric Larsson +
Has author
Jan Eric Larsson +
Has identifier
The MFM +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
The MFM +
Month
July +
Number
The MFM +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
