DocumentCode
3180325
Title
A method for design and valuation of manufacturing system control architecture
Author
Denis, Bruno ; Lesage, Jean-Jacques
Author_Institution
LURPA, Cachan, France
Volume
5
fYear
1995
fDate
22-25 Oct 1995
Firstpage
4486
Abstract
In the control design of complex manufacturing systems, the design of a control architecture is required. This paper deals with an integrated framework to make the design of the control architecture as formal as possible. Models used in this framework are presented, and a valuation method of the control architecture is constructed
Keywords
Petri nets; computerised control; control system synthesis; formal specification; large-scale systems; manufacturing industries; production control; colored Petri nets; complex manufacturing system; control architecture design; digital control; formal method; timed Petri nets; Automatic control; Computer aided manufacturing; Computer architecture; Control design; Control systems; Cost accounting; Design methodology; Hardware; Manufacturing systems; Programmable control;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location
Vancouver, BC
Print_ISBN
0-7803-2559-1
Type
conf
DOI
10.1109/ICSMC.1995.538501
Filename
538501
Link To Document