Synthesis of the Supervising Agent in MAS

Authors:
František Čapkovič
Affiliations:
Institute of Informatics, Slovak Academy of Sciences, Bratislava, Slovak Republic 845 07
Venue:
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Year:
2008

Citing 6
Cited 0

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
Feedback control of Petri nets based on place invariants

Automatica (Journal of IFAC)
Elements of distributed algorithms: modeling and analysis with Petri nets

Elements of distributed algorithms: modeling and analysis with Petri nets
Supervisory Control of Discrete Event Systems Using Petri Nets

Supervisory Control of Discrete Event Systems Using Petri Nets
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net

Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
DES modelling and control vs. problem solving methods

International Journal of Intelligent Information and Database Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The systematic approach to the synthesis of the agent-supervisor supervising a group of agents is presented. It is based on results of the DES (discrete event systems) control theory. The agents as well as the agent-supervisor are understood to be DES and they are modelled by Petri nets (PN). The method based on PN place invariants is used in order to synthetise the supervisor. The illustrative example is introduced to explain the elementary steps of the proposed technique. A counter-example illustrating the limits of the approach is introduced too.