Skip to main content
SpringerLink
Log in

Sufficient Structural Conditions for Diagnosability and Heuristic Diagnoser Design in Timed Continuous Petri Nets

  • Regular Papers
  • Control Theory and Applications
  • Published:
International Journal of Control, Automation and Systems Aims and scope Submit manuscript

Abstract

This work is concerned with a structural characterization of the diagnosability property in Timed Continuous Petri Nets (TCPNs) systems under infinite server semantics. Regarding this problem, three novel results are presented. The first one is the introduction of structural sufficient conditions for diagnosability in TCPNs, which are based on the concepts of relative degree, system distinguishability, and parameter identification. To this aim, the concept of a simple directed path from other works is extended to diagnosable directed paths. These new paths include attribution-places, pre-join-places and post-join-places, which allows to deal with multiple non-concurrent tokens-leak faults, and enlarging the class of systems that can be analyzed. Based on these structural conditions, a novel methodology to place a reduced number of sensors that guarantees the net diagnosability is proposed. Finally, a diagnoser based on a modified Differential Evolution algorithm is presented, which introduces individual searching sets in orthogonal spaces to diagnose (detect, locate, and identify) faults when an error is detected, avoiding the use of a bank of diagnosers of other approaches. The effectiveness and applicability of the main results are illustrated through an illustrative example.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. Silva, “Individuals, populations and fluid approximations: A Petri net based perspective,” Nonlinear Analysis: Hybrid Systems, vol. 22, pp. 72–97, 2016.

    MathSciNet  MATH  Google Scholar 

  2. D. Lefebvre, C. Delherm, E. Leclercq, and F. Druaux, “Some contributions with Petri nets for the modelling, analysis and control of HDS,” Nonlinear Analysis: Hybrid Systems, vol. 1, no. 4, pp. 451–465, 2007.

    MathSciNet  MATH  Google Scholar 

  3. R. Ross-León, A. Ramírez-Treviño, and A. Morales, José, “Timed continuous Petri nets based control for metabolome under Michaelis-Menten kinetics,” Proc. of World Automation Congress (WAC), pp. 1–6, 2012.

  4. J. L. Tovany, R. Ross-León, J. Ruiz-León, A. Ramírez-Treviño, and O. Begovich, “Greenhouse modeling using continuous timed Petri nets,” Mathematical Problems in Engineering, vol. 2013, Article ID 639306, pp. 1–9, 2013.

    Article  Google Scholar 

  5. G. Desirena-López, C. R. Vázquez, A. Ramírez-Treviño, and D. Gómez-Gutiérrez, “Thermal modelling for temperature control in MPSoC’s using timed continuous Petri nets,” Proc. of IEEE International Conference on Control Applications (CCA), pp. 2135–2140, 2014.

  6. C. R. Vázquez, H. Y. Sutarto, R. Boel, and M. Silva, “Hybrid Petri net model of a traffic intersection in an urban network,” Proc. of IEEE International Conference on Control Applications (CCA), IEEE, pp. 658–664, 2010.

  7. M. Silva, J. Júlvez, C. Mahulea, and C. R. Vázquez, “On fluidization of discrete event models: Observation and control of continuous Petri nets,” Discrete Event Dynamic Systems, vol. 21, no. 4, pp. 427–497, 2011.

    Article  MathSciNet  Google Scholar 

  8. H. Hu, B. Jiang, H. Yang, and S. Alexey, “Robust multi-objective H∞ reliable control for delta operator switched uncertain linear systems,” International Journal of Control, Automation and Systems, vol. 13, no. 3, pp. 662–671, 2015.

    Article  Google Scholar 

  9. Y. K. Zhong, T. F. Chen, and C. Y. Chen, “Robust fault estimation for uncertain switched linear systems with time-varying delay,” Journal of Central South University, vol. 22, no. 11, pp. 4254–4262, 2015.

    Article  Google Scholar 

  10. D. Du and S. Xu, “Actuator fault detection for discrete-time switched linear systems with output disturbance,” International Journal of Control, Automation and Systems, vol. 15, no. 6, pp. 2590–2598, 2017.

    Article  Google Scholar 

  11. S. C. Johnson, A. Chakrabarty, J. Hu, S. H. Żak, and R. A. DeCarlo, “Dual-mode robust fault estimation for switched linear systems with state jumps,” Nonlinear Analysis: Hybrid Systems, vol. 27, pp. 125–140, 2018.

    MathSciNet  MATH  Google Scholar 

  12. Q. Zhu, T. Saravanakumar, S. Gomathi, and S. M. Anthoni, “Finite-time extended dissipative based optimal guaranteed cost resilient control for switched neutral systems with stochastic actuator failures,” IEEE Access, vol. 7, pp. 90289–90303, 2019.

    Article  Google Scholar 

  13. T. Saravanakumar, V. J. Nirmala, R. Raja, J. Cao, and G. Lu, “Finite-time reliable dissipative control of neutral-type switched artificial neural networks with non-linear fault inputs and randomly occurring uncertainties,” Asian Journal of Control, vol. 22, no. 6, pp. 2487–2499, 2020.

    Article  MathSciNet  Google Scholar 

  14. A. Ramírez-Treviño, E. Ruiz-Beltrán, J. Aramburo-Lizarraga, and E. López-Mellado, “Structural diagnosability of DES and design of reduced Petri net diagnosers,” IEEE Transactions on Systems, Man, and Cybernetics, Part A (Systems and Humans), vol. 42, no. 2, pp. 416–429, 2012.

    Article  Google Scholar 

  15. X. Yin and S. Lafortune, “On the decidability and complexity of diagnosability for labeled Petri nets,” IEEE Transactions on Automatic Control, vol. 62, no. 11, pp. 5931–5938, 2017.

    Article  MathSciNet  Google Scholar 

  16. F. Basile, P. Chiacchio, and G. de Tommasi, “On kdiagnosability of Petri nets via integer linear programming,” Automatica, vol. 48, no. 9, pp. 2047–2058, 2012.

    Article  MathSciNet  Google Scholar 

  17. M. Navarro-Gutiérrez, A. Ramírez-Treviño, D. Gómez-Gutiérrez, and J. Ruiz-León, “Structural fault detection in join free timed continuous Petri nets,” Proc. of IFAC-PapersOnLine, vol. 48, no. 7, pp. 118–123, 2015.

    Article  Google Scholar 

  18. J. A. Fraustro, J. Ruiz-León, C. R. Vázquez, and A. Ramírez-Treviño, “Structural fault diagnosis in timed continuous Petri nets,” Proc. of 13th International Workshop on Discrete Event Systems (WODES), pp. 159–164, 2016.

  19. R. Casas-Carrillo, O. Begovich, J. Ruiz-León, and A. Ramírez-Treviño, “Sufficient conditions and sensor placement for structural fault diagnosis in a class of timed continuous Petri nets,” Proc. of IFAC-PapersOnLine, vol. 51, no. 13, pp. 61–66, 2018.

    Article  Google Scholar 

  20. E. Aguayo-Lara, A. Ramírez-Treviño, and J. Ruiz-León, “Sensor placement for distinguishability and single structure observer design in continuous timed Petri nets,” Nonlinear Analysis: Hybrid Systems, vol. 12, pp. 20–32, 2014.

    MathSciNet  MATH  Google Scholar 

  21. K. Renganathan and V. Bhaskar, “Observer based on-line fault diagnosis of continuous systems modeled as Petri nets,” ISA Transactions, vol. 49, no. 4, pp. 587–595, 2010.

    Article  Google Scholar 

  22. J. Fraustro-Valdez, G. Desirena-López, A. Ramírez-Treviño, and J. Ruiz-León, “Sliding mode diagnosers for leakage faults on timed continuous Petri nets,” Proc. of IFAC-PapersOnLine, vol. 48, no. 7, pp. 110–117, 2015.

    Article  Google Scholar 

  23. R. Casas-Carrillo, O. Begovich, J. Ruiz-León, and S. Čelikovský, “Adaptive fault diagnoser based on PSO algorithm for a class of timed continuous Petri nets,” Proc. of IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1–7, 2016.

  24. M. A. Massoumnia, G. C. Verghese, and A. S. Willsky, “Failure detection and identification,” IEEE Transactions on Automatic Control, vol. 34, no. 3, pp. 316–321, 1989.

    Article  MathSciNet  Google Scholar 

  25. L. Recalde, S. Haddad, and M. Silva, “Continuous petri nets: Expressive power and decidability issues,” International Journal of Foundations of Computer Science, vol. 21, no. 2, pp. 235–256, 2010.

    Article  MathSciNet  Google Scholar 

  26. M. Silva, “Introducing Petri nets,” in Practice of Petri Nets in Manufacturing, pp. 1–62, Springer, 1993.

  27. R. Storn and K. Price, “Differential evolution — A simple and efficient heuristic for global optimization over continuous spaces,” Journal of Global Optimization, vol. 11, no. 4, pp. 341–359, 1997.

    Article  MathSciNet  Google Scholar 

  28. K. Price, R. M. Storn, and J. A. Lampinen, Differential Evolution: A Practical Approach to Global Optimization. Springer Science & Business Media, 2006.

  29. S. Das, S. S. Mullick, and P. N. Suganthan, “Recent advances in differential evolution — An updated survey,” Swarm and Evolutionary Computation, vol. 27, pp. 1–30, 2016.

    Article  Google Scholar 

  30. J. Liu, Z. Zhou, and Z. Wang, “Online fault diagnosis in discrete event systems with partially observed Petri nets,” International Journal of Control, Automation and Systems, vol. 16, no. 1, pp. 217–224, 2018.

    Article  Google Scholar 

  31. H. A. Awad, “A unified frame work for discrete event systems,” International Journal of Control, Automation and Systems, vol. 11, no. 5, pp. 868–877, 2013.

    Article  Google Scholar 

  32. R. Isermann, Fault-diagnosis Systems: An Introduction from Fault Detection to Fault Tolerance, Springer Science & Business Media, 2006.

  33. J. Júlvez, E. Jiménez, L. Recalde, and M. Silva, “On observability and design of observers in timed continuous Petri net systems,” IEEE Transactions on Automation Science and Engineering, vol. 5, no. 3, pp. 532–537, 2008.

    Article  Google Scholar 

  34. T. Kailath, Linear Systems, vol. 156. Prentice-Hall Engle-wood Cliffs, NJ, 1980.

    MATH  Google Scholar 

  35. G. Basile and G. Marro, Controlled and Conditioned Invariants in Linear System Theory, Prentice Hall, Engle-wood Cliffs, NJ, 1992.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CINVESTAV-IPN Unidad Guadalajara, Av. del Bosque 1145, El Bajío, 45017, Zapopan, Jalisco, México

    Ricardo Casas Carrillo, Ofelia Begovich Mendoza, Antonio Ramírez Treviño & Javier Ruiz León

  2. Intel Corp., Av. del Bosque 1101, El Bajío, 45017, Zapopan, México

    Ricardo Casas Carrillo

