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.
- 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 Scholar
- Blanke, M., Kinnaert, M., Lunze, J., and Staroswiecki, M. 2006. Diagnosis and Fault-Tolerant Control. Springer. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- David, R. and Alla, H. 2005. Discrete, Continuous, and Hybrid Petri Nets. Springer. Google Scholar
Digital Library
- Dideban, A. and Alla, H. 2008. Reduction of constraints for controller synthesis based on safe Petri nets. Automatica 44, 7, 1697--1706. Google Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Digital Library
- Krogh, B. H. and Holloway, L. E. 1991. Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27, 4, 641--651. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
- Liu, F. and Qiu, D. 2008. Safe Diagnosability of Stochastic Discrete Event Systems. IEEE Trans. Autom. Control 53, 5, 1291--1296.Google Scholar
Cross Ref
- 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 Scholar
Cross Ref
- Paoli, A. and Lafortune, S. 2005. Safe diagnosability for fault-tolerant supervision of discrete-event Systems. Automatica 41, 1335--1347. Google Scholar
Digital Library
- Ramadge, P. J. and Wonham, W. M. 1989. The control of discrete event systems. Proc. IEEE 77, 1, 81--98.Google Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
Index Terms
Fault Modeling in Discrete Event Systems Using Petri Nets
Recommendations
Fault model identification and synthesis in Petri nets
Fault identification studies in the Discrete Event Systems literature are typically model-based and require knowledge of the structure of the system, including the nature (and behavior) of the possible faults. In this paper we consider this problem ...
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
In this paper, we study fault diagnosis in discrete event systems modeled by partially observed Petri nets, i.e., Petri nets equipped with sensors that allow observation of the number of tokens in some of the places and/or partial observation of the ...
Controller synthesis by petri nets modeling
VECoS'09: Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication SystemsIn this paper, we present two different methods for the synthesis of a simplified controller using Petri Nets. The supervisory control theory presented by Ramadge and Wonham is adapted to Petri nets modeling. Uncontrollable transitions in discrete event ...






Comments