Representation of a reactive system with different models

In this paper, we propose an approach which considers different models of a process (multi-model approach) based on the supervision theory of Ramadge and Wonham (1987, 1989). Our contribution enables us to take into account various models which represent different operating modes of the process. In this approach only modes that ensure the same operating mode are actives while the others must be put into their respective inactive state. The problem of commutation between all designed models is formalised by a proposed framework which allows to determine each model and the commutation conditions.