3,248 research outputs found
Process algebra for performance evaluation
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined by a random variable. A huge class of resource-sharing systems – like large-scale computers, client–server architectures, networks – can accurately be described using such stochastic specification formalisms. The main emphasis of this paper is the treatment of operational semantics, notions of equivalence, and (sound and complete) axiomatisations of these equivalences for different types of Markovian process algebras, where delays are governed by exponential distributions. Starting from a simple actionless algebra for describing time-homogeneous continuous-time Markov chains, we consider the integration of actions and random delays both as a single entity (like in known Markovian process algebras like TIPP, PEPA and EMPA) and as separate entities (like in the timed process algebras timed CSP and TCCS). In total we consider four related calculi and investigate their relationship to existing Markovian process algebras. We also briefly indicate how one can profit from the separation of time and actions when incorporating more general, non-Markovian distributions
The SLH framework for modeling quantum input-output networks
Many emerging quantum technologies demand precise engineering and control
over networks consisting of quantum mechanical degrees of freedom connected by
propagating electromagnetic fields, or quantum input-output networks. Here we
review recent progress in theory and experiment related to such quantum
input-output networks, with a focus on the SLH framework, a powerful modeling
framework for networked quantum systems that is naturally endowed with
properties such as modularity and hierarchy. We begin by explaining the
physical approximations required to represent any individual node of a network,
eg. atoms in cavity or a mechanical oscillator, and its coupling to quantum
fields by an operator triple . Then we explain how these nodes can be
composed into a network with arbitrary connectivity, including coherent
feedback channels, using algebraic rules, and how to derive the dynamics of
network components and output fields. The second part of the review discusses
several extensions to the basic SLH framework that expand its modeling
capabilities, and the prospects for modeling integrated implementations of
quantum input-output networks. In addition to summarizing major results and
recent literature, we discuss the potential applications and limitations of the
SLH framework and quantum input-output networks, with the intention of
providing context to a reader unfamiliar with the field.Comment: 60 pages, 14 figures. We are still interested in receiving
correction
Compositional Performance Modelling with the TIPPtool
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations
Brownian Molecules Formed by Delayed Harmonic Interactions
A time-delayed response of individual living organisms to information
exchanged within flocks or swarms leads to the emergence of complex collective
behaviors. A recent experimental setup by (Khadka et al 2018 Nat. Commun. 9
3864), employing synthetic microswimmers, allows to emulate and study such
behavior in a controlled way, in the lab. Motivated by these experiments, we
study a system of N Brownian particles interacting via a retarded harmonic
interaction. For , we characterize its collective behavior
analytically, by solving the pertinent stochastic delay-differential equations,
and for by Brownian dynamics simulations. The particles form
molecule-like non-equilibrium structures which become unstable with increasing
number of particles, delay time, and interaction strength. We evaluate the
entropy and information fluxes maintaining these structures and, to
quantitatively characterize their stability, develop an approximate
time-dependent transition-state theory to characterize transitions between
different isomers of the molecules. For completeness, we include a
comprehensive discussion of the analytical solution procedure for systems of
linear stochastic delay differential equations in finite dimension, and new
results for covariance and time-correlation matrices.Comment: 36 pages, 26 figures, current version: further improvements and one
correctio
Variance-constrained multiobjective control and filtering for nonlinear stochastic systems: A survey
The multiobjective control and filtering problems for nonlinear stochastic systems with variance constraints are surveyed. First, the concepts of nonlinear stochastic systems are recalled along with the introduction of some recent advances. Then, the covariance control theory, which serves as a practical method for multi-objective control design as well as a foundation for linear system theory, is reviewed comprehensively. The multiple design requirements frequently applied in engineering practice for the use of evaluating system performances are introduced, including robustness, reliability, and dissipativity. Several design techniques suitable for the multi-objective variance-constrained control and filtering problems for nonlinear stochastic systems are discussed. In particular, as a special case for the multi-objective design problems, the mixed H 2 / H ∞ control and filtering problems are reviewed in great detail. Subsequently, some latest results on the variance-constrained multi-objective control and filtering problems for the nonlinear stochastic systems are summarized. Finally, conclusions are drawn, and several possible future research directions are pointed out
Versatile Markovian models for networks with asymmetric TCP sources
In this paper we use Stochastic Petri Nets (SPNs) to study the interaction of multiple TCP sources that share one or two buffers, thereby considerably extending earlier work. We first consider two sources sharing a buffer and investigate the consequences of two popular assumptions for the loss process in terms of fairness and link utilization. The results obtained by our model are in agreement with existing analytic models or are closer to results obtained by ns-2 simulations. We then study a network consisting of three sources and two buffers and provide evidence that link sharing is approximately minimum-potential-delay-fair in case of equal round-trip times. \u
- …