Title :
Discrete event systems modeling and control of a manufacturing testbed
Author :
Leduc, R.J. ; Wonham, W.M.
Author_Institution :
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
Abstract :
In this paper, we describe the manufacturing testbed we have built to investigate the implementation of RW supervisors on programmable logic controllers (PLC). We discuss the modeling of the testbed and the design of its controllers. Finally, we present several theorems for verifying controllability and nonblocking on large systems
Keywords :
controllability; discrete event systems; industrial control; programmable controllers; test equipment; PLC; controllability; discrete-event systems; manufacturing testbed control; manufacturing testbed modeling; nonblocking systems; programmable logic controllers; Communication system control; Control system synthesis; Control systems; Cranes; Discrete event systems; Logic testing; Programmable control; Switches; System testing; Virtual manufacturing;
Conference_Titel :
Electrical and Computer Engineering, 1995. Canadian Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-7803-2766-7
DOI :
10.1109/CCECE.1995.526414
