Designs of bisimilar Petri net controllers with fault tolerance capabilities

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

Volumn 38, Issue 1, 2008, Pages 207-217

  Li, Lingxi ^a   Hadjicostis, Christoforos N ^a   Sreenivas, Ramavarapu S ^a,b  

^a University of Illinois at Urbana Champaign   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Bisimulation equivalence; Fault tolerance; Petri nets; Redundant Petri net controllers

Indexed keywords

CONTROL EQUIPMENT; ERRORS; FAULT DETECTION; GRAPH THEORY; KETONES; MARINE BIOLOGY; PETRI NETS; QUALITY ASSURANCE; RELIABILITY;

BISIMULATION; BISIMULATION EQUIVALENCE; BISIMULATION EQUIVALENCES; EMBEDDING; EMBEDDINGS; FAULT DETECTION AND IDENTIFICATIONS; INVARIANT CONDITIONS; LINEAR PARITY CHECKS; NECESSARY AND SUFFICIENT CONDITIONS; PETRI NET CONTROLLERS; PETRI-NET; PRODUCTION CELLS; REDUNDANT CONTROLLERS; REDUNDANT PETRI NET CONTROLLERS; TWO TYPES;

FAULT TOLERANCE;

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

References (36)

1. 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.
2. G. R. Redinbo, "Finite field fault-tolerant digital filtering architectures," IEEE Trans. Comput., vol. C-36, no. 10, pp. 1236-1242, Oct. 1987.
3. C. N. Hadjicostis and G. C. Verghese, "Encoded dynamics for fault tolerance in linear finite-state machines," IEEE Trans. Autom. Control, vol. 47, no. 1, pp. 189-192, Jan. 2002.
4. G. X. Wang and G. R. Redinbo, "Probability of state transition errors in a finite state machine containing soft failures," IEEE Trans. Comput., vol. C-33, no. 3, pp. 269-277, Mar. 1984.
5. R. Leveugle and G. Saucier, "Optimized synthesis of concurrently checked controllers," IEEE Trans. Comput., vol. 39, no. 4, pp. 419-425, Apr. 1990.
6. C. N. Hadjicostis and G. C. Verghese, "Fault-tolerant computation in groups and semigroups," J. Franklin Inst., vol. 339, no. 4/5, pp. 387-430, Jul./Aug. 2002.
7. 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.
8. C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using Petri net embeddings," in Proc. Appl. Theory Petri Nets. London, U.K.: Springer-Verlag, 1999, vol. 1639, pp. 188-207.
9. 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.
10. 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.
11. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Oct. 1992, vol. 2, pp. 974-979.
12. F.-Y. Wang, "Supervisory control for concurrent discrete event dynamic systems based on Petri nets," in Proc. 31st IEEE Conf. Decision Control, Dec. 1992, pp. 1196-1197.
13. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
14. Y. Li and W. Wonham, "Control of vector discrete-event systems II - Controller synthesis," IEEE Trans. Autom. Control, vol. 39, no. 3, pp. 512-531, Mar. 1994.
15. K. Yamalidou, J. O. Moody, M. D. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996.
16. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
17. M. D. Jeng and X. L. Xie, "ERCN merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 102-112, Jan. 2004.
18. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net models for controlled discrete event systems," Discret. Event Dyn. Syst.: Theory Appl., vol. 7, no. 2, pp. 151-190, Apr. 1997.
19. R. Bouyekhf and A. E. Moudni, "On the analysis of some structural properties of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 35, no. 6, pp. 784-794, Nov. 2005.
20. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
21. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
22. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
23. P. Jancar, "Decidability questions for bisimilarity of Petri nets and some related problems," in Proc. 11th Annu. Symp. Theoretical Aspects Comput. Sci., 1994, pp. 581-592.
24. E.-R. Olderog, Strong Bisimilarity on Nets: A New Concept for Comparing Net Semantics, vol. 354. New York: Springer-Verlag, 1988, pp. 549-573.
25. R. Valk and G. Vidal-Naquet, "Petri nets and regular languages," J. Comput. Syst. Sci., vol. 23, no. 3, pp. 299-325, Dec. 1981.
26. R. Milner, Communication and Concurrency. Englewood Cliffs, NJ: Prentice-Hall, 1989.
27. Y. Hirshfeld, "Petri nets and the equivalence problem," in Proc. 7th Workshop Comput. Sci. Logic, 1994, pp. 165-174.
28. P. Jancar and F. Moller, "Checking regular properties of Petri nets," in Proc. 6th Int. Conf. Concurrency Theory, 1995, pp. 348-362.
29. P. Jancar, "Undecidability of bisimilarity for Petri nets and some related problems," Theor. Comput. Sci., vol. 148, no. 2, pp. 281-301, Sep. 1995.
30. P. Jancar and J. Esparza, "Deciding finiteness of Petri nets up to bisimulation," in Proc. 23rd Int. Colloq. Automata, Lang. Program. 1996, pp. 478-489.
31. E. Mayr, "An algorithm for the general Petri net reachability problem," SIAM J. Comput., vol. 13, no. 3, pp. 441-460, Aug. 1984.
32. B. Johnson, Design and Analysis of Fault-Tolerant Digital Systems. Reading, MA: Addison-Wesley, 1989.
33. D. P. Siewiorek and R. S. Swarz, Reliable Computer Systems: Design and Evaluation, 3rd ed. Wellesley, MA: A.K. Peters, 1998.
34. C. N. Hadjicostis, Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems. Norwell, MA: Kluwer, 2002.
35. D. Andreu, J.-C. Pascal, and R. Valette, "Fuzzy Petri net-based programmable logic controller," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 27, no. 6, pp. 952-961, Dec. 1997.
36. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.