Wyniki wyszukiwania - BazTech

1

A neural-fuzzy approach for fault diagnosis of hybrid dynamical systems: demonstration on three-tank system

Achbi Mohammed Said, Kechida Sihem, Mhamdi Lotfi, Dhouibi Hedi

Acta Mechanica et Automatica

|

2021

|

Vol. 15, no. 1

1--8

EN

This work is part of the diagnostic field of hybrid dynamic systems (HDS) whose objective is to ensure proper operation of industrial facilities. The study is initially oriented to the modelling approach dedicated to hybrid dynamical systems (HDS). The objective is to look for an adequate model encompassing both aspects (continuous and event). Then, fault diagnosis technique is synthesised using artificial intelligence (AI) techniques. The idea is to introduce a hybrid version combining neural networks and fuzzy logic for residual generation and evaluation. The proposed approach is then validated on three tank system. The modelling and diagnosis approaches are developed using MATLAB/Simulink environment.

2

Methodology to knowledge discovery for fault diagnosis of hybrid dynamical systems: demonstration on two tanks system

Achbi Mohammed Said, Mhamdi Lotfi, Kechida Sihem, Dhouibi Hedi

Diagnostyka

|

2020

|

Vol. 21, No. 4

115--122

EN

The work carried out in this article concerns on the implementation off a diagnostic procedure for hybrid dynamic systems (HDS) whose objective is to guarantee the proper functioning of industrial installations. In this context, the main contributions of this work are summarized into three parts: The first part is oriented to the modeling approach dedicated to HDS. The aim is to find an adequate model combining both aspects (continuous and discrete dynamics). The use of Neuro-fuzzy networks makes it possible to build a model of the system and to follow all the modes without it being necessary to identify or discern them. The second part concerns the synthesis of a fault diagnostic technique based on a fuzzy inference system. A Neuro-Fuzzy network based is used for residual generation, while for the residual evaluation, a fuzzy reasoning model is used which can mainly introduce heuristic information into the analysis scheme and takes the appropriate decision regarding the actual behaviour of the process. The proposed approach is successfully applied to monitoring faults of a non-linear three-tank system and the results confirm the effectiveness of this approach.

3

Methodology for monitoring and diagnosing faults of hybrid dynamic systems: a case study on a desalination plant

Achbi Mohammed Said, Kechida Sihem

Diagnostyka

|

2020

|

Vol. 21, No. 1

27--33

EN

The imperative of quality and productivity has increased the complexity of technological processes, posing the problem of reliability. Today, fault diagnosis remains a very important task because of its essential role in improving reliability, but also in minimizing the harmful consequences that can be catastrophic for the safety of equipment and people. Indeed, an effective diagnosis not only improves reliability, but also reduces maintenance costs. Systems in which dynamic behaviour evolves as a function of the interaction between continuous dynamics and discrete dynamics, present in the system, are called hybrid systems. The goal is to develop monitoring and diagnostic procedures to the highest level of control to ensure safety, reliability and availability objectives. This article presents an approach to the diagnosis of hybrid systems using hybrid automata and neural-fuzzy system. The use of the neural-fuzzy system allows modeling the continuous behaviour of the system. On the other hand, the hybrid automata gives a perfect estimate of the discrete events and make it possible to execute a fault detection algorithm mainly consists of classifying the appeared defects. On the implementation plan, the results were applied in a water desalination plant.

4

Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata

Motallebi H., Azgomi M. A.

Fundamenta Informaticae

|

2014

|

Vol. 130, nr 3

275--315

EN

In this paper, we investigate some important aspects of a new formalism for modelling and verification of hybrid dynamic systems (HDS), which is called multisingular hybrid Petri nets (MSHPNs). This new hybrid formalism is aimed to bridge the gap between hybrid automata (HA) and hybrid Petri nets (HPNs) by equipping the HPN model with the capabilities of HA to control the execution and firing of timed transitions. Practically, MSHPNs can be considered as the counterpart with the same expressive power as multisingular hybrid automata (MSHA). In order to analyse MSHPN models, a speed-based partitioning technique has been introduced in which the variable space is partitioned based on the balance of continuous places. In this paper, we formalize the notions of conflicts and conflict resolution and the challenging issue of speed computation. Then, we focus on considering a translation from a bounded MSHPN to a multisingular hybrid automaton that preserves the behavioural semantics of the original MSHPN in terms of weak timed bisimulation. The translation algorithm uses the speed-based partitioning method and obtains a speed-based partitioning hybrid automaton for a given bounded MSHPN. Model checking a timed property for an MSHPN amounts to model checking its equivalent property on the obtained speed-based partitioning hybrid automaton, thus MSHPN models can be analysed using the existing tools. The advantages of the proposed method are twofold: (1) hybrid systems can be described more succinctly and therefore more readably as MSHPNs, and (2) one can use the existing tools (like HYTECH) to analyse MSHPN models.