proceeding Papers Qualitative Reasoning of Stochastic Models and the Role of Flux


Abstract

Qualitative reasoning (QR) is a technique integrating the fields of AI and systems theory, whose aim is to be able to reason about the behaviour of systems with uncertainty in parameter values and in the exact quantitative dynamics. Traditionally applied to the study of the dynamics of physical systems, QR has been usually considered in a deterministic setting. Here we investigate the application of a QR approach to the analysis of continuous time Markov chains (CTMCs), and we focus on the application of probabilistic fluxes analysis as a first experiment in this context.



Paper Details

Authors

P. Ballarini,  M. Guerriero,  J. Hillston

Publication

8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009)

Download

/var/papers/PP/PP-0232-2009.pdf

Language

English
.