Modeling and analysis using hybrid Petri nets

Abstract This paper is devoted to the use of hybrid Petri nets (PNs) for modeling and control of hybrid dynamic systems (HDS). Modeling, analysis and control of HDS attract ever more of researchers’ attention and several works have been devoted to these topics. We consider in this paper the extensions of the PN formalism (initially conceived for modeling and analysis of discrete event systems) in the direction of hybrid modeling. We present, first, the continuous PN models. These models are obtained from discrete PNs by the fluidification of the markings. They constitute the first steps in the extension of PNs toward hybrid modeling. Then, we present two hybrid PN models, which differ in the class of HDS they can deal with. The first one is used for deterministic HDS modeling, whereas the second one can deal with HDS with nondeterministic behavior.

[1]  Raymond A. DeCarlo,et al.  A modeling strategy for hybrid systems based on event structures , 1993, Discret. Event Dyn. Syst..

[2]  Patricia Bouyer,et al.  Introduction au contrôle des systèmes temps-réel , 2005 .

[3]  René David,et al.  On Hybrid Petri Nets , 2001, Discret. Event Dyn. Syst..

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

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[7]  Isabel Demongodin,et al.  Differential Petri nets: representing continuous systems in a discrete-event world , 1998 .

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

[9]  Bengt Lennartson,et al.  Hybrid systems in process control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[10]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

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

[12]  Panos J. Antsaklis,et al.  Hybrid System Modeling and Autonomous Control Systems , 1992, Hybrid Systems.

[13]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[14]  David Andreu.  Commande et supervision des procédés discontinus : une approche hybride , 1996 .

[15]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

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

[17]  Ronan Champagnat.  Supervision des systèmes discontinus : définition d'un modèle hybride et pilotage en temps-réel , 1998 .

[18]  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..

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

[20]  B. Cherki,et al.  Laboratoire D'automatique De Tlemcen , 2015 .

[21]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..