Results 51 to 60 of about 11,828,886 (169)

Analysis of a Multimedia Stream using Stochastic Process Algebra [PDF]

open access: yes, 1998
It is now well recognised that the next generation of distributed systems will be distributed multimedia systems. Central to multimedia systems is quality of service, which defines the non-functional requirements on the system.
Derrick, John   +5 more
core  

Stochastic Process Algebra and Stability Analysis of Collective Systems [PDF]

open access: yes, 2013
Collective systems consist of large numbers of agents that coordinate through local behaviour, adapt to their environment and possibly give rise to emergent phenomena. Their formal analysis requires advanced scalable mathematical approximation techniques.
Bortolussi L, Latella D, Massink M
openaire   +5 more sources

Stochastic Elasto-Plastic Analysis of Necking Bar with Random Tvergaard Coefficients

open access: yesMATEC Web of Conferences, 2019
This paper reports on the computational modelling of static extension tests of the round steel bar. The main objective was to apply the generalised stochastic perturbation technique implemented as the Stochastic Finite Element Method to carry out the ...
Strąkowski Michai, Kamiñski Marcin
doaj   +1 more source

Toward a Unification of System-Theoretical Principles in Biology and Ecology—The Stochastic Lyapunov Matrix Equation and Its Inverse Application

open access: yesFrontiers in Applied Mathematics and Statistics, 2019
System theory has its roots in mathematical formalisms developed by mathematicians and physicists, such as Leibniz, Euler, and Newton, and applied by congenial chemists and biologists such as Lotka and Bertalanffy.
Wolfram Weckwerth, Wolfram Weckwerth
doaj   +1 more source

Research on production process control method combined stochastic process algebra and stochastic Petri nets

open access: yes, 2006
A hierarchical closed-loop production control scheme integrating scheduling, control and performance evaluation is discussed. Firstly, the production process is divided into two main hierarchies: the lower level is the physical operation level and the ...
Shi HB(史海波), Liu C(刘昶)
core  

Integrable stochastic processes associated with the D2 algebra

open access: yesNuclear Physics B
We introduce an integrable stochastic process associated with the $D_2$ quantum group, which can be decomposed into two symmetric simple exclusion processes. We establish the integrability of the model under three types of boundary conditions (periodic, twisted, and open boundaries), and present its exact solution, including the spectrum, eigenstates ...
Guang-Liang Li   +4 more
openaire   +2 more sources

A hybrid quantitative framework for performance evaluation of cyber-physical systems with explicit structural information

open access: yesJournal of King Saud University: Computer and Information Sciences
Cyber-Physical Systems (CPS) combine discrete control, continuous physical evolution, stochastic uncertainty, and resource constraints. Existing formal methods typically focus either on verification of global system behaviors or on compositional modeling
Yunan Ma, Zhen Li, Chao Xing
doaj   +1 more source

Some Properties of an Algebraic Representation of Stochastic Processes

open access: yesThe Annals of Mathematical Statistics, 1968
Heller's (1965) concept of a stochastic module is examined with the purpose of seeing what are the algebraic implications of various probabilistic properties of discrete time, finite state processes. $k$th order Markovity, recurrence, stationarity, and ergodicity are given characterizations in terms of the stochastic module.
openaire   +2 more sources

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes [PDF]

open access: yes, 2010
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chains with process terms. The transition relation assigns to each process, for
Nicola Michele Loreti   +8 more
core   +2 more sources

Home - About - Disclaimer - Privacy