Specification and Analysis of the Running Process of the Carousel System Based on Temporal Logic
旋转货架系统运行过程的时态逻辑描述与分析

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.