旋转货架系统运行过程的时态逻辑描述与分析

• 作者: 刘长有 徐心和 田国会
• 来源期刊: 自动化学报
• 学科: 工学
• 关键词: 离散事件系统 时态逻辑 自动化仓库 旋转货架系统
• 年，卷（期）: 1998,（3）
• 所属期刊栏目: 短文
• 页码范围: 373-376
• 页数: 4页
• 分类号: TP2
• 语种: 中文

摘要

自动化仓库中旋转货架系统的运行过程具有复杂的离散事件特征,基于时态逻辑对此过程进行描述与分析,并给出可行的调度控制策略.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐心和	东北大学自动控制系	295	7536	42.0	73.0
2	田国会	山东工业大学自动化工程系	4	60	4.0	4.0
3	刘长有	山东工业大学自动化工程系	1	4	1.0	1.0