Results 51 to 60 of about 11,828,886 (169)
Analysis of a Multimedia Stream using Stochastic Process Algebra [PDF]
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]
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
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
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
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
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
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
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]
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
On algebraic representation of stochastic processes
Bibliography: p. 49.
openaire +2 more sources

