Computer Science – Logic in Computer Science
Scientific paper
2005-05-24
LMCS 2 (1:4) 2006
Computer Science
Logic in Computer Science
Preliminary version appeared in QEST 04
Scientific paper
10.2168/LMCS-2(1:4)2006
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader class of distributions than exponential distributions. This pseudo-metric gives a useful handle on approximate reasoning in the presence of numerical information -- such as probabilities and time -- in the model. We give a fixed point characterization of the pseudo-metric. This makes available coinductive reasoning principles for reasoning about distances. We demonstrate that our approach is insensitive to potentially ad hoc articulations of distance by showing that it is intrinsic to an underlying uniformity. We provide a logical characterization of this uniformity using a real-valued modal logic. We show that several quantitative properties of interest are continuous with respect to the pseudo-metric. Thus, if two processes are metrically close, then observable quantitative properties of interest are indeed close.
Gupta Vineet
Jagadeesan Radha
Panangaden Prakash
No associations
LandOfFree
Approximate reasoning for real-time probabilistic processes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Approximate reasoning for real-time probabilistic processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Approximate reasoning for real-time probabilistic processes will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-72639