自动化仓库客户服务管理问题的时态逻辑描述

Specification of the CustomServicer Management of the Automated Warehouse Based on the Temporal Logic

在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．

As a new research method,temporal logic has been devoted to discrete event dynamic systems (DEDS). In this paper,the problem of the customservicer management in the automated warehouse is studied in the generalized temporal logic framework. Specification,analysis and reasonable control strategies of the system are given.