Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving.
Waqar AhmadOsman HasanFalah AwwadNabil BastakiSyed Rafay HasanPublished in: IEEE Syst. J. (2020)
Keyphrases
- theorem proving
- reliability analysis
- power generation
- power plant
- power system
- first order logic
- short term
- theorem prover
- inference rules
- consequence finding
- stochastic programming
- soft computing
- electricity markets
- proof planning
- electric power
- historical data
- production cost
- load forecasting
- wind speed
- long term
- fault diagnosis
- case study
- risk assessment
- training data