This paper studies a generalized distributed optimization problem for second-order multi-agent systems (MASs) over directed networks. Firstly, an improved continuous-time algorithm is proposed. By using the linear transformation method and Lyapunov stability theory, some conditions are obtained to guarantee all agents’ states asymptotically reach optimal solution. Secondly, reduce unnecessary c...

We present D-HOTM, a framework for Distributed Higher Order Text Mining based on named entities extracted from textual data that are stored in distributed relational databases. Unlike existing algorithms, D-HOTM requires neither full knowledge of the global schema nor that the distribution of data be horizontal or vertical. D-HOTM discovers rules based on higher-order associations between distr...

We describe a distributed partial order reduction algorithm for security protocols. Some experimental results using an implementation of the algorithm in the distributed μCRL toolset are also reported.

In this paper we present and analyse a numerical method for the solution of a distributed order differential equation of the general form

The partial differential equation of Gaussian diffusion is generalized by using the time-fractional derivative of distributed order between 0 and 1, in both the Riemann-Liouville (R-L) and the Caputo (C) sense. For a general distribution of time orders we provide the fundamental solution, that is still a probability density, in terms of an integral of Laplace type. The kernel depends on the typ...

There has been a recent increase in interest in the use of distributed order differential equations (particularly in the case where the derivatives are given in the Caputo sense) to model various phenomena. Recent papers have provided insights into the numerical approximation of the solution, and some results on existence and uniqueness have been proved. In each case, the representation of the ...

Inspired by the Design by Contract paradigm, we intro-duce CONSUL, a contract system for distributed compo-nents. CONSUL monitors distributed components at run timewith higher-order behavioral contracts. Contract monitoringis local to a component, and the component is treated asa black box. Thus it does not disturb the highly decouplednature of distributed components and...