<abstract xmlns="http://www.w3.org/1999/xhtml"><p> Complex systems consist of many cooperating devices. To have a transparent view on the system structure, as well as on the structural interconnections and cooperation of the subsystems, it is useful to synthesize the complex systems systematically in a prescribed order, even in analytical terms (if possible). The supervision of the subsystems seems to be a very suitable approach to accomplish these demands, and consequently it makes the complex systems diagnostics easier. The substantial agents (i.e., the agents of material nature − e.g., devices like particular production lines, robots, numerically controlled machines, etc.) can be coordinated and forced to cooperation by means of efficiently synthesized supervisors. The cooperation process has the character of DES (Discrete-Event Systems), because any system (including continuous systems), has minimally two discrete states - idle and working. DES control theory can be successfully utilized in supervisor synthesis. There are several approaches to modeling the agents and the process of supervisor synthesis. The Petri net-based approach is one of them. Place/Transition Petri Nets (P/T PN) are used here for modeling the behaviour of particular agents, as well as in the computational parocess used for the supervisor synthesis. Two main methods of the P/T PN-based supervision will be used, namely (i) the supervision based on the place invariants (P-invariants) of P/T PN, utilizing only the state vector during the supervisor synthesis, and (ii) the extended supervision utilizing not only the state vector, but also the control vector and Parikh’s vector. The efficiency of the proposed approach is illustrated in a case study.</p></abstract>

Complex systems consist of many cooperating devices. To have a transparent view on the system structure, as well as on the structural interconnections and cooperation of the subsystems, it is useful to synthesize the complex systems systematically in a prescribed order, even in analytical terms (if possible). The supervision of the subsystems seems to be a very suitable approach to accomplish these demands, and consequently it makes the complex systems diagnostics easier. The substantial agents (i.e., the agents of material nature − e.g., devices like particular production lines, robots, numerically controlled machines, etc.) can be coordinated and forced to cooperation by means of efficiently synthesized supervisors. The cooperation process has the character of DES (Discrete-Event Systems), because any system (including continuous systems), has minimally two discrete states - idle and working. DES control theory can be successfully utilized in supervisor synthesis. There are several approaches to modeling the agents and the process of supervisor synthesis. The Petri net-based approach is one of them. Place/Transition Petri Nets (P/T PN) are used here for modeling the behaviour of particular agents, as well as in the computational parocess used for the supervisor synthesis. Two main methods of the P/T PN-based supervision will be used, namely (i) the supervision based on the place invariants (P-invariants) of P/T PN, utilizing only the state vector during the supervisor synthesis, and (ii) the extended supervision utilizing not only the state vector, but also the control vector and Parikh’s vector. The efficiency of the proposed approach is illustrated in a case study.

Cooperation of agents in complex systems based on supervision

Institute of Informatics, Slovak Academy of Sciences Dúbravská cesta 9, 845 07 Bratislava, Slovakia

Cybernetics and Information Technologies

This article is distributed under the terms of the Creative Commons Attribution Non-Commercial License, which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.

{"article-title":"Cooperation of agents in complex systems based on supervision"}

Complex systems consist of many cooperating devices. To have a transparent view on the system structure, as well as on the structural interconnections and...

Cooperation of agents in complex systems based on supervision

Published Online: Apr 09, 2014

Page range: 40 - 51

DOI: https://doi.org/10.2478/cait-2014-0004

Keywords
Agent, complex systems, cooperation, supervision, supervisor synthesis

© by František Čapkovič

This article is distributed under the terms of the Creative Commons Attribution Non-Commercial License, which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.

Cooperation of agents in complex systems based on supervision

Published Online: Apr 09, 2014

Page range: 40 - 51

DOI: https://doi.org/10.2478/cait-2014-0004

KeywordsAgent, complex systems, cooperation, supervision, supervisor synthesis

© by František Čapkovič

This article is distributed under the terms of the Creative Commons Attribution Non-Commercial License, which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.

Keywords
Agent, complex systems, cooperation, supervision, supervisor synthesis