Fault-tolerant continuous flow systems modelling

B Tolbi (1) , H Tebbikh (1) , Hassane Alla (2)

1 جامعة 8 مايو 45، قالمة [الجزائر] = Université du 8 mai 1945 Guelma [Algérie] = University 8 mai 1945 Guelma [Algeria]
2 GIPSA-SYSCO - GIPSA - Systèmes non linéaires et complexité

This paper presents a structural modelling of faults with Hybrid Petri Nets (HPNs) for the analysis of a particular class of hybrid dynamic systems, continuous flow systems. HPNs are first used for the behavioural description of continuous flow systems without faults. Then faults' modelling is considered using a structural method without having to rebuild the model to new. A translation method is given in hierarchical way, it gives a Hybrid Automata (HA) from an Elementary Hybrid Petri Net (EHPN). This translation preserves the behavioural semantics (timed bisimilarity), and reflects the temporal behaviour by giving semantics for each model in terms of Timed Transition Systems (TTS). Thus, advantages of the power modelling of HPNs and the analysis ability of HA are taken. A simple example is used to illustrate the ideas.

Mots clés: Continuous flow systems; Elementary Hybrid Petri Nets; faults modelling; Hybrid Automata; Timed Transition Systems; Timed bisimilarity

Domaines: Théorie de l'information [cs.IT]

B Tolbi, H Tebbikh, Hassane Alla. Fault-tolerant continuous flow systems modelling. International Journal of Systems Science, 2017, 48 (1), pp.107-117. ⟨10.1080/00207721.2016.1160454⟩. ⟨hal-01412952⟩