Yılmaz, Özgür.
(Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2005., 2005.)
Qualitative reasoning and simulation are useful mathematical tools, especially for theanalysis, design and diagnosis of dynamic systems. Simulators which are seen to beincomplete, that is, which produce spurious predictions ...