An optimal design approach for fault-tolerant Petri net controllers using arc weights minimization

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 42, Issue 5, 2012, Pages 1301-1308

  Qu, Yizhi ^a,b   Li, Lingxi ^a   Chen, Yaobin ^a   Dai, Yaping ^b  

^a Indiana University Purdue University Indianapolis   (United States)

^b BEIJING INSTITUTE OF TECHNOLOGY   (China)

Author keywords

Arc weights minimization; fault tolerance; optimal design; Petri nets

Indexed keywords

FAULT TOLERANT CONTROLLERS; FAULT-TOLERANT; INPUT AND OUTPUTS; OPTIMAL DESIGN; OPTIMALITY; PETRI NET CONTROLLER; SYSTEM CONTROLLERS;

FAULT TOLERANCE; OPTIMAL SYSTEMS; OPTIMIZATION;

PETRI NETS;

EID: 84865405124     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2011.2178827     Document Type: Article

References (27)

1. B. Johnson, Design and Analysis of Fault-Tolerant Digital Systems. Reading, MA: Addison-Wesley, 1989.
2. D. P. Siewiorek and R. S. Swarz, Reliable Computer Systems: Design and Evaluation, 3rd ed. Natick, MA: A. K. Peters, Ltd., 1998.
3. M. Peercy and P. Banerjee, "Fault tolerant VLSI systems," Proc. IEEE, vol. 81, no. 5, pp. 745-758, May 1993. (Pubitemid 23695273)
4. F.-S. Hsieh, "Fault-tolerant deadlock avoidance algorithm for assembly processes," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 65-79, Jan. 2004.
5. S. Hwang and H. Pham, "Quasi-renewal time-delay fault-removal consideration in software reliability modeling," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 1, pp. 200-209, Jan. 2009.
6. W. Luo, X. Qin, X.-C. Tan, K. Qin, and A. Manzanares, "Exploiting redundancies to enhance schedulability in fault-tolerant and real-time distributed systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 3, pp. 626-639, May 2009.
7. D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, and A. E. Lindsey, "Communication protocols for a fault-tolerant automated highway system," IEEE Trans. Control Syst. Technol., vol. 8, no. 5, pp. 787-800, Sep. 2000.
8. Q. Wen, R. Kumar, J. Huang, and H. Liu, "A framework for fault-tolerant control of discrete event systems," IEEE Trans. Autom. Control, vol. 53, no. 8, pp. 1839-1849, Sep. 2008.
9. A. Sengupta, D. K. Chattopadhyay, A. Palit, A. K. Bandyopadhyay, and A. K. Choudhury, "Realization of fault-tolerant machines-linear code application," IEEE Trans. Comput., vol. C-30, no. 3, pp. 237-240, Mar. 1981. (Pubitemid 11487998)
10. G. R. Redinbo, "Finite field fault-tolerant digital filtering architectures," IEEE Trans. Comput., vol. C-36, no. 10, pp. 1236-1242, Oct. 1987.
11. C. N. Hadjicostis, "Finite-state machine embeddings for nonconcurrent error detection and identification," IEEE Trans. Autom. Control, vol. 50, no. 2, pp. 142-153, Feb. 2005. (Pubitemid 40319346)
12. C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using Petri net embeddings," in Proc. Appl. Theory Petri Nets (Series Lecture Notes in Computer Science), 1999, vol. 1639, pp. 188-207.
13. Y.Wu and C. N. Hadjicostis, "Algebraic approaches for fault identification in discrete-event systems," IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 2048-2055, Dec. 2005.
14. L. Li, C. N. Hadjicostis, and R. S. Sreenivas, "Fault detection and identification in Petri net controllers," in Proc. 43rd IEEE Conf. Decision Control, Dec. 2004, pp. 5248-5253. (Pubitemid 40297827)
15. L. Li, C. N. Hadjicostis, and R. S. Sreenivas, "Designs of bisimilar Petri net controllers with fault tolerance capabilities," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 207-217, Jan. 2008.
16. F. Basile, P. Chiacchio, and A. Giua, "Petri net monitor design with control and observation costs," in Proc. 39th IEEE Conf. Decision Control, Dec. 2000, pp. 424-429. (Pubitemid 32528759)
17. F. Basile, P. Chiacchio, and A. Giua, "An optimization approach to Petri net monitor design," IEEE Trans. Autom. Control, vol. 52, no. 2, pp. 306- 311, Feb. 2007. (Pubitemid 46444286)
18. A. Giua, C. Mahulea, L. Recalde, C. Seatzu, and M. Silva, "Optimal control of continuous Petri nets via model predictive control," in Proc. 8th Int. Workshop Discrete Event Syst., Jul. 2006, pp. 235-241. (Pubitemid 46949269)
19. C. Mahulea, A. Giua, L. Recalde, C. Seatzu, and M. Silva, "Optimal model predictive control of timed continuous Petri nets," IEEE Trans. Autom. Control, vol. 53, no. 7, pp. 1731-1735, Aug. 2008.
20. H. Hu,M. C. Zhou, and Z.W. Li, "Supervisory controller optimization for deadlock resolution in automated manufacturing systems with timed Petri nets," in Proc. Int. Conf. Netw., Sens., Control, Mar. 2009, pp. 91-96.
21. 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, May 2008.
22. K. Xing, M. C. Zhou, H. Liu, and F. Tian, "Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 1, pp. 188-199, Jan. 2009.
23. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
24. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
25. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
26. K. Yamalidou, J. Moody, M. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996. (Pubitemid 126337854)
27. R. E. Berlekamp, Algebraic Coding Theory. Laguna Hills, CA: Aegean Park Press, Revised 1984.