96 research outputs found
Analysis of Petri Net Models through Stochastic Differential Equations
It is well known, mainly because of the work of Kurtz, that density dependent
Markov chains can be approximated by sets of ordinary differential equations
(ODEs) when their indexing parameter grows very large. This approximation
cannot capture the stochastic nature of the process and, consequently, it can
provide an erroneous view of the behavior of the Markov chain if the indexing
parameter is not sufficiently high. Important phenomena that cannot be revealed
include non-negligible variance and bi-modal population distributions. A
less-known approximation proposed by Kurtz applies stochastic differential
equations (SDEs) and provides information about the stochastic nature of the
process. In this paper we apply and extend this diffusion approximation to
study stochastic Petri nets. We identify a class of nets whose underlying
stochastic process is a density dependent Markov chain whose indexing parameter
is a multiplicative constant which identifies the population level expressed by
the initial marking and we provide means to automatically construct the
associated set of SDEs. Since the diffusion approximation of Kurtz considers
the process only up to the time when it first exits an open interval, we extend
the approximation by a machinery that mimics the behavior of the Markov chain
at the boundary and allows thus to apply the approach to a wider set of
problems. The resulting process is of the jump-diffusion type. We illustrate by
examples that the jump-diffusion approximation which extends to bounded domains
can be much more informative than that based on ODEs as it can provide accurate
quantity distributions even when they are multi-modal and even for relatively
small population levels. Moreover, we show that the method is faster than
simulating the original Markov chain
A law of large numbers approximation for Markov population processes with countably many types
When modelling metapopulation dynamics, the influence of a single patch on
the metapopulation depends on the number of individuals in the patch. Since the
population size has no natural upper limit, this leads to systems in which
there are countably infinitely many possible types of individual. Analogous
considerations apply in the transmission of parasitic diseases. In this paper,
we prove a law of large numbers for rather general systems of this kind,
together with a rather sharp bound on the rate of convergence in an
appropriately chosen weighted norm.Comment: revised version in response to referee comments, 34 page
On Optimal Harvesting in Stochastic Environments: Optimal Policies in a Relaxed Model
This paper examines the objective of optimally harvesting a single species in
a stochastic environment. This problem has previously been analyzed in Alvarez
(2000) using dynamic programming techniques and, due to the natural payoff
structure of the price rate function (the price decreases as the population
increases), no optimal harvesting policy exists. This paper establishes a
relaxed formulation of the harvesting model in such a manner that existence of
an optimal relaxed harvesting policy can not only be proven but also
identified. The analysis embeds the harvesting problem in an
infinite-dimensional linear program over a space of occupation measures in
which the initial position enters as a parameter and then analyzes an auxiliary
problem having fewer constraints. In this manner upper bounds are determined
for the optimal value (with the given initial position); these bounds depend on
the relation of the initial population size to a specific target size. The more
interesting case occurs when the initial population exceeds this target size; a
new argument is required to obtain a sharp upper bound. Though the initial
population size only enters as a parameter, the value is determined in a
closed-form functional expression of this parameter.Comment: Key Words: Singular stochastic control, linear programming, relaxed
contro
Stochastic B\"acklund transformations
How does one introduce randomness into a classical dynamical system in order
to produce something which is related to the `corresponding' quantum system? We
consider this question from a probabilistic point of view, in the context of
some integrable Hamiltonian systems
Adiabatic elimination in quantum stochastic models
We consider a physical system with a coupling to bosonic reservoirs via a
quantum stochastic differential equation. We study the limit of this model as
the coupling strength tends to infinity. We show that in this limit the
solution to the quantum stochastic differential equation converges strongly to
the solution of a limit quantum stochastic differential equation. In the
limiting dynamics the excited states are removed and the ground states couple
directly to the reservoirs.Comment: 17 pages, no figures, corrected mistake
Trend-based analysis of a population model of the AKAP scaffold protein
We formalise a continuous-time Markov chain with multi-dimensional discrete state space model of the AKAP scaffold protein as a crosstalk mediator between two biochemical signalling pathways. The analysis by temporal properties of the AKAP model requires reasoning about whether the counts of individuals of the same type (species) are increasing or decreasing. For this purpose we propose the concept of stochastic trends based on formulating the probabilities of transitions that increase (resp. decrease) the counts of individuals of the same type, and express these probabilities as formulae such that the state space of the model is not altered. We define a number of stochastic trend formulae (e.g. weakly increasing, strictly increasing, weakly decreasing, etc.) and use them to extend the set of state formulae of Continuous Stochastic Logic. We show how stochastic trends can be implemented in a guarded-command style specification language for transition systems. We illustrate the application of stochastic trends with numerous small examples and then we analyse the AKAP model in order to characterise and show causality and pulsating behaviours in this biochemical system
On the flow-level stability of data networks without congestion control: the case of linear networks and upstream trees
In this paper, flow models of networks without congestion control are
considered. Users generate data transfers according to some Poisson processes
and transmit corresponding packet at a fixed rate equal to their access rate
until the entire document is received at the destination; some erasure codes
are used to make the transmission robust to packet losses. We study the
stability of the stochastic process representing the number of active flows in
two particular cases: linear networks and upstream trees. For the case of
linear networks, we notably use fluid limits and an interesting phenomenon of
"time scale separation" occurs. Bounds on the stability region of linear
networks are given. For the case of upstream trees, underlying monotonic
properties are used. Finally, the asymptotic stability of those processes is
analyzed when the access rate of the users decreases to 0. An appropriate
scaling is introduced and used to prove that the stability region of those
networks is asymptotically maximized
Fractional smoothness and applications in finance
This overview article concerns the notion of fractional smoothness of random
variables of the form , where is a certain
diffusion process. We review the connection to the real interpolation theory,
give examples and applications of this concept. The applications in stochastic
finance mainly concern the analysis of discrete time hedging errors. We close
the review by indicating some further developments.Comment: Chapter of AMAMEF book. 20 pages
- …