The supervisory control of the automated manufacturing system of the AIP

A supervisory control system, based on controlled automata concepts, is developed for the automated manufacturing system of the Atelier Interetablissement de Productique (AIP, Dauphine-Savoie, France). The approach adopted offers important advantages over other existing approaches: mainly (i) the resulting controlled behaviours are guaranteed not to contradict the behavioural specifications and to be nonblocking, (ii) the controlled behaviours are maximally permissive within the behavioural specifications. The implementation considers modular supervision under partial observation. Automaton models examples of the manufacturing system are provided together with two supervisors. `Off-the-shelf´ industrial control systems were used in the implementation