A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers.
Aziz SfarDina IroftiMadalina CroitoruPublished 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