outline i.stochastic modeling for pollution tracking ii.simulations iii.filtering in a random...
Post on 23-Jan-2016
218 views
TRANSCRIPT
NNNeeetttwwwooorrrkkk ooofff CCCeeennntttrrreeesss ooofff EEExxxccceeelllllleeennnccceee
mitacs
Mathematics of Information Technology And Complex Systems
Hongwei Long and Micheal Kouritzin
pints
Prediction in Interacting Systems
OutlineOutline
I. Stochastic Modeling for Pollution Tracking
II. Simulations
III. Filtering in a Random Environment
IV. Overview of Center
1. Description Of Water1. Description Of Water Pollution Problem Pollution Problem
n Factories along river or groundwater system
n Undesired chemicals or bacteria released by each factory at random times
n Chemicals initially distributed according to some proportional function
n Contaminants react, drift, and disperse through water sheet
n Quality of water ? Location of chief polluters ? How to predict the transport of the contaminants?
2. The Mathematical Model2. The Mathematical Model
... where :... where :
n u(t,x) - concentration of contaminantsn D > 0 - dispersion rate
n V - water velocity or drift raten R - birth and death of bacteria or adsorption of chemicals
n Aij - random contaminant deposits
n ij - random release times
n u0(x) - initial contaminant concentrationn b.c. - dispersive flux across the boundary = contaminant
concentration does not change at boundary
3. Filtering Problem for 3. Filtering Problem for Signal Process u(t,x) Signal Process u(t,x)
n Observations - sample pollution at discrete well sites or average of lake: Yk = h(utk , Vk)
n Optimal filter: i.e best guess E [f(u(tk))|Yk]
Yk= σ {Y1 ,...,Yk}
n Find uN approximating u
n Calculate the approximate filter:
n E [f(uN(tk))|Yk]
4. Construction Of Markov 4. Construction Of Markov ChainChain
n Divide the region [0,L1] x [0,L2] into L1N x L2N cells
n Construct discretized operators N and N
n nk(t) - the number of particles in cell k at time t
n {nk (t)} is modeled as a Markov chain
n Particles evolve according to births and deaths from reactions, random walks from diffusion and drift, area dependent births from Poisson noise source
n l-1 is mass of each particle
The Approximate The Approximate Markov ProcessMarkov Process
n is given by :
n Semi-group and martingale theories can be used to analyze the mathematical structure of the Markov chain
5. The Law Of Large 5. The Law Of Large NumbersNumbers
For both quenched and annealed approaches:
uN(t) converges to u(t) and N uN(t) converges to u(t)
in distribution sense as N
Quenched approach: evolving Markov chains for each fixed path of the driving Poisson source
Annealed approach: considering the Poisson source as a random medium for the Markov chains
Results in filtering theory state that we can construct approximate
filters from uN
The estimation of u(t, x) can help locate the polluters
6. Model 6. Model DevelopmentDevelopment
1. Thomas Kurtz introduced and studied this type of Markov chain approximation for ODE’s. (1971)
2. Arnold and Theodosopulu extended model to the partial differential equations of chemical reactions. (1980)
3. Peter Kotelenez established high density limits for model. (1988)
4. Douglas Blount established a general technique for establishing crucial estimates in these models. (1991, 1994)
5. Kouritzin and Long revised model to i) speed up the implementation, ii) allow convection, iii) allow more general nonlinearities, and iv) Poisson-measure driving noise. New analysis methods were required.
THE DINGHY PROBLEM
n A dinghy is lost at sean The dinghy moves randomlyn We know the underlying stochastic
modeln We only have very noisy observations
from a high-altitude sensorn We want to track the location and the
orientation of the dinghy n The goal rescue the dinghy’s
occupants
Nonlinear Filtering for Diffusions in Random Environments
1. Background for Signal Process• Motivation: tracking problem of a dinghy lost at sea.
• Formal SDE for the motion of the dinghy:
dXt = - 1 a (Xt) W (Xt)dt + b(Xt)dt + (Xt)dBt,
2where W is a real-valued random field on Rd that can be
nowhere differentiable d
a = T and b = (b1,…,bd) with bi = jaij.
j =1• B,W are independent random sources
Example: dXt = b(Xt) dt + (Xt) dBt models motion of dighy itself –½ a(Xt)W(Xt)dt brings in effect of the waves.
• Find Solution (Xwt, Pw
t)via Dirichlet form theory,
w (u,v) = Rd < a(x) u (x), v(x) > e-w(x)dx/2,
on the Hilbert space H =L2 (RRd; e-w(x)dx) with domain D(w) = {u H: | a 1/2 u| H}.
• (W,(W),Q) models the random environment. Consider the law PPwf of
Xwt with initial law f(x)dx as a probability measure on C (RR+, RRd). The
mapping (W,f) W L1+ (RRd) PPw
f is measurable.
·
u, vD(w)
Example: W(x) = W((0,x]) is a Brownian sheet = a zero mean Gaussian field with W (A), W (B) independent when A B = , W (AB) = W (A) + W (B) and E(W(A))2 = 2 (A).
• Construction of diffusion in random environments:
- Let f be our initial random probability measure on Rd.
We define a new probability measure on C (RR+, RRd) by PPwf
(A) = EQ [PPwf (A)].
Then (Xt, t ) is a diffusion in the random medium W with initial law f if its law is PPw
f .
- (Xt, t ) is not Markov!
- Can we come up with an equation for PPwf(X[0,t]dx|
observations up to t)? i.e. Is there a useful filtering equation?
2. Filtering Model
• The signal process is the “diffusion” in a random medium defined as above.
• The observation model:
Yt = t
0 h(Xs)ds + Vt.
• To calculate the optimal filter E [ (X[0,t])|t], t = {Ys, st}]
3. Filtering for Historical Processes: Quenched Approach
• Fix W W , consider the historical process Xw[0,t] (s)= Xw
ts , s RR+ and calculate the optimal pathspace filter EE [(Xw
[0,t])| wt].
• Let P0 be a new probability. measure that turns Y into a Brownian
motion and w[0,t] () = E0 [ (Xw
[0,t]) At| wt],
At = exp{t
0 h(Xs)dYs – ½
t
0 |h(Xs) |2ds}
• Obtain an Zakai equation for the unnormalized pathspace measure valued filtering process.
• Solution is given in terms of multiple Wiener-Ito’s integrals.
w[0,t] () = Rd Tt
w, 0 (x)f(x)dx+ t
0 [ Rd Tt1
w, 0 (Uw,t1t-t1
)(x)f(x)dx]dYt1
+ t
0
t1
0 [ Rd Tt2
w, 0 (Uw,t2t1-t2
(Uw,t1t-t1
)) (x) f(x)dx] dYt2 dYt1
+ …
• Here Ttw, 0 is the evolution operator for X under P0 and U is an
associated operator.
• Measurability of the joint distribution of (Xw, Yw) with respect to W.
3. Filtering for Historical Processes: Quenched Approach (continued)
4. Filtering for Diffusions in Random Environments: Annealed Approach.
• There is no known stochastic evolution equation for the filtering process associated with the diffusion in random medium based on the noisy observation.
• The random environments are not accessible, which must be averaged
.
out (i.e annealed approach):
[0,t] () = w [0,t] ( )Q(dW) T0
t g = Tw,0t g Q(dW)
• From the measurability we get the chaos expansion for the filtering process associated to our filtering model:
[0,t] () = Rd T
0t(x) f(x)dx + t
0[ Rd T0
t1(Uw,t1t-t1
) (x) f(x)dx] dYt1
+ t0 t1
0 [ Rd T0
t2(Uw,t2
t1-t2(Uw,t1
t -t1 ))(x)f(x)dx]dYt2
dYt1+ …
• Truncate expansion and approximate the stochastic integrals Implementation method
5. Mathematical Background.
1) Brox and Schumacher independently introduced the one-dimensional diffusion in random medium using Ito-McKean time change techniques. (1986)
2) Tanaka showed this model is recurrent. (1993)
3) Many authors have established properties like self-similarity.
4) Mathieu introduced the multidimensional model using Dirichlet forms and studies the behaviour as the amplitude of B goes to zero. (1994)
5) Kouritzin, Long, and Sun estimate the paths of such processes based on corrupted, distorted, partial observations.
Brief Introduction to the Alberta Branch of MITACS-PINTS Center
1. Postdoctoral Fellow and Graduate StudentsDr. Hongwei Long (PIms-MITACS Industrial PDF)
Dr. Wei Sun (PIms-MITACS Industrial PDF)
David Ballantyne (Graduate Student)
Calvin Chan (Undergraduate Student)
Hubert Chan (Graduate Student)
Michelle Prefontaine (Graduate Student)
Paul Wiebe (Graduate Student)
2. Simulation Front(i) Branching particle filtering; path-space filter, combination
of filtering and parameter estimations, application to advanced historical tracking of dinghy lost at sea. (By David Ballantyne, Hubert Chan and Michael Kouritzin).
(ii) Convolutional filters: application to a filtering model for mean reverting stochastic volatility using Levy driven prices as observation. (By Paul Wiebe, Michelle Prefontaine and Calvin Chan)
(iii) Markov chain approximation: application to water pollution model which is characterized by a stochastic reaction-diffusion equation. (By David Ballantyne and Hubert Chan).
3. Theoretical Front(i) Uniqueness and weak convergence of solutions of the nonlinear
filter equations (by Andrew Heunis and Vladimir Lucic, U. Waterloo): study the distributional uniqueness and weak convergence of the (normalized) filter equations.
(ii) Convergence of Markov chain approximation to stochastic reaction diffusion equations. (by Michael Kouritzin and Hongwei Long).
(iii) Nonlinear filtering for diffusions in random environments (by Michael A. Kouritzin, Hongwei Long and Wei Sun).
3. Theoretical Front (continued)
(iv) Holder continuity for spatial and path processes via spectral analysis. (by D. Blount and Michael Kouritzin).(v) On a class of discrete generation interacting particle
systems.(by P. Del Moral, Micheal Kouritzin and L. Miclo).(vi) A pathspace branching particle filter. (by Michael Kouritzin).(vii) Rates for branching particle approximation of continuous- discrete filters. (by D. Blount an Michael Kouritzin).(viii) Convolutional filters. (by Micheal Kouritzin and Paul Wiebe).
4. Sponsors and their interests (i) Lockheed Martin Naval Electronics and Surveillance System:
surveillance and tracking, search and rescue, anti-narcotic smuggling, air traffic management, and global positioning.
(ii) Lockheed Martin Canada, Montreal: same interests as above.
(iii) VisionSmart, Edmonton: Quality control of industrial processes such as real time analysis of oriented strand board (OSB) density variations using thermography techniques and pattern recognition of naturally occurring substances etc.
(iv) Acoustic Positioning Research Inc., Edmonton: Track stage performers using acoustic techniques and adjust lighting, sound effects. Create performer-movement- controlled.
(v) Stantec (future): environmental monitoring, pollution tracking.
5. Ideas for the future
(i) Filtering by Markov chain approximation.
(ii) Tracking and estimation of bacteria and other species
(iii) Filtering when observations in random environments.
(iv) Implement chaos method and try out with random
environments.