A METHODOLOGY TO DESIGN AND CHECK A PLANT MODEL

Applications on manufacturing systems (diagnosis, control, supervision…) often require a plant model. Obtaining the plant model is a difficult task because of systems complexity and deepth knowledge of physical materials. A necessary condition that must be verified by the plant model is its capability to respond to all the requests of the specification model. This paper ends by two complementary approaches a mathematical property is proposed to check formally and this capability and a methodology to design the plant model is proposed in order to guarantee the model capability according to the most permissive control model.