Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy