Verifiable Control System Development for Gas Turbine Engines.

Mehrdad Pakmehr Timothy Wang Romain Jobredeaux Martin Vivies Eric Feron

Published in: CoRR (2013)

Keyphrases

gas turbine
control system
fault tree
knowledge based systems
fuzzy logic
software engineering
sufficient conditions
fault diagnosis
neural network
case study
expert systems
artificial neural networks
computer aided
closed loop