Toward a decompositional and incremental approach to diagnosis of dynamic systems from timed observations