loading...
Approximate Reasoning for Real-Time Probabilistic Processes
Enschede, the Netherlands September 27-September 30
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10029The Quantitative Evaluation of System ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Vineet Gupta, Google Inc.
Radha Jagadeesan, DePaul University
Prakash Panangaden, McGill University
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 pseudometric 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 pseudometric. Thus, if two processes are metrically close, then observable quantitative properties of interest are indeed close.
Citation:
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden, "Approximate Reasoning for Real-Time Probabilistic Processes," qest, pp.304-313, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions