Agvs Distributed Control Subject to Imprecise Operation Times

  • Grzegorz Bocewicz
  • Robert Wójcik
  • Zbigniew Banaszak
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4953)


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.


knowledge engineering constraints logic programming deadlock avoidance fuzzy set scheduling 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Bubnicki, Z.: Introduction to Expert Systems. PWN, Warsaw (1990)Google Scholar
  5. 5.
    Bubnicki, Z.: Learning processes and logic-algebraic method for the systems with knowledge representation. Systems analysis and management. Systems Research Inst. PAS (1999)Google Scholar
  6. 6.
    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)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Piegat, A.: Fuzzy modeling and control, Exit, Warsaw (1999)Google Scholar
  10. 10.
    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)zbMATHGoogle Scholar
  11. 11.
    Ramamritham, K.: Allocation and scheduling of precedence related periodic tasks. IEEE Trans. on Parallel and Distr. Systs. 4(6), 412–420 (1995)CrossRefGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Grzegorz Bocewicz
    • 1
  • Robert Wójcik
    • 2
  • Zbigniew Banaszak
    • 1
  1. 1.Dept. of Computer Science and ManagementKoszalin University of TechnologyKoszalinPoland
  2. 2.Institute of Computer Engineering, Control and RoboticsWrocław University of TechnologyWrocławPoland

Personalised recommendations