DocumentCode
3489185
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
Volume
2
fYear
1995
fDate
5-8 Sep 1995
Firstpage
793
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1995. Canadian Conference on
Conference_Location
Montreal, Que.
ISSN
0840-7789
Print_ISBN
0-7803-2766-7
Type
conf
DOI
10.1109/CCECE.1995.526414
Filename
526414
Link To Document