Abstract
Consequence reasoning is a major element for operation support system to assess the plant situations. The purpose of this paper is to elaborate how Multilevel Flow Models can be used to reason about consequences of disturbances in complex engineering systems. MFM is a modelling methodology for representing process knowledge for complex systems. It represents the system by using means-end and part-whole decompositions, and describes not only the purposes and functions of the system but also the causal relations between them. Thus MFM is a tool for causal reasoning. The paper introduces MFM modelling syntax and gives detailed reasoning formulas for consequence reasoning. The reasoning formulas offers basis for developing rule-based system to perform consequence reasoning based on MFM, which can be used for alarm design, risk monitoring, and supervision and operation support system design.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human - Machine Systems |
| Number of pages | 8 |
| Publisher | Elsevier |
| Publication date | 2013 |
| ISBN (Print) | 9783902823410 |
| DOIs | |
| Publication status | Published - 2013 |
| Event | 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems - Wright State University, Las Vegas, United States Duration: 11 Aug 2013 → 15 Aug 2013 Conference number: 12 |
Conference
| Conference | 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems |
|---|---|
| Number | 12 |
| Location | Wright State University |
| Country/Territory | United States |
| City | Las Vegas |
| Period | 11/08/2013 → 15/08/2013 |
Keywords
- Multilevel Flow Modelling
- Knowledge representation
- Functional modelling
- Consequence reasoning
- Rule-based system
- Decision support system