abstract irregular extraction from agricultural wells around parishan lake, moreover fall of groundwater surface and water salty, would affect the level of lake water and move lake water into wells. in this study we have evaluated the externalities of extraction from agricultural wells around the lake. therefore feedback effect is considered between agricultural activity around the lake and lev...

This paper presents a fully distributed resource discovery and reservation system. Verification of such a system is important to ensure the execution of distributed applications on a set of resources in appropriate conditions. A semi-formal model for his system is presented using probabilistic timed automata. This model is timed, parametric and probabilistic, making it a challenge to the parame...

Distributed mutual exclusion is a fundamental problem of distributed systems that coordinates the access to critical shared resources. It concerns with how the various distributed processes access to the shared resources in a mutually exclusive manner. This paper presents fully distributed improved token based mutual exclusion algorithm for distributed system. In this algorithm, a process which...

For the first time, a distributed output feedback control scheme is presented which combines distributed model predictive control with distributed moving horizon estimation. More specifically, we combine the iterative methods of sensitivity-driven distributed model predictive control (S-DMPC) with sensitivity-driven partition-based moving horizon estimation (S-PMHE). To that end, S-PMHE is exte...

Distributed Shared Memory is a good solution to the scalability, complexity and high cost problems of large scale Shared Memory Multiprocessors, as well as to the difficulty of the programming model problem of the message passing Distributed Memory Multiprocessors. During recent years many software Distributed Shared Memory systems, operating on top of the Message Passing system have appeared. ...

Design of reliable distributed systems is stretching limits in terms of complexity since existing development techniques are usually not fully accurate for this type of applications. The main problem is the gap between the various notations used during the development process. Even if UML is a significant step forward, it is not fully suitable for model based development of distributed systems....

In this paper, the synchronization stability challenges of same-rated frequency interconnected microgrids (IMGs) with fully inverter-based generation units are studied. type weak power grid low X/R ratios and line impedances, no strong source a high-inertia rating exists which other can be synchronized. Two IMGs controlled using pinning consensus-based control architecture considered. The inrus...

We consider strongly monotone games with convex separable coupling constraints, played by dynamical agents, in a partial-decision information scenario. start designing continuous-time fully distributed feedback controllers, based on consensus and primal-dual gradient dynamics, to seek generalized Nash equilibrium networks of single-integrator agents. Our first solution adopts fixed gain, whose ...