Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2014 (2014), Article ID 835312, 21 pages
http://dx.doi.org/10.1155/2014/835312
Research Article

Identification of Stochastic Timed Discrete Event Systems with st-IPN

1Grupo de Automática Industrial, Universidad del Cauca, Popayán, Colombia
2Instituto de Automática e Informática Industrial, Universitat Politècnica de València, Camino de Vera Street, s/n, 46022 Valencia, Spain

Received 18 October 2013; Revised 14 April 2014; Accepted 28 April 2014; Published 9 July 2014

Academic Editor: Yingwei Zhang

Copyright © 2014 Doyra Mariela Muñoz et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Springer, New York, NY, USA, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  2. Y. Zhang, J. An, and C. Ma, “Fault detection of non-Gaussian processes based on model migration,” IEEE Transactions on Control Systems Technology, vol. 21, no. 5, pp. 1517–1526, 2013. View at Publisher · View at Google Scholar · View at Scopus
  3. F. Basile, P. Chiacchio, J. Coppola, and G. De Tommasi, “Identification of Petri nets using timing information,” in Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems (DCDS '11), pp. 154–161, June 2011. View at Publisher · View at Google Scholar · View at Scopus
  4. A. Ichikawa and K. Hiraishi, “Analysis and control of discrete event systems represented by Petri nets,” in Discrete Event Systems: Models and Applications, P. Varaiya and A. Kurzhanski, Eds., vol. 103 of Lecture Notes in Control and Information Sciences, pp. 115–134, Springer, Berlin, Germany, 1988. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. M. P. Fanti, A. M. Mangini, and W. Ukovich, “Fault detection by labeled Petri nets in centralized and distributed approaches,” IEEE Transactions on Automation Science and Engineering, vol. 10, no. 2, pp. 392–404, 2013. View at Publisher · View at Google Scholar · View at Scopus
  6. M. P. Cabasino, A. Giua, and C. Seatzu, “Fault detection for discrete event systems using Petri nets with unobservable transitions,” Automatica, vol. 46, no. 9, pp. 1531–1539, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  7. H. Hu, M. Zhou, Z. Li, and Y. Tang, “An optimization approach to improved Petri net controller design for automated manufacturing systems,” IEEE Transactions on Automation Science and Engineering, vol. 10, no. 3, pp. 772–782, 2013. View at Publisher · View at Google Scholar · View at Scopus
  8. H. Hu, M. Zhou, and Z. Li, “Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets,” IEEE Transactions on Automation Science and Engineering, vol. 8, no. 4, pp. 794–804, 2011. View at Publisher · View at Google Scholar · View at Scopus
  9. K. Hiraishi, “Construction of a class of safe Petri nets by presenting firing sequences,” in Application and theory of Petri nets 1992, K. Jensen, Ed., vol. 616 of Lecture Notes in Computer Science, pp. 244–262, Springer, Berlin, Germany, 1992. View at Publisher · View at Google Scholar · View at MathSciNet
  10. R. S. Sreenivas and B. H. Krogh, “Petri net based models for condition/event systems,” in Proceedings of the American Control Conference, pp. 2899–2904, Boston, Mass, USA, June 1991. View at Scopus
  11. M. Rausch and H.-M. Hanisch, “Net condition/event systems with multiple condition outputs,” in Proceedings of the INRIA/IEEE Symposium on Emerging Technologies and Factory Automation (ETFA '95), vol. 1, pp. 592–600, October 1995. View at Scopus
  12. S. Patil, V. Vyatkin, and M. Sorouri, “Formal verification of Intelligent Mechatronic Systems with decentralized control logic,” in Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA '12), pp. 1–7, Krakow, Poland, September 2012. View at Publisher · View at Google Scholar · View at Scopus
  13. A. P. Estrada-Vargas, E. López-Mellado, and J.-J. Lesage, “A comparative analysis of recent identification approaches for discrete-event systems,” Mathematical Problems in Engineering, vol. 2010, Article ID 453254, 21 pages, 2010. View at Publisher · View at Google Scholar · View at Scopus
  14. S. Shu and F. Lin, “I-detectability of discrete-event systems,” IEEE Transactions on Automation Science and Engineering, vol. 10, no. 1, pp. 187–196, 2013. View at Publisher · View at Google Scholar · View at Scopus
  15. L. Li and C. N. Hadjicostis, “Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions,” IEEE Transactions on Automation Science and Engineering, vol. 8, no. 2, pp. 394–403, 2011. View at Publisher · View at Google Scholar · View at Scopus
  16. M. E. Meda-Campana and E. Lopez-Mellado, “Required event sequences for identification of discrete event systems,” in Proceedings of the 42nd IEEE Conference on Decision and Control, vol. 4, pp. 3778–3783, December 2003. View at Scopus
  17. M. Meda-Campana and E. Lopez-Mellado, “Identification of concurrent discrete event system using Petri nets,” in Proceedings of the 17th IMACS World Congress on Computational and Applied Mathematics, pp. 11–15, Paris, France, July 2005.
  18. S. Klein, L. Litz, and J.-J. Lesage, “Fault detection of discrete event systems using an identification approach,” in Proceedings of the 16th Triennial World Congress of International Federation of Automatic Control (IFAC '05), pp. 92–97, July 2005. View at Scopus
  19. M. Roth, J.-J. Lesage, and L. Litz, “An FDI method for manufacturing systems based on an identified model,” in Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM '09), vol. 13, pp. 1406–1411, June 2009. View at Publisher · View at Google Scholar
  20. P. Supavatanakul, J. Lunze, V. Puig, and J. Quevedo, “Diagnosis of timed automata: theory and application to the DAMADICS actuator benchmark problem,” Control Engineering Practice, vol. 14, no. 6, pp. 609–619, 2006. View at Publisher · View at Google Scholar · View at Scopus
  21. D. E. Jarvis, “An identification technique for timed event systems,” in Proceedings of the 10th International Workshop on Discrete Event Systems, vol. 10, pp. 181–186, Berlin, Germany, 2010. View at Publisher · View at Google Scholar
  22. M. Dotoli, M. P. Fanti, and A. M. Mangini, “An optimization approach for identification of Petri nets,” in Proceedings of the 8th International Workshop on Discrete Event Systems (WODES '06), pp. 332–337, July 2006. View at Scopus
  23. M. Dotoli, M. P. Fanti, and A. M. Mangini, “On line identification of discrete event systems via Petri nets: an application to monitor specification,” in Proceedings of the 3rd IEEE International Conference on Automation Science and Engineering (CASE '07), pp. 893–898, September 2007. View at Publisher · View at Google Scholar · View at Scopus
  24. M. Dotoli, M. P. Fanti, A. M. Mangini, and W. Ukovich, “On-line identification of Petri nets with unobservable transitions,” in Proceedings of the 9th International Workshop on Discrete Event Systems, WODES '08), pp. 449–454, May 2008. View at Publisher · View at Google Scholar · View at Scopus
  25. M. P. Cabasino, A. Giua, and C. Seatzu, “Identification of deterministic Petri nets,” in Proceedings of the 8th International Workshop on Discrete Event Systems (WODES '06), pp. 325–331, July 2006. View at Scopus
  26. M. Dotoli, M. P. Fanti, and A. M. Mangini, “Real time identification of discrete event systems using Petri nets,” Automatica, vol. 44, no. 5, pp. 1209–1219, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  27. Y. Chen, Z. Li, M. Khalgui, and O. Mosbahi, “Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems,” IEEE Transactions on Automation Science and Engineering, vol. 8, no. 2, pp. 374–393, 2011. View at Publisher · View at Google Scholar · View at Scopus
  28. F. M. Pia, M. A. Marcello, and U. Walter, “Fault detection by labeled Petri nets and time constraints,” in Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems (DCDS '11), pp. 168–173, June 2011. View at Publisher · View at Google Scholar · View at Scopus
  29. C. Girault and R. Valk, Petri Nets for Systems Engineering—A Guide to Modeling, Verification, and Applications, Springer, Berlin, Germany, 2003.
  30. T. Murata, “Petri nets: properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, 1989. View at Publisher · View at Google Scholar · View at Scopus
  31. A. Ramirez-Treviño, E. Ruiz-Beltran, J. Aramburo-Lizarraga, and E. Lopez-Mellado, “Structural diagnosability of des and design of reduced Petri net diagnosers,” IEEE Transactions on Systems, Man and Cybernetics A: Systems and Humans, vol. 42, no. 2, pp. 416–429, 2012. View at Google Scholar
  32. K. Hernández and M. E. Meda-Campana, “Fault diagnosis using Petri nets: a case study,” in Proceedings of the 10th Latin American and Caribbean Conference for Engineering and Technology, Panama City, Panama, July 2012.
  33. I. Rivera-Rangel, A. Ramírez-Treviño, L. I. Aguirre-Salas, and J. Ruiz-León, “Geometrical characterization of observability in Interpreted Petri nets,” Kybernetika, vol. 41, no. 5, pp. 553–574, 2005. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  34. P. Supavatanakul and F. J. Lunze, Identification of Timed Discreteevent Models for Diagnosis, Ruhr-University Bochum, 2004.
  35. A. Ramirez-Trevino, E. Ruiz-Beltran, I. Rivera-Rangel, and E. López-Mellado, “Online fault diagnosis of discrete event systems. A Petri net-based approach,” IEEE Transactions on Automation Science and Engineering, vol. 4, no. 1, pp. 31–39, 2007. View at Publisher · View at Google Scholar · View at Scopus
  36. W. G. Cochran, Sampling Techniques, John Wiley & Sons, New York, NY, USA, 2nd edition, 1977. View at MathSciNet
  37. J. E. Bartlett, J. W. Kotrlik, and C. C. Higgins, “Organizational research: determining appropriate sample size in survey research,” Information Technology, Learning and Performance, vol. 19, no. 1, pp. 43–50, 2001. View at Google Scholar
  38. H. Toutenburg, “Fleiss, J. L.: statistical methods for rates and proportions. John Wiley & Sons, New York-London-Sydney-Toronto 1973. XIII, 233 S,” Biometrische Zeitschrift, vol. 16, no. 8, p. 539, 1974. View at Publisher · View at Google Scholar
  39. E. H. Livingston and L. Cassidy, “Statistical power and estimation of the number of required subjects for a study based on the t-test: a surgeon’s primer,” Journal of Surgical Research, vol. 126, no. 2, pp. 149–159, 2005. View at Publisher · View at Google Scholar
  40. D. Ruppert, Statistics and Data Analysis for Financial Engineering, Springer Texts in Statistics, Springer, Berlin, Germany, 1st edition, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  41. W. Conover, Practical Nonparametric Statistics, Wiley Series in Probability and Statistics, John Wiley & Sons, New York, NY, USA, 3rd edition, 1999.