Login / Signup

Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.

Sota SatoAtsuyoshi SaimenMasaki WagaKenji TakaoIchiro Hasuo
Published in: FM (2021)
Keyphrases
  • case study
  • gas turbine
  • fault diagnosis
  • real world
  • real time
  • software development
  • development process
  • parameter values
  • fault tree
  • image analysis
  • lessons learned
  • penalty function