Um modelo monolítico para detecção de falhas em Sistemas a Eventos Discretos obtido a partir da identificação de modelos parciais

Abstract

In this paper, we propose a method for the computation of a composed model from the identified partial models for cyclic systems, where the composed model is used for fault detection. In order to do so, we propose a modification in one of the models presented in the literature that is suitable for composition, such that the modified model is capable of representing correctly cyclic systems. Then, we define a synchronous composition of the identified partial models, called modular synchronous composition. We also analyse the reduction of the exceeding language by implementing the composed model, and by varying a free parameter used to identify the partial models. A virtual plant, simulated using a 3D simulation software, and controlled by a programmable logic controller, is used to illustrate the proposed method.