Login / Signup

Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery.

Fathiyeh FaghihBorzoo Bonakdarpour
Published in: IEEE Trans. Dependable Secur. Comput. (2018)
Keyphrases
  • probabilistic model
  • real time
  • model selection
  • complex systems
  • fault diagnosis
  • experimental data
  • genetic algorithm
  • case study
  • face recognition
  • video sequences
  • parameter estimation
  • fault detection
  • symbolic data