Resumen de Latent nestling method as an abstraction method in colored petri nets for fault diagnosis in complex systems

Leonardo Rodríguez Urrego, Mariela Muñoz-Añasco

• español

  ONTARE. REVISTA DE INVESTIGACIÓN DE LA FACULTAD DE INGENIERÍA Este artículo presenta la formalización matemática de las redes de Petri híbridas y coloreadas para el anidamiento Latente de Fallos (AL), como método de abstracción respecto al diagnóstico de fallos llamado Redes de Petri Híbridas y Coloreadas para el Diagnóstico de Fallos (RdPHCDF). Además de esto, se demuestra la mayor capacidad de síntesis y modelado en el aislamiento y diagnóstico de fallos en sistemas complejos. Por otra parte, este trabajo presenta un ejemplo práctico de aplicación del método que consiste en un tanque de almacenamiento de líquidos.

• English

  ONTARE. REVISTA DE INVESTIGACIÓN DE LA FACULTAD DE INGENIERÍA This paper presents the mathematical formalization in Hybrid and Colored Petri Nets applied to the Latent Nestling Method (LNM) as an abstraction method in regard to the Fault Diagnosis, termed: Hybrid Colored Petri Net for Fault Diagnosis (DHCPN). In addition, enhanced synthesis and modeling capability for fault isolation and diagnosis in complex systems is demonstrated. Moreover, this paper shows a practical example of implementation that consists of a liquid storage tank.

• français

  ONTARE. REVISTA DE INVESTIGACIÓN DE LA FACULTAD DE INGENIERÍA Les ateliers spécialisés dans la réparation de plaques et la peinture autombiles ont une obligation de qualité envers leur Cet article présente la formalisation mathématique des Ré-seaux de Petri de type Hybrides et Colorés pour la Détec-tion Latente d’Erreurs (DLE) comme méthode d’abstraction du diagnostique d’erreurs appelé: Réseaux de Petri de type Hybride et Colorés pour le Diagnostique d’Erreurs (RPHC-DE). Nous démontrerons par ailleurs la capacité accrue de synthèse et modelage lors de l’isolement et du diagnos-tique d’erreurs dans les systèmes complexes. Finalement ce travail présentera un exemple pratique d’application de la méthode utilisant des réservoirs liquides.

• português

  ONTARE. REVISTA DE INVESTIGACIÓN DE LA FACULTAD DE INGENIERÍA Este artículo apresenta a formalização matemática das Redes de Petri Híbridas e Coloridas para a Nidificação Latente de Falhas (ALF) como método de abstração respeito ao diagnóstico de falhas chamado: Redes de Petri Híbridas e Coloridas para o Diagnóstico de Falhas (RdPHCDF). Além disto, se demonstra a maior capacidade de síntese e modelado no isolamento e diagnóstico de falhas em sistemas complexos. Por outra parte, este trabalho mostra um exemplo prático de aplicação do método que consiste em um tanque de armazenamentode líquidos.