skip to main content
research-article

Fault Modeling in Discrete Event Systems Using Petri Nets

Published:01 January 2013Publication History
Skip Abstract Section

Abstract

In this article a model-based controller reconfiguration method for fault-tolerant control of discrete event systems has been introduced. In this method, we model the fault conditions for each specified fault as a new model called fault model. The system then consists of three different models called process, specification and fault. The faulty parts of the system are not permitted to do any job and the controller tries to enforce the specifications by other parts of the system. With this method, the controller reconfiguration problem for fault- tolerant control of discrete event systems converts to the problem of synchronizing the process, specification and fault model. We must synthesize a supervisor that can enforce both specifications and faults status. If this supervisor can be determined, we can achieve a fault-tolerant controller. Implementing both specification and fault models in the system, may lead to a large number of forbidden states and constraints and so on a more complicated forbidden states problem must be solved. The application of constraints simplification methods is shown. By the existing methods for offline simplifying of constraints, we can arrive at a simplified fault tolerant controller.

References

  1. Blanke, M., Frei, C. W., Kraus, F., Patton, R. J., and Staroswiecki, M. 2000. What is fault-tolerant control? In Proceedings of the 4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes.Google ScholarGoogle Scholar
  2. Blanke, M., Kinnaert, M., Lunze, J., and Staroswiecki, M. 2006. Diagnosis and Fault-Tolerant Control. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Darabi, H., Jafari, M. A., and Buczak, A. L. 2003. A control switching theory for supervisory control of discrete event systems. IEEE Trans. Rob. Autom. 19, 1, 131--137.Google ScholarGoogle ScholarCross RefCross Ref
  4. David, R. and Alla, H. 2005. Discrete, Continuous, and Hybrid Petri Nets. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Dideban, A. and Alla, H. 2008. Reduction of constraints for controller synthesis based on safe Petri nets. Automatica 44, 7, 1697--1706. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Dideban, A., Zareiee, M., and Alla, H. 2009. Controller synthesis with very simplified linear constraints in PN model. In Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems.Google ScholarGoogle Scholar
  7. Giua, A. and Dicesare, F. 1990. Easy synchronized Petri nets as discrete event models. In Proceedings of the 29th IEEE International Conference on Decision and Control. 2839--2844.Google ScholarGoogle Scholar
  8. Giua, A. and Dicesare, F. 1991. Supervisory design using Petri Nets. In Proceedings of the 30th IEEE International Conference on Decision and Control. 92--97.Google ScholarGoogle Scholar
  9. Giua, A., Dicesare, F., and Silva, M. 1992. Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. 974--979.Google ScholarGoogle Scholar
  10. Hashtrudi Zad, S., Kwong, R. H., and Wonham, W. M. 2005. Fault diagnosis in discrete-event systems: Incorporating timing information. IEEE Trans. Autom. Control 50, 7, 1010--1015.Google ScholarGoogle ScholarCross RefCross Ref
  11. Holloway, L. E. and Krogh, B. H. 1990. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans. Autom. Control 35, 8, 514--523.Google ScholarGoogle ScholarCross RefCross Ref
  12. Iordache, M. V. and Antsaklis, P. J. 2004. Resilience to failure and reconfigurations in the supervision based on place invariants. In Proceedings of the American Control Conference. 4477--4482.Google ScholarGoogle Scholar
  13. Jiroveanu, G. and Boel, R. K. 2006. A distributed approach for fault detection and diagnosis based on Time Petri Nets. Math. Comput. Simul. 70, 287--313. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Krogh, B. H. and Holloway, L. E. 1991. Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27, 4, 641--651. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Kumar, R. and Holloway, L. E. 1996. Supervisory control of deterministic Petri Nets with regular specification languages. IEEE Trans. Autom. Control 41, 2, 245--249.Google ScholarGoogle ScholarCross RefCross Ref
  16. Li, L., Hadjicostis, C. N., and Sreenivas, R. S. 2004. Fault detection and identification in Petri net controllers. In Proceedings of the 43rd IEEE Conference on Decision and Control. 5248--5253.Google ScholarGoogle Scholar
  17. Liu, F. and Qiu, D. 2008. Safe Diagnosability of Stochastic Discrete Event Systems. IEEE Trans. Autom. Control 53, 5, 1291--1296.Google ScholarGoogle ScholarCross RefCross Ref
  18. Miyagi, P. E. and Riascos, L. A. M. 2006. Modeling and analysis of fault-tolerant systems for machining operations based on Petri Nets. Control Eng. Pract. 14, 397--408.Google ScholarGoogle ScholarCross RefCross Ref
  19. Paoli, A. and Lafortune, S. 2005. Safe diagnosability for fault-tolerant supervision of discrete-event Systems. Automatica 41, 1335--1347. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Ramadge, P. J. and Wonham, W. M. 1989. The control of discrete event systems. Proc. IEEE 77, 1, 81--98.Google ScholarGoogle ScholarCross RefCross Ref
  21. Sampath, R., Darabi, H., Buy, U., and Liu, J. 2008. Control reconfiguration of discrete event systems with dynamic control specifications. IEEE Trans. Autom. Sci. Eng. 5, 1, 84--100.Google ScholarGoogle ScholarCross RefCross Ref
  22. Supavatanakul, P., Lunze, J., Puig, V., and Quevedo, J. 2005. Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem. Control Engin. Pract. 14, 609--619.Google ScholarGoogle ScholarCross RefCross Ref
  23. Tabakow, I. G., 2005. Fault diagnosis of discrete event systems using place invariants. In Proceedings of the 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science, vol. 3682, 541--547. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Wen, Q., Kumar, R., Huang, J., and Liu, H. 2008. A framework for fault-tolerant control of discrete event systems. IEEE Trans. Autom. Control 53, 8, 1839--1849.Google ScholarGoogle ScholarCross RefCross Ref
  25. Xue, F. and Zheng, D. Z. 2005. Fault tolerant supervisory for discrete event systems based on event observer. In Proceedings of the International Conference on Intelligent Computing. Lecture Notes in Computer Science, vol. 3645, 655--664. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Yamalidou, C., Moody, J., Lemmon, M., and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica 32, 1, 15--28. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Yang, X. and Chen, L. J. 2009. Design and fault diagnosis of Petri Net controllers for Petri Nets with uncontrollable and unobservable transitions. J. Manuf. Syst. 28, 17--22.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Fault Modeling in Discrete Event Systems Using Petri Nets

              Recommendations

              Comments

              Login options

              Check if you have access through your login credentials or your institution to get full access on this article.

              Sign in

              Full Access

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader
              About Cookies On This Site

              We use cookies to ensure that we give you the best experience on our website.

              Learn more

              Got it!