TAILIEUCHUNG - Robotics Automation and Control 2011 Part 3

Tham khảo tài liệu 'robotics automation and control 2011 part 3', kỹ thuật - công nghệ, cơ khí - chế tạo máy phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Discrete-Event Dynamic Systems Modelling Distributed Multi-Agent Control of Intermodal Container Terminals 51 Remarks about negotiation As Fig. 3 shows the CA may receive confirmation from a QA TA or YA after several successive loops CoMCHQ-WAIQCO COMCHT-WAITCO or CoMCHY-WAIYCO. Time-outs can bring the CA back to REQQAV from WAIQAV if no availability signal comes from QAs or from WAIQCO if all selected QAs rejected the selection. The CA can also go back to REQTAV from WAITAV if no availability signal comes from TAs or from WAITCO after rejection from all selected TAs. Finally the CA comes back to REQYAV from WAIYAV if no availability signal comes from YAs or from WAIYCO after rejection from all selected YAs. Other time-outs rule the loops between WAIQOF and REQQSE between WAITOF and REQTSE and between WAIYOF and REQYSE. One could merge the requests for availability and for information to get a more compact representation. But this would imply a lower effectiveness in reducing CA waiting times and in preventing deadlocks. Namely the detailed model separates and reduces the effects of delays and losses of messages due to communication faults or to the unavailability of cranes and trailers when particular conditions occur faults overloading conditions etc. . Moreover the number of status-loops and the consequent delays in decision are reduced if the described detailed model is adopted. Specification of the DEVS model of a container agent On the basis of the negotiation mechanism described in section and by Fig. 3 the components of the DEVS model of a CA are identified. Table 1 reports and explains all the admissible status-values. The sequential state s C-status C-inf of a container agent is defined as function of the current status-value with C-status belonging to the set of all admissible values C-status e QUIESC REQQAV WAIQAV REQQSE WAIQOF TAKQDE COMCHQ WAIQCO Dwnldg reQtav WAITAV ReQtSE WAITOF TAKTDE comcht WAITCO TRANSP REQYAV WAIYAV REQYSE WAIYOF .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.