Automatic design of control laws based on Petri nets formalism for complex Discete Event Systems
Résumé
In an industrial context, the design of discrete control laws to drive a manufacturing system is usually assumed off line by several experts. Consequently, not only does the design of all the control laws mobilize many PLC program developers, but also, in the event of unexpected operating part failures, the reconfiguration process can be considered only from a manual point of view. This is mainly due to the lack of a generic method to model the controlled system abilities from which control laws can be automatically designed. The paper first presents a methodological approach to obtain all the required information on the controlled system for the purpose of modelling it. Second, an automatic generation of the Petri net model is provided. Finally, based on such a model, a control laws design algorithm used to automate the design of control laws is presented.