Modelling of single-path batch production lines by FSMs
被引:0
|
作者:
Knap, S
论文数: 0引用数: 0
h-index: 0
机构:
Royal Mil Coll Canada, Dept ECE, Kingston, ON K7K 7B4, CanadaRoyal Mil Coll Canada, Dept ECE, Kingston, ON K7K 7B4, Canada
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.