Authors
  1. Ricardo Casas Carrillo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ofelia Begovich Mendoza
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antonio Ramírez Treviño
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Javier Ruiz León
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ofelia Begovich Mendoza.

Additional information

Recommended by Associate Editor Jun Cheng under the direction of Editor Kyoung Kwan Ahn.

The first author, R. Casas-Carrillo, thanks CONACYT for the granted scholarship to develop this work in his Ph.D. degree.

Ricardo Casas Carrillo was born in Torreón, Coahuila, México. He obtained his B.Sc. degree in mechatronic engineering from The Instituto Tecnológico de la Laguna, México, in 2013. He obtained an M.Sc. degree, in 2015, and a Ph.D. degree, in 2020, both in electrical engineering from CINVESTAV Unidad Guadalajara, México. He is currently an Electrical Validation Engineer at Intel Corporation, México.

Ofelia Begovich Mendoza was born in México City, México. She obtained her M.Sc. in electrical engineering from CIN-VESTAV, México City, in 1987, and a Ph.D. degree in electrical engineering from the University of Rennes I, Rennes, France in 1992. Since 1992, she is a professor of electrical engineering of graduate program in CINVESTAV, Guadalajara, México. Her major research fields are the control of processes, leak diagnosis, control, and monitoring of greenhouses and heuristic optimization applied to parameter estimation.

Antonio Ramírez Treviño is an active Professor of Automation in Cinvestav Unidad Guadalajara, México. He obtained his B.Sc. degree in electrical engineering from the Universidad Autonoma Metropolitana, México City, México, in 1986, an M.Sc. degree from the Cinvestav, México in 1990, and a Ph.D. degree from the Universidad de Zaragoza, Zaragoza, Spain in 1993. His main research field deals with scheduling, analysis and control of discrete event systems, including controllability, observabillity, and stability.

Javier Ruiz León received his M.Sc. degree from CINVESTAV, México, in 1992, and a Ph.D. degree from the Czech Technical University in Prague, Czech Republic, in 1996. He is currently working at CINVESTAV Campus Guadalajara, México. His research interests include linear system theory and hybrid systems.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Carrillo, R.C., Mendoza, O.B., Treviño, A.R. et al. Sufficient Structural Conditions for Diagnosability and Heuristic Diagnoser Design in Timed Continuous Petri Nets. Int. J. Control Autom. Syst. 19, 3588–3597 (2021). https://doi.org/10.1007/s12555-020-0447-0

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12555-020-0447-0

Keywords

Search

Navigation