Redes de petri híbridas diferenciais: aplicação na modelagem e no gerenciamento dinâmico de energia de redes de sensores sem fio

In this work a formalism named Differential Hybrid Petri Nets to model and simulate hybrid systems is presented. It is based on the main elements of the semantics of the hybrid automaton and the modeling power of Petri nets. Considering that Wireless Sensor Networks are hybrid systems, this formalism is applied to model a Dynamic Power Management technique based on battery Capacity (GDC). Therefore, when taken into account the interactions among the dynamics of these nets, more realistic results are obtained in the study of energy consumption. The proposed GDC technique, in function of the capacity of the battery, defines the turn off frequency of the sensor node to allow the recovery of battery capacity. Besides, the proposed GDC technique minimizes the turn off time of the sensor node, at same time that distributes this time along the cycles of work of the sensor node. The obtained results demonstrate that the proposed GDC technique prolongs the lifetime of the sensor node.

[1]  Sarma B. K. Vrudhula,et al.  An Analytical High-Level Battery Model for Use in Energy Management of Portable Electronic Systems , 2001, ICCAD.

[2]  A. Raghunathan,et al.  Battery-driven system design: a new frontier in low power design , 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.

[3]  Jianchao Zeng,et al.  Modeling and simulation of hybrid dynamical systems with generalized differential Petri nets , 2002, Proceedings of the IEEE Internatinal Symposium on Intelligent Control.

[4]  P.J. Antsaklis,et al.  Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.

[5]  Mabo Robert Ito,et al.  Modeling and simulation of hybrid control systems by Global Petri Nets , 1995, Proceedings of ISCAS'95 - International Symposium on Circuits and Systems.

[6]  Marcos Augusto M. Vieira,et al.  Survey on wireless sensor network devices , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[7]  A. Giua,et al.  Modeling hybrid systems by high-level Petri nets , 1998 .

[8]  Ren C. Luo,et al.  An efficient dynamic power management policy on sensor network , 2005, 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers).

[9]  Anantha Chandrakasan,et al.  Dynamic Power Management in Wireless Sensor Networks , 2001, IEEE Des. Test Comput..

[10]  H. Pingaud,et al.  Combined simulation of hybrid processes , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[11]  Thi Xuan Thao Dang.  Verification and Synthesis of Hybrid Systems , 2000 .

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

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

[14]  D. Timmermann,et al.  SIMULATION OF MOBILE WIRELESS NETWORKS WITH ACCURATE MODELLING OF NON-LINEAR BATTERY EFFECTS , 2003 .

[15]  Alessandro Giua,et al.  Modelling hybrid systems by high-level Petri nets , 1998 .

[16]  Antonio Alfredo Ferreira Loureiro,et al.  Dynamic Power Management in Wireless Sensor Networks: An Application-Driven Approach , 2005, Second Annual Conference on Wireless On-demand Network Systems and Services.

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