Synthesis and Control of Asynchronous and Distributed Systems

2007 ◽  
Author(s):  
Philippe Darondeau ◽  
Philippe Darondeau ◽  
Philippe Darondeau ◽  
Philippe Darondeau
Keyword(s):  
Distributed Systems ◽  
And Control

Modelling global computations with Klaim

2008 ◽  
Vol 366 (1881) ◽  
pp. 3737-3745 ◽  
Author(s):  
Rocco De Nicola ◽  
Michele Loreti
Keyword(s):  
Distributed Systems ◽  
Formal Semantics ◽  
Wide Area ◽  
Wide Area Networks ◽  
Qualitative And Quantitative ◽  
Global Computing ◽  
New Models ◽  
And Control ◽  
Tuple Spaces ◽  
Coordination And Control

A new area of research, known as Global Computing, is by now well established. It aims at defining new models of computation based on code and data mobility over wide-area networks with highly dynamic topologies, and at providing infrastructures to support coordination and control of components originating from different, possibly untrusted, fault-prone, malicious or selfish sources. In this paper, we present our contribution to the field of Global Computing that is centred on Kernel Language for Agents Interaction and Mobility ( Klaim ). Klaim is an experimental language specifically designed to programme distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. We present some of the key notions of the language and discuss how its formal semantics can be exploited to reason about qualitative and quantitative aspects of the specified systems.

scholarly journals ДОСЯГНЕННЯ ЕФЕКТИВНОГО РОЗПОДІЛЕНОГО ПЛАНУВАННЯ ЗА ДОПОМОГОЮ ЧЕРГ ПОВІДОМЛЕНЬ У ХМАРІ ДЛЯ БАГАТОЗАДАЧНИХ ОБЧИСЛЕНЬ ТА ВИСОКОПРОДУКТИВНИХ ОБЧИСЛЕНЬ

2020 ◽  
Author(s):  
Старовойтенко Олексій Володимирович
Keyword(s):  
Distributed Systems ◽  
System Performance ◽  
State Of The Art ◽  
Computation Time ◽  
Cloud Services ◽  
Distributed Scheduling ◽  
Message Processing ◽  
Computational Problem ◽  
Control Units ◽  
And Control

Due to the growth of data and the number of computational tasks, it is necessary to ensure the required level of system performance. Performance can be achieved by scaling the system horizontally / vertically, but even increasing the amount of computing resources does not solve all the problems. For example, a complex computational problem should be decomposed into smaller subtasks, the computation time of which is much shorter. However, the number of such tasks may be constantly increasing, due to which the processing on the services is delayed or even certain messages will not be processed. In many cases, message processing should be coordinated, for example, message A should be processed only after messages B and C. Given the problems of processing a large number of subtasks, we aim in this work - to design a mechanism for effective distributed scheduling through message queues. As services we will choose cloud services Amazon Webservices such as Amazon EC2, SQS and DynamoDB. Our FlexQueue solution can compete with state-of-the-art systems such as Sparrow and MATRIX. Distributed systems are quite complex and require complex algorithms and control units, so the solution of this problem requires detailed research.

Feedback Control of Linear Distributed Systems

1967 ◽  
Vol 89 (2) ◽  
pp. 379-383 ◽  
Author(s):  
Donald M. Wiberg
Keyword(s):  
Boundary Condition ◽  
Distributed Systems ◽  
Feedback Control ◽  
Closed Loop ◽  
The State ◽  
Loop System ◽  
Closed Loop System ◽  
Loop Equation ◽  
Control Feedback ◽  
And Control

The optimum feedback control of controllable linear distributed stationary systems is discussed. A linear closed-loop system is assured by restricting the criterion to be the integral of quadratics in the state and control. Feedback is obtained by expansion of the linear closed-loop equation in terms of uncoupled modes. By incorporating symbolic functions into the formulation, one can treat boundary condition control and point observable systems that are null-delta controllable.

Sign in / Sign up

Export Citation Format

Share Document