Reasoning with modal logic for power plant condition monitoring

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)


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.
Original languageEnglish
Pages (from-to)58-59
Number of pages1
JournalIEEE Power Engineering Review
Issue number7
Publication statusPublished - 2001


  • condition monitoring
  • modal logic
  • temporal reasoning
  • intelligent agents
  • poer plant


Dive into the research topics of 'Reasoning with modal logic for power plant condition monitoring'. Together they form a unique fingerprint.

Cite this