The verification of codiagnosability in the case of dynamic observations.

Weilin Wang Anouck R. Girard Stéphane Lafortune Feng Lin

Published in: ECC (2009)

Keyphrases

real world
dynamic environments
machine learning
information systems
formal verification
data mining
feature extraction
multiscale
model checking