Abstract. We offer new development of technology for distributed aggregate programming. According to this technology an active group of solver agents is formed for the nonprocedural problem formulation using logical inference on a distributed subject domain computational model. The computational model is complemented by the conditional control structures for the applied module launch. The group of agents performs decentralized control based on direct interactions for the problem solving. Event-driven control is the method of coordination of agents both in the formation of the group and in the implementation of joint actions. Agent knowledge is stored in a local knowledge base distributed the way that each agent has bounded knowledge about the capabilities of other agents, and the topology of the computational field as a whole. A discrete-event finite automata model is developed to describe the agent functioning dynamics. This model supports processing the homogeneous task flow and the situation of computing node failure. The proposed approach is implemented using the HPCSOMAS 3.1 (High-Performance Computing Service-Oriented Multi-Agent System) framework developed by the authors. This framework provides the means for creating the distributed solver agents implemented as microservices and an interface for nonprocedural problem formulation. The offered technology is demonstrated by the example of the stabilizing feedback parametric synthesis for different classes of controlled dynamical systems. The represented in the computational model means for the conditional launch of modules and the offered model of agents functioning provide the possibility of multivariate calculations that allows more efficient loading of the resources of the computing field.

The cost of a single article is 350 rubles. (including VAT 18%). After you place an order within a few days, you will receive following documents to your specified e-mail: account on payment and receipt to pay in the bank.

After depositing your payment on our bank account we send you file of the article by e-mail.