Automating the product derivation process of multi-agent systems product lines

Agent-oriented software engineering and software product lines are two promising software engineering techniques. Recent research work has been exploring their integration, namely multi-agent systems product lines (MAS-PLs), to promote reuse and variability management in the context of complex software systems. However, current product derivation approaches do not provide specific mechanisms to deal with MAS-PLs. This is essential because they typically encompass several concerns (e.g., trust, coordination, transaction, state persistence) that are constructed on the basis of heterogeneous technologies (e.g., object-oriented frameworks and platforms). In this paper, we propose the use of multi-level models to support the configuration knowledge specification and automatic product derivation of MAS-PLs. Our approach provides an agent-specific architecture model that uses abstractions and instantiation rules that are relevant to this application domain. In order to evaluate the feasibility and effectiveness of the proposed approach, we have implemented it as an extension of an existing product derivation tool, called GenArch. The approach has also been evaluated through the automatic instantiation of two MAS-PLs, demonstrating its potential and benefits to product derivation and configuration knowledge specification.

Precoder design for multi-antenna systems with temporally and spatially correlated fading channels

This paper addresses the problem of the design of a precoder for multiple transmit antenna communication systems with spatially and temporally correlated fading channels. Using the theories of matrix differential calculus, the paper derives a precoder for unitary space-time codes that can exploit the spatio-temporal correlation in the time-varying fading channels. The design criterion is based on minimizing the mean square error of the channel estimates. Computer simulation results show that a significant performance gain can be achieved by using the designed precoder.

Differential encoding technique for multi-antenna systems with correlated Rayleigh fading channels

Differential space-time modulation (DSTM) techniques developed for multi-antenna systems allow the receiver to detect the transmitted signal without the knowledge of the fading channels. It can be viewed as an extension of differential phase-shift keying (DPSK) in single antenna systems. In this paper, we derived the pairwise error probability upper bound of differential space-time coded systems with spatially correlated Rayleigh fading channels. Based on the performance analysis, we develop a novel DSTM scheme which can exploit the spatial correlation in the fading channels. It is found that by carefully designing the initial transmitted signal matrix, the performance of the differential space-time coded systems can be significantly improved.

Observer-based control of multi-agent systems under decentralized information structure

This paper addresses the problem of decentralized implementation of a global state feedback controller for multi-agent systems. The system is assumed to be under the constraint of a complete decentralized information structure. The decentralization of the control task is achieved through the construction of low-order decentralized functional observers with the purpose of generating the required corresponding control signal for each local control station. A design procedure is developed for obtaining an approximate solution to the design of the observers. Stability analysis is provided for the global system using the proposed observer-based approach. A numerical example is given to illustrate the design procedure and cases when the observers' order increases from the lowest value.

Analytical modeling of interconnection networks in heterogeneous multi-cluster systems

In data-intensive distributed systems, replication is the most widely used approach to offer high data availability, low bandwidth consumption, increased fault-tolerance and improved scalability of the overall system. Replication-based systems implement replica control protocols that enforce a specified semantics of accessing the data. Also, the performance depends on a number of factors, the chief of which is the protocol used to maintain consistency among object replica. In this paper, we propose a new low-cost and high data availability protocol called the box-shaped grid structure for maintaining consistency of replicated data on networked distributed computing systems. We show that the proposed protocol provides high data availability, low communication costs, and increased fault-tolerance as compared to the baseline replica control protocols.

Smart cluster bombs - control of multi-agent systems for military applications

This paper introduces an aggregation algorithm for airborne swarming guided weapon systems, which can aggregate munitions into a given shape while reaching the surface. The algorithm uses an artificial force based controller to navigate the members of the swarm into the desired geographical position and evenly distribute them inside the shape. Inter-member repulsion forces are used to avoid collisions among members, which is crucial for a weapon deployment system. Moreover, a lower bound for the release height was obtained which guarantee convergence of the complete weapon system into the target area. The proposed swarming guided weapon system was tested using computer simulations.

Performance analysis of interconnection networks for multi-cluster systems

With the current popularity of cluster computing systems, it is increasingly important to understand the capabilities and potential performance of various interconnection networks. In this paper, we propose an analytical model for studying the capabilities and potential performance of interconnection networks for multi-cluster systems. The model takes into account stochastic quantities as well as network heterogeneity in bandwidth and latency in each cluster. Also, blocking and non-blocking network architecture model is proposed and are used in performance analysis of the system. The model is validated by constructing a set of simulators to simulate different types of clusters, and by comparing the modeled results with the simulated ones.