A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers.

Aziz Sfar Dina Irofti Madalina Croitoru

Published in: FoIKS (2022)

Keyphrases

power plant
logical properties
electric power
coal fired
soft sensor
logical language
fault diagnosis
soft computing
control system
logical framework

fault detection
formal semantics
power generation
logical rules
graphical representation
protein function prediction
historical data
model theoretic
incipient fault

logical theories
normal operation
wind speed
logic programming
decision support system
predictive control
real time
fuzzy logic
uml class diagrams

wind power
logical structure
condition monitoring
real world
control law
metadata
fuzzy association rule mining
semi supervised
database