In this work we deal with a mechanism for process simulation called a NonDeterministic Stochastic Activity Network (NDSAN). An NDSAN consists basically of a set of activities along with precedence relations involving these activities, which determine their order of execution. Activity durations are stochastic, given by continuous, nonnegative random variables. The nondeterministic behavior of a...

In this work we deal with a mechanism for process simulation called a NonDeterministic Stochastic Activity Network (NDSAN). An NDSAN consists basically of a set of activities along with precedence relations involving these activities, which determine their order of execution. Activity durations are stochastic, given by continuous, nonnegative random variables. The nondeterministic behavior of a...

Stochastic network calculus is an evolving theory which accounts for statistical multiplexing and uses an envelope approach for probabilistic delay and backlog analysis of networks. One of the key ideas of stochastic network calculus is the possibility to describe the service offered at a network node as a stochastic service envelope, which in turn can be used to describe the stochastic service...

Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research effort has been made in the past few years to develop stochastic network calculus, a probabilistic version of (min, +) deterministic network calculus. However, many challenges have made the development difficult. Some of them are closely related...

In this paper, we study the problem of synchronization with stochastic interaction among network components. The network components dynamics is nonlinear and modeled in Lure form with linear stochastic interaction among network components. To study this problem we first prove the stochastic version of Positive Real Lemma (PRL). The stochastic PRL result is then used to provide sufficient condit...

This paper addresses control design in networked control system by considering stochastic packet dropouts in the forward path of the control loop. The packet dropouts are modelled by mutually independent stochastic variables satisfying Bernoulli binary distribution. A sliding mode controller is utilized to overcome the adverse influences of stochastic packet dropouts in networked control system...

Stochastic activity networks (SANs) are a powerful and flexible extension of Petri nets. These models can be used for the modeling and analysis of various kinds and different aspects of distributed real-time systems. Similar to other classical extensions of Petri nets, SANs have some limitations for modeling complex and largescale systems. In order to remove these limitations and provide some h...

We study the phenomenon of stochastic resonance on diffusive, small-world and scale-free networks consisting of bistable overdamped oscillators. Important thereby is the fact that the external subthreshold periodic forcing is introduced only to a single oscillator of the network. Hence, the forcing acts as a pacemaker trying to impose its rhythm on the whole network through the unit to which it...

A new container terminal is currently constructed in South Korea in order to handle ever increasing goods transported. The proposed terminal site is partially occupied by a rock mountain that should be removed to provide necessary aggregates and eventually a flat land. A total of 23 million cubic meters of rocks are to be excavated from this mountain, and the port authority wants to get it done...