SYNTHESIS OF SUPERVISORS FOR PARAMETERIZED AND INFINITY NON-REGULAR DISCRETE EVENT SYSTEMS

This article presents a model for discrete-event systems in which the plant consists of a finite State Transition System, or STS, equipped with a data collection. The data collection introduces variables whose values are updated by operations commanded by the discrete transitions in the STS. The specifications of desirable behaviors consist of predicates related to the occurrence of the events. The supervisor, based on the sequence of events occurred in the past, controls the system evolution through the disabling of events. The decision of disabling events originates from the evaluation of predicates computed from the specification of desirable behaviors. A method for the synthesis of supervisors attaining a specification with minimally restrictive control is presented. The main characteristics of our framework are the possibility of capturing non-regular behaviors and the construction of parameterized models which lead to generic solutions for a given class of problems.