Abstract
The subject matter of the study are the automated guided vehicle (AGV) operation synchronization mechanisms in flexible manufacturing systems, where transport processes can be modeled as a system of cyclic concurrent processes sharing common resources, i.e., some preset travelling route intervals. In this paper the problem of determination of the local rules coordinating access of the vehicles to the shared travel route intervals, ensuring the deadlock-free execution of the repetitive processes was reduced to determination of the sufficient conditions. In that context the problem considered can be seen as a problem of multi-agent coordination, and defined as the constraint satisfaction problem (CSP) subject to precise and imprecise operation times, and then solved with use of the logic programming techniques.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Banaszak, Z., Zaremba, M., Muszyński, W.: CP-based decision making for SME. In: Horacek, P., Simandl, M. (eds.) 16th IFAC World Congress, P. Zitek, DVD, Prague, Czech Republic (Preprint, 2005)
Barták, R.: Incomplete Depth-First Search Techniques. In: Figwer, J. (ed.) A Short Survey, Proceedings of the 6th Workshop on Constraint Programming for Decision and Control, pp. 7–14 (2004)
Bocewicz, G., Wójcik, R., Banaszak, Z.: Scheduling of AGV systems under access restrictions to shared resources of the ESP (logic-algebraic model). In: Tchoń, K., Wroclaw, W.K.Ł. (eds.) Proc. of National Conf. on Robotics, pp. 149–163 (2006) (in Polish)
Bubnicki, Z.: Introduction to Expert Systems. PWN, Warsaw (1990)
Bubnicki, Z.: Learning processes and logic-algebraic method for the systems with knowledge representation. Systems analysis and management. Systems Research Inst. PAS (1999)
Dubois, D., Fargier, H., Fortemps, P.: Fuzzy scheduling: Modeling flexible constraints vs. coping with incomplete knowledge. European Journal of Operational Research 147, 231–252 (2003)
Lawley, M.A., Reveliotis, S.A., Ferreira, P.M.: A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation 14(5), 796–809 (1998)
Lee, T., Song, J.: Petri net modeling and scheduling of periodic job shops with blocking. In: Proc. of the Workshop on Manufacturing and Petri nets, Osaka, Japan, June 25, 1996, pp. 197–214 (1996)
Piegat, A.: Fuzzy modeling and control, Exit, Warsaw (1999)
Polak, M., Majdzik, P., Banaszak, Z.A., Wójcik, R.: The performance evaluation tool for automated prototyping of concurrent cyclic processes. Fundamenta Inf. 60(1-4), 269–289 (2004)
Ramamritham, K.: Allocation and scheduling of precedence related periodic tasks. IEEE Trans. on Parallel and Distr. Systs. 4(6), 412–420 (1995)
Xue, X., Lu, J., Wang, Y., Shen, Q.: Towards an Agent-Based Negotiation Platform for Cooperative Decision-Making in Construction Supply Chain. In: Nguyen, N.T., Grzech, A., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2007. LNCS (LNAI), vol. 4496, Springer, Heidelberg (2007)
Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bocewicz, G., Wójcik, R., Banaszak, Z. (2008). Agvs Distributed Control Subject to Imprecise Operation Times. In: Nguyen, N.T., Jo, G.S., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2008. Lecture Notes in Computer Science(), vol 4953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78582-8_43
Download citation
DOI: https://doi.org/10.1007/978-3-540-78582-8_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78581-1
Online ISBN: 978-3-540-78582-8
eBook Packages: Computer ScienceComputer Science (R0)