Fault-tolerant continuous flow systems modelling

ABSTRACT 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 HPN. 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. 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.

[1]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[2]  Michael S. Branicky,et al.  Studies in hybrid systems: modeling, analysis, and control , 1996 .

[3]  Bernard Berthomieu,et al.  An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.

[4]  Isabel Demongodin.  Generalised Batches Petri Net: Hybrid Model For High Speed Systems With Variable Delays , 2001, Discret. Event Dyn. Syst..

[5]  Lawrence E. Holloway,et al.  Template languages for fault monitoring of timed discrete event processes , 2000, IEEE Trans. Autom. Control..

[6]  Vidhyacharan Bhaskar,et al.  Modeling, analysis and performance evaluation for fault diagnosis and Fault Tolerant Control in bottle-filling plant modeled using Hybrid Petri nets , 2013 .

[7]  Joseph Sifakis,et al.  Modeling Urgency in Timed Systems , 1997, COMPOS.

[8]  Joël Ouaknine,et al.  Model-Checking for Real-Time Systems , 1995, FCT.

[9]  A. Sava.  Sur la synthèse de la commande des systèmes à évènements discrets temporisés , 2001 .

[10]  J. Buisson,et al.  Descriptor Systems for the Knowledge Modelling and Simulation of Hybrid Physical Systems Les Systèmes Descripteurs pour la Modélisation et la Simulation de Systèmes Physiques Hybrides , 1998 .

[11]  Hu-Chen Liu,et al.  Fault diagnosis and cause analysis using fuzzy evidential reasoning approach and dynamic adaptive fuzzy Petri nets , 2013, Comput. Ind. Eng..

[12]  Bengt Lennartson,et al.  Hybrid Modelling Focused on Hybrid Petri Nets , 1995 .

[13]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[14]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[15]  Véronique Carré-Ménétrier,et al.  Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems , 2008 .

[16]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[17]  Nejib Ben Hadj-Alouane,et al.  Online Diagnosis of Systems with Rectangular Hybrid Automata Models , 2009 .

[18]  Hassane Alla,et al.  From hybrid Petri nets to hybrid automata , 1998 .

[19]  R. H. Kwong,et al.  Fault Diagnosis in Finite-State Automata and Timed Discrete-Event Systems , 1999 .

[20]  Didier Lime,et al.  State class timed automaton of a time Petri net , 2003, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings..

[21]  Jean-Jacques Lesage,et al.  The concept of residuals for fault localization in discrete event systems , 2011 .

[22]  H. Marchand,et al.  Supervision patterns in discrete event systems diagnosis , 2006, 2006 8th International Workshop on Discrete Event Systems.

[23]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[24]  Vidhyacharan Bhaskar,et al.  An observer based approach for achieving fault diagnosis and fault tolerant control of systems modeled as hybrid Petri nets. , 2011, ISA transactions.

[25]  Moamar Sayed Mouchaweh.  Decentralized Fault Free Model Approach for Fault Detection and Isolation of Discrete Event Systems , 2012, Eur. J. Control.

[26]  Alessandro Giua,et al.  Hybrid Petri Nets: a , 1996 .

[27]  Petru Eles,et al.  Verification of embedded systems using a petri net based representation , 2000, ISSS '00.

[28]  Joseph Sifakis,et al.  Compositional Specification of Timed Systems (Extended Abstract) , 1996, STACS.

[29]  Olivier H. Roux,et al.  Structural translation from Time Petri Nets to Timed Automata , 2005, J. Syst. Softw..

[30]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..