旋转货架系统运行过程的时态逻辑描述与分析
Specification and Analysis of the Running Process of the Carousel System Based on Temporal Logic
-
摘要: 自动化仓库中旋转货架系统的运行过程具有复杂的离散事件特征,基于时态逻辑对此过 程进行描述与分析,并给出可行的调度控制策略.Abstract: The running process of a carousel system in an automated warehouse possesses typical characteristics of discrete events. The process is specified and analyzed using temporal logic and feasible scheduling control strategies are given.
-
Key words:
- Discrete event dynamic systems /
- temporal logic /
- automated warehouse /
- carousel system
计量
- 文章访问数: 2089
- HTML全文浏览量: 68
- PDF下载量: 1088
- 被引次数: 0