A Petri Nets approach for hybrid systems modeling

 Abstract— This paper focuses on the modeling of hybrid systems with autonomous commutation of the model generated by a hysteresis phenomenon through a particular Petri Nets structures, called Modified Petri Nets (MPN). The main goal of this approach is to get a formal description language for such hybrid systems, which combines the advantages of a graphical description with the possibility of a transparent visualization, simulation and analysis. Hence, several enhancements were proposed. The first of them combines the classical discrete Petri Net approach and the concept of continuous Petri Nets, having as result a class called Hybrid Petri Nets (HPN). In the second enhancement, the aspect of the system complexity was approached by introducing object oriented concepts, like encapsulation and information hiding. In this way, the resulting Hybrid Object Nets (HON) combines the advantages of Hybrid Petri Nets with those of the object-oriented paradigm. The proposed concepts are illustrated with a case study, which refers to a classical temperature control process in a room, using a thermostat with anticipative resistance.

[1]  R. Drath.  Hybrid object nets : An object oriented concept for modeling complex hybrid systems , 1998 .

[2]  Jamal Daafouz,et al.  Systèmes dynamiques hybrides , 2007 .

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

[4]  Emilia Villani.  Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach , 2006 .

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

[6]  Branicky.  [IEEE 1994 33rd IEEE Conference on Decision and Control - Lake Buena Vista, FL, USA (14-16 Dec. 1994)] Proceedings of 1994 33rd IEEE Conference on Decision and Control - Stability of switched and hybrid systems , 1994 .

[7]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

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

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

[10]  Panos J. Antsaklis,et al.  Hybrid Systems II , 1994, Lecture Notes in Computer Science.

[11]  Petrisor Anca,et al.  On hybrid systems modeling with Petri nets , 2008 .

[12]  E. Dubois,et al.  Continuous Petri net with maximal speeds depending on time , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

[13]  Benoit Cebron.  Commande de systemes dynamiques hybrides , 2000 .

[14]  I. Demongodin,et al.  Modelling of Hybrid Control Systems using Petri Nets , 2007 .

[15]  Anca Petrisor,et al.  Modeling and simulation of walking and climbing Robots based on stables states transition approach as control strategy , 2008, ICONS 2008.

[16]  A. Petrisor,et al.  Hybrid petri nets as a new formalism for modeling electrical drives , 2008, 2008 International Symposium on Power Electronics, Electrical Drives, Automation and Motion.

[17]  Marius-Constantin Popescu,et al.  Fuzzy control of the position for the piston of an industrial robot , 2008, ICONS 2008.