11,797 research outputs found
Differential Inequalities in Multi-Agent Coordination and Opinion Dynamics Modeling
Distributed algorithms of multi-agent coordination have attracted substantial
attention from the research community; the simplest and most thoroughly studied
of them are consensus protocols in the form of differential or difference
equations over general time-varying weighted graphs. These graphs are usually
characterized algebraically by their associated Laplacian matrices. Network
algorithms with similar algebraic graph theoretic structures, called being of
Laplacian-type in this paper, also arise in other related multi-agent control
problems, such as aggregation and containment control, target surrounding,
distributed optimization and modeling of opinion evolution in social groups. In
spite of their similarities, each of such algorithms has often been studied
using separate mathematical techniques. In this paper, a novel approach is
offered, allowing a unified and elegant way to examine many Laplacian-type
algorithms for multi-agent coordination. This approach is based on the analysis
of some differential or difference inequalities that have to be satisfied by
the some "outputs" of the agents (e.g. the distances to the desired set in
aggregation problems). Although such inequalities may have many unbounded
solutions, under natural graphic connectivity conditions all their bounded
solutions converge (and even reach consensus), entailing the convergence of the
corresponding distributed algorithms. In the theory of differential equations
the absence of bounded non-convergent solutions is referred to as the
equation's dichotomy. In this paper, we establish the dichotomy criteria of
Laplacian-type differential and difference inequalities and show that these
criteria enable one to extend a number of recent results, concerned with
Laplacian-type algorithms for multi-agent coordination and modeling opinion
formation in social groups.Comment: accepted to Automatic
Applications of Temporal Graph Metrics to Real-World Networks
Real world networks exhibit rich temporal information: friends are added and
removed over time in online social networks; the seasons dictate the
predator-prey relationship in food webs; and the propagation of a virus depends
on the network of human contacts throughout the day. Recent studies have
demonstrated that static network analysis is perhaps unsuitable in the study of
real world network since static paths ignore time order, which, in turn,
results in static shortest paths overestimating available links and
underestimating their true corresponding lengths. Temporal extensions to
centrality and efficiency metrics based on temporal shortest paths have also
been proposed. Firstly, we analyse the roles of key individuals of a corporate
network ranked according to temporal centrality within the context of a
bankruptcy scandal; secondly, we present how such temporal metrics can be used
to study the robustness of temporal networks in presence of random errors and
intelligent attacks; thirdly, we study containment schemes for mobile phone
malware which can spread via short range radio, similar to biological viruses;
finally, we study how the temporal network structure of human interactions can
be exploited to effectively immunise human populations. Through these
applications we demonstrate that temporal metrics provide a more accurate and
effective analysis of real-world networks compared to their static
counterparts.Comment: 25 page
Software Engineering Challenges for Investigating Cyber-Physical Incidents
Cyber-Physical Systems (CPS) are characterized by the interplay between digital and physical spaces. This characteristic has extended the attack surface that could be exploited by an offender to cause harm. An increasing number of cyber-physical incidents may occur depending on the configuration of the physical and digital spaces and their interplay. Traditional investigation processes are not adequate to investigate these incidents, as they may overlook the extended attack surface resulting from such interplay, leading to relevant evidence being missed and testing flawed hypotheses explaining the incidents. The software engineering research community can contribute to addressing this problem, by deploying existing formalisms to model digital and physical spaces, and using analysis techniques to reason about their interplay and evolution. In this paper, supported by a motivating example, we describe some emerging software engineering challenges to support investigations of cyber-physical incidents. We review and critique existing research proposed to address these challenges, and sketch an initial solution based on a meta-model to represent cyber-physical incidents and a representation of the topology of digital and physical spaces that supports reasoning about their interplay
- …