School of Computing

Constructive potential theory: Foundations and applications.

Marius Constantin Bujorianu and Manuela Luminita Bujorianu

Research Report 06-02, University of Kent, Computing Laboratory, Canterbury CT2 7NF, Kent, UK, June 2002.

Abstract

RR-06-02

Stochastic analysis is now an important common part of computing and mathematics. Its applications are impressive, ranging from stochastic concurrent and hybrid systems to finances and biomedicine. In this work we investigate the logical and algebraic foundations of stochastic analysis and possible applications to computing. We focus more concretely on functional analysis theoretic core of stochastic analysis called potential theory. Classical potential theory originates in Gauss and Poincare's work on partial differential equations. Modern potential theory now study stochastic processes with their adjacent theory, higher order differential operators and their combination like stochastic differential equations. In this work we consider only the axiomatic branches of modern potential theory, like Dirichlet forms and harmonic spaces.

Due to the inherently constructive character of axiomatic potential theory, classical logic has no enough ability to offer a proper logical foundation. In this paper we propose the weak commutative linear logics as a logical framework for reasoning about the processes described by potential theory. The logical approach is complemented by an algebraic one. We construct an algebraic theory with models in stochastic analysis, and based on this, and a process algebra in the sense of computer science.

Applications of these in area of hybrid systems, concurrency theory and biomedicine are investigated.

Parts of this paper have been presented, in shorter form, at diverse conferences and workshops. This work represents a common 'umbrella' for all these presentations and offers an extended version for the (some time) very short published materials.

Download publication 933 kbytes

Bibtex Record

@techreport{1522,
author = {Marius Constantin Bujorianu and Manuela Luminita Bujorianu},
title = {{C}onstructive Potential Theory: Foundations and Applications.},
month = {June},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1522},
    publication_type = {techreport},
    submission_id = {21005_1033991847},
    type = {Research Report},
    number = {06-02},
    address = {Canterbury CT2 7NF, Kent, UK},
    institution = {University of Kent, Computing Laboratory},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014