The accurate performance analysis of large-scale computer and communication systems is di-rectly inhibited by an exponential growth in the state-space of the underlying Markovian per-formance model. This is particularly true when considering massively-parallel architecturessuch as cloud or grid computing infrastructures. Nevertheless, an ability to extract quanti-tative performa...

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...

The optimal buffer allocation in queueing network systems is a difficult stochastic, non-linear, integer mathematical programming problem. Moreover, the objective function, the constraints or both are usually not available in closed-form, making the problem even harder. A good approximation for the performance measures is thus essential for a successful buffer allocation algorithm. A recently p...

We provide a formal model for expressing and analysing time-related properties of service-oriented systems. Our approach extends SRML, a high-level modelling language that we have been developing in the SENSORIA project. We introduce new primitives for SRML that capture several kinds of delays that can occur during service provision (e.g., the time taken by components to process events and perf...

The Event service is the earliest CORBA solution to the message queue model of communication in distributed systems. Typical implementations however suffer from the lack of event delivery guarantees. The loss of messages is aggravated in the presence of burstiness in the input to the Event service, and occurrences of isolated bursts of traffic could also have serious effects. In this paper we d...

Smart Grids are result of utilizing novel technologies such as distributed energy resources, and communication technologies in power system to compensate some of its defects. Various power resources provide some benefits for operation domain however, power system operator should use a powerful methodology to manage them. Renewable resources and load add uncertainty to the problem. So, independe...