Naslov
How To Constrain Qualitative Simulation?

Autori
Matetić, Maja

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 6th Electrotehnical and Computer Science Conference ERK'97, Vol. B / Zajc, Baldomir - : Institute of Electrical and Electronics Engineers (IEEE), 1997, 141-144.

Skup
Electrotehnical and Computer Science Conference ERK'97

Mjesto i datum
Portorož, Slovenija, 25.09.1997. - 27.09.1997

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Qualitative modelling and simulation

Sažetak
Qualitative modeling and simulation make it feasible to predict the possible behaviors of a system consistent with an incomplete state of knowledge. However, any given set of qualitative constraints may not be sufficiently powerful to filter out all inconsistent behaviors - spurious behaviors. Spurious behaviors pose a significant efficiency problem for applications of Qualitative Simulation. The creation of a suitable set of global filters on complete qualitative states or behaviors has been an ongoing line of research: reasoning with infinite values and infinite times, reasoning with higher-order derivatives, ignoring direction of change, reasoning in the phase space representation and reasoning about energy. Beside these standard qualitative techniques there is a completely new method using temporal constraints on trajectories presented by Brajnik and Clancy. Concluding this overview I give also my own approach to the problem using combination of qualitative and numerical simulation.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA