Modeling and analyzing power consumption in sensor networks nodes based on differential hybrid petri nets

IECON Proceedings (Industrial Electronics Conference)

Volumn 2005, Issue , 2005, Pages 389-394

  Sousa, J R B ^a   Lima, A M N ^a   Perkusich, A ^a  

^a FEDERAL UNIVERSITY OF CAMPINA GRANDE   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL HYBRID PETRI NETS (DHPNS); HYBRID SYSTEMS; WIRELESS SENSOR NETWORK;

AUTOMATION; ELECTRIC POWER UTILIZATION; HYBRID SENSORS; NETWORK COMPONENTS; RADIO; SEMANTICS; SENSORS;

PETRI NETS;

EID: 33749651151     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IECON.2005.1568936     Document Type: Conference Paper

References (16)

1. LeBail, J., Alla, H. and David, R., "Hybrid Petri Nets," Proc. 1st European Control Conference, Grenoble, France, pp. 187-191, 1991.
2. th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, pp. 32-39, 1994.
3. Alla, H. and David, R., "Continuous Petri Nets," 8th European Workshop on Applications and Theory of Petri Nets, pp. 275-294, 1987.
4. David, R. and Alla, H., "On Hybrid Petri Nets," Discrete Event Dynamic Systems: Theory and Applications, Kluwer Academic Publishers - Boston - USA, vol. 11, pp. 137-162, 2001.
5. Demongodin, I. and Koussoulas, N. T., "Modeling Dynamic Systems Through Petri Nets," Computational Engineering in Systems Applications, CESA'96 IMACS, IEEE-SMC, Lille - France, pp. 279-284, 1996.
6. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J. and Yovine, S., "The Algorithmic Analysis of Hybrid Systems," Theoretical Computer Science, vol. 138, pp. 3-34, 1995.
7. Dang, T., "Verification and Synthesis of Hybrid Systems," Phd Thesis, Institut National Polytechnique de Grenoble - VERIMAG, October, 2000.
8. Wu, Y., Wu, W., Zeng, J., Sun, G., Su, H. and Chu, J., "Modeling and Simulation of Hybrid Dynamical Systems with Generalized Differential Petri Nets," Proceedings of the IEEE - International Symposium on Intelligent Control, Vancouver, Canada, pp. 789-794, 2002.
9. Vieira, M. A. M., Coelho Jr., C. N., da Silva Jr., D. C. and Mata, J. M., "Survey on wireless sensor network devices," Proceedings ETFA'03 - IEEE Conference, vol. 1, No. 16-19, pp. 537-544, 2003.
10. Murata, T., "Petri Nets: Properties, analysis and applications," Proceedings of IEEE, vol. 77, No. 4, pp. 541-580, 1989.
11. Rezai, M., Ito, M. R. and Lawrence, P. D., "Modeling and Simulation of Hybrid Control Systems by Global Petri Nets," IEEE Int. Symposium on Circuits and Systems, ISCAS '95, pp. 908-911, 1995.
12. Champagnat, R., "Supervision des Systèmes Discontinus: Definition d'un Modèle Hybride et Pilotage en Tempsrèel," Phd Thesis, Universitè Paul Sabatier, Toulouse, France, 1998.
13. Raghunathan, V., Schurgers, C., Park, S. and Srivastava, M. B., "Energy-Aware Wireless Microsensor Networks," IEEE Signal Processing Magazine, pp. 40-50, 2002.
14. Chiasserini, C. F. and Rao, R. R., "Pulsed Battery Discharge in Communication Devices," Proceedings of Mobicom'99, pp. 88-95, 1999.
15. Rakhmatov, D. and Vrudhula, S., "An Analytical High-Level Battery Model for Use in Energy Management of Portable Electronic Systems," Proceedings of ICCAD, pp. 1-6, 2001.
16. Lahiri, K., Raghunathan, A., Dey, S. and Panigrahi, D., "Battery-driven system design: a new frontier in low power design," Proceedings of VLSID'02, pp. 1-7, 2002.