Title :
The real-time monitoring of an experimental manufacturing cell
Author :
Nourelfath, Mustapha
Author_Institution :
Unite d´´Enseignement et de Recherche en Sci. Appliquees, Univ. du Quebec, Rouyn-Noranda, Que., Canada
Abstract :
A real-time monitoring based on supervisory control theory is developed for a fairly complex experimental manufacturing cell. This monitoring enables us to ensure safe functioning in the presence of a critical failure. It contains three main subtask: detection, compensation and recovery. To implement such monitoring, the Grafcet tool is used. This tool offers great conciseness for modeling and is being increasingly used for programmable logic controllers. The formal proof of the controllability is based on automata models. It guarantees that the manufacturing system closed loop behavior do not contradict the monitoring specifications
Keywords :
closed loop systems; computerised monitoring; controllability; manufacturing processes; programmable controllers; real-time systems; Grafcet tool; automata models; closed loop behavior; compensation; controllability; critical failure; detection; discrete event dynamic systems; experimental manufacturing cell; formal proof; manufacturing system; monitoring specifications; programmable logic controllers; real-time monitoring; recovery; safe functioning; supervisory control theory; Automata; Automatic control; Communication system control; Condition monitoring; Control systems; Controllability; Formal languages; Manufacturing; Programmable control; Supervisory control;
Conference_Titel :
Electrical and Computer Engineering, 2000 Canadian Conference on
Conference_Location :
Halifax, NS
Print_ISBN :
0-7803-5957-7
DOI :
10.1109/CCECE.2000.849717
