Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Reasoning with modal logic for power plant condition monitoring

Mangina, E. and McArthur, S.D.J. and McDonald, J.R. (2001) Reasoning with modal logic for power plant condition monitoring. IEEE Power Engineering Review, 21 (7). pp. 58-59. ISSN 0272-1724

Full text not available in this repository. (Request a copy from the Strathclyde author)

Abstract

This letter demonstrates the use of modal logic for knowledge representation for condition monitoring of gas turbine start-up sequences. The potentially large amounts of data and the complex real-time processes behind on-line fault detection indicate the need for software entities that can reason and react to changing environmental conditions. These are known as intelligent software agents. As a consequence, data interpretation is achieved by converting the data into appropriate information and combining individual agents' knowledge, resulting in an automatic fault diagnosis.

Item type: Article
ID code: 7027
Keywords: condition monitoring, modal logic, temporal reasoning, intelligent agents, poer plant, Electrical engineering. Electronics Nuclear engineering, Electrical and Electronic Engineering
Subjects: Technology > Electrical engineering. Electronics Nuclear engineering
Department: Faculty of Engineering > Electronic and Electrical Engineering
Unknown Department
Professional Services > Corporate Services Directorate
Related URLs:
    Depositing user: Strathprints Administrator
    Date Deposited: 16 Oct 2008
    Last modified: 04 Sep 2014 14:27
    URI: http://strathprints.strath.ac.uk/id/eprint/7027

    Actions (login required)

    View Item