Equivalence of behaviors between centralized and multi-model approaches

This paper presents a comparison between centralized approach and multi-model approach based on Supervisory Control Theory (SCT). The centralized approach uses both the whole process and specification to compute the controlled process. The multi-model approach, on the other hand, is used basing on various modal perspectives. This approach allows to build smaller models, which lead to smaller scale and better understanding of the latter. The comparison is made basing on a number of conditions, which all ensure the identical behavior between the controlled processes of each discussed approach. An example of a manufacturing system illustrating the comparison is also presented.