Supervision of an industrial plant subject to a maximal duration constraint

This paper presents a method for the supervision of an industrial plant. This supervision is aimed at guaranteeing the respect of a maximal duration constraint for some specific processing, and is addressed by considering a discrete event system model for this industrial plant. In this associated model, the time constraint is reduced to elementary constraints whose contributions are taken into account in the state equation of the system, yielding a constrained state equation for the plant. Supervisors are then synthesized by looking for solutions of this constrained state equation.