Title :
A method for design and valuation of manufacturing system control architecture
Author :
Denis, Bruno ; Lesage, Jean-Jacques
Author_Institution :
LURPA, Cachan, France
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;
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
DOI :
10.1109/ICSMC.1995.538501
