1,638 research outputs found
Learning and Designing Stochastic Processes from Logical Constraints
Stochastic processes offer a flexible mathematical formalism to model and
reason about systems. Most analysis tools, however, start from the premises
that models are fully specified, so that any parameters controlling the
system's dynamics must be known exactly. As this is seldom the case, many
methods have been devised over the last decade to infer (learn) such parameters
from observations of the state of the system. In this paper, we depart from
this approach by assuming that our observations are {\it qualitative}
properties encoded as satisfaction of linear temporal logic formulae, as
opposed to quantitative observations of the state of the system. An important
feature of this approach is that it unifies naturally the system identification
and the system design problems, where the properties, instead of observations,
represent requirements to be satisfied. We develop a principled statistical
estimation procedure based on maximising the likelihood of the system's
parameters, using recent ideas from statistical machine learning. We
demonstrate the efficacy and broad applicability of our method on a range of
simple but non-trivial examples, including rumour spreading in social networks
and hybrid models of gene regulation
Differential equation approximations for Markov chains
We formulate some simple conditions under which a Markov chain may be
approximated by the solution to a differential equation, with quantifiable
error probabilities. The role of a choice of coordinate functions for the
Markov chain is emphasised. The general theory is illustrated in three
examples: the classical stochastic epidemic, a population process model with
fast and slow variables, and core-finding algorithms for large random
hypergraphs.Comment: Published in at http://dx.doi.org/10.1214/07-PS121 the Probability
Surveys (http://www.i-journals.org/ps/) by the Institute of Mathematical
Statistics (http://www.imstat.org
The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications
The statement of the mean field approximation theorem in the mean field
theory of Markov processes particularly targets the behaviour of population
processes with an unbounded number of agents. However, in most real-world
engineering applications one faces the problem of analysing middle-sized
systems in which the number of agents is bounded. In this paper we build on
previous work in this area and introduce the mean drift. We present the concept
of population processes and the conditions under which the approximation
theorems apply, and then show how the mean drift is derived through a
systematic application of the propagation of chaos. We then use the mean drift
to construct a new set of ordinary differential equations which address the
analysis of population processes with an arbitrary size
Complex and Adaptive Dynamical Systems: A Primer
An thorough introduction is given at an introductory level to the field of
quantitative complex system science, with special emphasis on emergence in
dynamical systems based on network topologies. Subjects treated include graph
theory and small-world networks, a generic introduction to the concepts of
dynamical system theory, random Boolean networks, cellular automata and
self-organized criticality, the statistical modeling of Darwinian evolution,
synchronization phenomena and an introduction to the theory of cognitive
systems.
It inludes chapter on Graph Theory and Small-World Networks, Chaos,
Bifurcations and Diffusion, Complexity and Information Theory, Random Boolean
Networks, Cellular Automata and Self-Organized Criticality, Darwinian
evolution, Hypercycles and Game Theory, Synchronization Phenomena and Elements
of Cognitive System Theory.Comment: unformatted version of the textbook; published in Springer,
Complexity Series (2008, second edition 2010
- …