%0 Journal Article
%T Specification and Analysis of the Running Process of the Carousel System Based on Temporal Logic<br>旋转货架系统运行过程的时态逻辑描述与分析
%A Tian Guohui
%A Liu Changyou
%A Xu Xinhe
%A <br>田国会
%A 刘长有
%A 徐心和
%J 自动化学报
%D 1998
%I 
%X 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.
%K Discrete event dynamic systems
%K temporal logic
%K automated warehouse
%K carousel system<br>离散事件系统
%K 旋转货架系统
%K 自动化仓库
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=67A8718A23B37DD1&yid=8CAA3A429E3EA654&vid=B91E8C6D6FE990DB&iid=38B194292C032A66&sid=F4BDB5452F9F5642&eid=09D368C679EC819B&journal_id=0254-4156&journal_name=自动化学报&referenced_num=3&reference_num=1