Automatic Specification Generation for Tracking Control in Interpreted Petri nets

In the Tracking control paradigm for Interpreted Petri nets (IPN), the control objective is to enforce the plant (the system to be controlled) to perform sequences of actuators' states, these required sequences are named the specification; both, plant and specification are modelled as IPNs. In this work, a methodology for the design of specifications for the tracking control paradigm is proposed for the control of industrial automated systems. In the presented methodology, the practitioner provides minimum information about the plant's desired behavior, and based on this information the specification is automatically generated as an IPN; using both, the plant and specification models, the existing tracking control synthesis algorithms can be applied.