A Modular Supervisory Control Scheme for the Safety of an Automated Manufacturing System

The analytic finite deterministic automata models of the subsystems of an automated manufacturing system in circular mode are presented. The total model of the manufacturing system is determined. The safety specifications of the system are formulated in the form of rules. The rules are translated to appropriate desired regular languages. The languages are realized in analytic forms of finite deterministic supervisor automata. A modular supervisory control scheme based on the supervisor automata, is proposed. The satisfactory performance of the controlled automaton is proven, through the computation of the marked language of the controlled automaton and the proof the nonblocking property of the controlled automaton as well as the proof of the controllability of the languages, realized by the supervisor automata. The complexity of the proposed supervisor scheme is computed.