Constructive Potential Theory: Foundations and Applications.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2002) Constructive Potential Theory: Foundations and Applications. Technical report. University of Kent, Canterbury, Kent, UK (Full text available)

Download (3MB)
Download (700kB)


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.

Item Type: Monograph (Technical report)
Uncontrolled keywords: Constructive Stochastic Analysis, Process Algebra, Logic, Continuous Computation
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:00 UTC
Last Modified: 09 May 2012 09:57 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year