Sign in

The verification of codiagnosability in the case of dynamic observations.

Weilin WangAnouck R. GirardStéphane LafortuneFeng Lin
Published in: ECC (2009)
Keyphrases
  • real world
  • dynamic environments
  • machine learning
  • information systems
  • formal verification
  • data mining
  • feature extraction
  • multiscale
  • model checking