Design of admissible schedules for AGV systems with constraints: A logic-algebraic approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4496 LNAI, Issue , 2007, Pages 578-587

  Bocewicz, Grzegorz ^a   Wójcik, Robert ^b   Banaszak, Zbigniew ^a  

^a KOSZALIN UNIVERSITY OF TECHNOLOGY   (Poland)

^b WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

Constraints logic programming; Deadlock avoidance; Scheduling

Indexed keywords

COMPUTER SYSTEM RECOVERY; CONSTRAINT THEORY; DECISION MAKING; LOGIC PROGRAMMING; SYNCHRONIZATION;

CONSTRAINTS LOGIC PROGRAMMING; DEADLOCK AVOIDANCE;

SCHEDULING;

EID: 39649091653     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72830-6_60     Document Type: Conference Paper

References (10)

1. th IFAC World Congres, 3-8 July, 2005, Prague, Czech Republic, Eds P. Horacek, M. Simandl, P. Zitek 2005; DVD.
2. th Workshop on Constraint Programming for Decision and Control, Ed. Figwer J., 2004; 7-14.
3. Bubnicki Z. Introduction to Expert Systems. PWN, Warsaw, 1990.
4. 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 1998; Vol.14, No.5: 796-809.
5. Lee T., Song J. Petri net modeling and scheduling of periodic job shops with blocking. Proc. of the Workshop on Manufacturing and Petri nets, Osaka, Japan, 25 June, 1996: 197-214.
6. Liu J., Autonomous Agents and Multi-agent Systems, World Scientific, 2001.
7. Polak M., Majdzik P., Banaszak Z.A., Wójcik R. The performance evaluation tool for automated prototyping of concurrent cyclic processes. Fundamenta Inf. 2004, Vol.60, No. 1-4: 269-289.
8. Ramamritham K. Allocation and scheduling of precedence-related periodic tasks. IEEE Trans. on Parallel and Distributed Systems 1995, Vol.4, No. 6:412-420.
9. Paprzycki M., Agent-like approach to software design methodology, Computer Science Department, Oklahoma State University, Tulsa, OK 74106 USA.
10. Wójcik R., Bocewicz G., Banaszak Z. Scheduling of AGV systems under access restrictions to shared resources of the ESP (logic-algebraic model). Proc. of National Conf. on Robotics, 2006, Wroclaw: 149-163.