Fault-tolerant continuous flow systems modelling

Abstract

International audienceThis 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