International Journal of Information Science

p-ISSN: 2163-1921     e-ISSN: 2163-193X

2011;  1(1): 24-31

doi: 10.5923/j.ijis.20110101.04

Supervision in Synthesis of Agents Cooperation

Copyright © 2011 Scientific & Academic Publishing. All Rights Reserved.

Abstract

The discrete-event systems (DES) modularity and supervision are utilized at synthesis of the agents cooperation. The agents are understood to be (DES) modules. They are described by place/transition Petri-nets (P/T PN)[5]. A desired strategy of the agents behaviour during the cooperation is expressed by conditions for synthesizing the DES supervisor. Then the strategy is forced on agents. Such a procedure can be utilized step-by-step also at the synthesis of more complex structures of co-operating modules (groups of agents) in order to achieve a prescribed behaviour of the global structure. The approach is illustrated by examples.

Keywords: Agent Cooperation, Petri Nets, Supervision, Supervisor Synthesis

Paper's body in HTML will come soon.

Reference

[1]  E. W. Dijkstra, 1971, “Hierarchical ordering of sequential processes”, Acta Informatica, 1, 115-138
[2]  M. V. Iordache, “Methods for the supervisory control of concurrent systems based on Petri nets abstraction”, PhD dissertation, University of Notre Dame, Notre Dame, Indiana, USA, 2003
[3]  M. V. Iordache and P. J. Antsaklis, 2006, “Supervision based on place invariants: A survey”, Discrete Event Dynamic Systems, 16(4), 451-492
[4]  M. V. Iordache and P. J. Antsaklis, 2006, Supervisory Con-trol of Concurrent Systems: A Petri Net Structural Approach, Birkhauser, Boston
[5]  T. Murata, 1989, “Petri nets: Properties, analysis and appli-cations”, Proceedings of the IEEE, 77(4), 541-580
[6]  F. Capkovic, 2007, “Modelling, analyzing and control of interactions among agents in MAS”, Computing and Infor-matics, 26(5), 507-541
[7]  F. Capkovic, DES control synthesis and cooperation of agents, In N. T. Nguyen, R. Kowalczyk, and Shyi-Ming Chen, editors, Computational Collective Intelligence, ser. Lecture Notes in Artificial Intelligence (LNAI), Ber-lin-Heidelberg, Germany: Springer, 2009, vol. 5796, pp. 596-607
[8]  F. Capkovic, 2010, “Automatic control synthesis for agents and their cooperation in MAS”, Computing and Informatics, 29(6+), pp. 1045-1071
[9]  F. Capkovic, Cooperation of hybrid agents in models of manufacturing systems, In J. O'Shea, N. T. Nguyen, K. Crockett, R. J. Howlett and C. J. Lakhmi, editors, Agent and Multi-Agent Systems: Technologies and Applications, ser. Lecture Notes in Artificial Intelligence (LNAI), Ber-lin-Heidelberg, Germany: Springer, 2011, vol. 6682, pp. 221-230
[10]  F. Capkovic, Modelling of Agents Cooperation and Negotia-tion. In P. Jedrzejowicz, N.T. Nguyen and Kiem Hoang, edi-tors, Computational Collective Intelligence - Technologies and Applications, ser. Lecture Notes in Artificial Intelligence (LNAI), Berlin-Heidelberg, Germany: Springer, 2011, vol. 6923, pp. 110-119