[an error occurred while processing this directive] An error occured whilst processing this directive LFCS Theory Seminar

Continuous Markov processes - approximations and metrics

Radha Jagadeesan

Loyola University, Chicago

4pm Tuesday 1 June 1999
Room 2511, JCMB, King's Buildings

Abstract

Partial Labeled Markov processes provide a foundation for interacting probabilistic systems with continuous state spaces. Such systems arise in the analysis of stochastic physical systems or stochastic hybrid systems.

We develop contextual reasoning principles for robust notions of "approximate" equivalence between concurrent interacting probabilistic systems. The key technical tools in this development are:

1) An approximation theory of continuous systems by a countable family of finite-state probabilistic systems.

2) A move from traditional logic to real valued functions as formulas (following Kozen) yields metrics on continuous Markov processes.

This is joint work with Josee Desharnais, Vineet Gupta and Prakash Panangaden.

Other LFCS Theory Seminars John Longley
Tuesday 25 May 1999
An error occured whilst processing this directive