LAUSR

ABSTRACT In symmetric discrete-event systems, the system complexity is reduced by relabelling to the same symbol events fulfilling the same task. In this paper, we divide specifications into two classes: public specifications and private specifications. The public specifications are independent of the details of components; thus, the corresponding decentralised supervisors can be generated by the inverse relabelling image of their counterparts at the relabelled level. As the private specifications are dependent on the details of certain components, the decentralised supervisors for private specifications are computed according to the decentralised approach in the Supervisory Control Theory framework. We propose a composite supervisory control paradigm for the concurrent operation of these supervisors. The approach is applied to two representative discrete-event systems examples.