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.
Chapter PDF
Similar content being viewed by others
References
Bordbar, B., Giacomini, L., Holding, D.J.: UML and Petri Nets for Design and Analysis of Distributed Systems. In: IEEE International Conference on Control Applications (CCA 2000) and IEEE International Symposium on Computer-Aided Control System Design (CACSD 2000), pp. 610–615. IEEE Press, Piscataway (2000)
Buy, U., Darabi, H.: Sidestepping Verification Complexity with Supervisory Control. In: Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation, 8 pages (2003), http://www.cs.uic.edu/~shatz/SEES/Schedule.htm
Čapkovič, F.: An Application of the DEDS Control Synthesis Method. Journal of Universal Computer Science 11, 303–326 (2005)
Čapkovič, F.: DES Modelling and Control vs. Problem Solving Methods. Int. J. Intelligent Information and Database Systems 1, 53–78 (2007)
Čapkovič, F.: Modelling, Analysing and Control of Interactions among Agents in MAS. Computing and Informatics 26, 507–541 (2007)
Martinez, J., Silva, M.: A simple and fast algorithm to obtain all invariants of generalized Petri net. In: Application and Theory of Petri Nets, vol. 52, pp. 301–311. Springer, New York (1982)
Moody, J.O., Antsaklis, P.J.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, Boston (1998)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings IEEE 77, 541–580 (1989)
Ramadge, P.J., Wonham, W.M.: Supervisory Control of a Class of Discrete Event Processes. SIAM Journal on Control and Optimization 25, 206–230 (1987)
Reisig, W.: Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets. Springer, Berlin (1998)
Yamalidou, K., Moody, J.O., Antsaklis, P.J., Lemmon, M.D.: Feedback Control of Petri Nets Based on Place Invariants. Automatica 32, 15–28 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Čapkovič, F. (2008). Synthesis of the Supervising Agent in MAS. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds) Computational Science – ICCS 2008. ICCS 2008. Lecture Notes in Computer Science, vol 5103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69389-5_62
Download citation
DOI: https://doi.org/10.1007/978-3-540-69389-5_62
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69388-8
Online ISBN: 978-3-540-69389-5
eBook Packages: Computer ScienceComputer Science (R0)