The real-time monitoring of an experimental manufacturing cell
Mustapha Nourelfath · 2002
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.