Modelling of single-path batch production lines by FSMs

被引:0
|
作者
Knap, S [1 ]
机构
[1] Royal Mil Coll Canada, Dept ECE, Kingston, ON K7K 7B4, Canada
来源
CCCT 2003, VOL 4, PROCEEDINGS: COMPUTER, COMMUNICATION AND CONTROL TECHNOLOGIES: I | 2003年
关键词
discrete-event systems; supervisory control theory; batch processes; modelling; automata; FSM;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper provides a novel approach to modelling of single-path single-product batch production lines (BPL) based on finite-state machines (FSM) in the framework of supervisory control theory for discrete-event systems (DES). The paper demonstrates two modelling techniques. The first one, referred to as the plant+spec approach, is advocated by Ramadge-Wonham (RW). The second technique has, been developed by the author. It consists of modelling the constraints of a system directly in the model of the plant. A controller for the plant is generated in "one shot" by taking the n-way synchronous product of the component automata. This approach allows us to solve significantly larger problems. A framework for this modelling was presented in [1]. However, in [1] the presentation of single-path single-product BPLs was limited to a two-stage BPL only. This paper generalizes the results to any number of stages.
引用
收藏
页码:311 / 316
页数:6
相关论文
empty
未找到相关数据