Abstract
The subject matter of the study are the automated guided vehicle (AGV) operation synchronisation mechanisms in flexible manufacturing systems. Since each AGV can be treated as an autonomous object capable to undertake decisions regarding its routing, entering path sectors, etc., hence a class of transportation systems considered can be seen as a class of multi-agent ones. In many practical cases transport operations are repetitive. The processes examination has to guarantee the collision-free and deadlock free AGVs flow. In this paper the problem of determination of the rules coordinating access of the vehicles to the shared travel route intervals, ensuring the collision-free and deadlock-free execution of the repetitive processes was reduced to determination of the sufficient conditions of the form of a pair (initial state, a set of priority rules). In particular the problem of searching for a pair is defined in the form of the constraint satisfaction problem (CSP) and is solved with use of the logic programming techniques.
This is a preview of subscription content, log in via an institution to check access.
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., Zitek, P. (eds.) Preprints of the 16th IFAC World Congres, Czech Republic, 3-8 July 2005, DVD (2005)
Barták, R.: Incomplete Depth-First Search Techniques: A Short Survey. In: Figwer, J. (ed.) Proceedings of the 6th Workshop on Constraint Programming for Decision and Control, pp. 7–14 (2004)
Bubnicki, Z.: Introduction to Expert Systems. PWN, Warsaw (1990)
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, 25 June 1996, pp. 197–214 (1996)
Liu, J.: Autonomous Agents and Multi-agent Systems. World Scientific, Singapore (2001)
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 Distributed Systems 4(6), 412–420 (1995)
Paprzycki, M.: Agent-like approach to software design methodology. Computer Science Department, Oklahoma State University, Tulsa, OK, USA
Wójcik, R., Bocewicz, G., Banaszak, Z.: Scheduling of AGV systems under access restrictions to shared resources of the ESP (logic-algebraic model). In: Proc. of National Conf. on Robotics, Wroclaw, pp. 149–163 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bocewicz, G., Wójcik, R., Banaszak, Z. (2007). Design of Admissible Schedules for AGV Systems with Constraints: A Logic-Algebraic Approach. In: Nguyen, N.T., Grzech, A., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2007. Lecture Notes in Computer Science(), vol 4496. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72830-6_60
Download citation
DOI: https://doi.org/10.1007/978-3-540-72830-6_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72829-0
Online ISBN: 978-3-540-72830-6
eBook Packages: Computer ScienceComputer Science (R0)