Login / Signup

Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic.

Zhongdong HuangSiddhartha BhattacharyyaVigs ChandraShengbing JiangRatnesh Kumar
Published in: ACC (2004)
Keyphrases
  • linear temporal logic
  • high level
  • learning algorithm
  • probabilistic model
  • search strategy