Sign in

Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths.

Leonardo P. M. SantoroMarcos Vicente MoreiraJoão Carlos BasilioOumar Diene
Published in: WODES (2014)
Keyphrases
  • discrete event systems
  • high accuracy
  • pairwise
  • computational complexity
  • preprocessing
  • relational databases
  • significant improvement
  • probabilistic model
  • objective function
  • clustering method
  • petri net