Distributed diagnosis of place-bordered petri nets

IEEE Transactions on Automation Science and Engineering

Volumn 4, Issue 2, 2007, Pages 206-219

  Gene, Sahika ^b   Lafortune, Stéphane ^a,c  

^a IEEE   (United States)

^b GE GLOBAL RESEARCH   (United States)

^c UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Distributed algorithms; Fault diagnosis; Petri nets; Software implementation

Indexed keywords

FAULT DIAGNOSIS ALGORITHM; MODELING FORMALISM; SOFTWARE IMPLEMENTATION; SOFTWARE TOOLBOX;

AIR CONDITIONING; COMPUTER AIDED SOFTWARE ENGINEERING; DYNAMICAL SYSTEMS; FAILURE ANALYSIS; FAULT DETECTION; MATLAB; PARALLEL ALGORITHMS;

PETRI NETS;

EID: 34147120124     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2006.879916     Document Type: Article

References (21)

1. S. Lafortune, D. Teneketzis, M. Sampath, R. Sengupta, and K. Sinnamohideen, "Failure diagnosis of dynamic systems: An approach based on discrete event systems," in Proc. American Control Conf., Jun. 2001, pp. 2058-2071.
2. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete event models," IEEE Trans. Control Syst. Technol., vol. 4, no. 2, pp. 105-124, Mar. 1996.
3. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 10, no. 1/2, pp. 33-86, Jan. 2000.
4. O. Contant, S. Lafortune, and D. Teneketzis, "Diagnosis of modular discrete event systems," presented at the Int. Workshop on Discrete Event Systems, Reims, France, Sep. 2004.
5. J. Sifakis, "Realization of fault-tolerant systems by coding Petri nets," J. Design Automation and Fault-Tolerant Computing, vol. 3, pp. 93-107, Apr. 1979.
6. A. Giua, "Petri net state estimators based on event observation," in Proc. 36th IEEE Conf. Decision and Control, Dec. 1997, pp. 4086-4091.
7. C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using petri net embeddings," in Application and Theory of Petri Nets 1999 (Series Lecture Notes in Computer Science). Heidelberg, Germany: Springer Berlin, 1999, vol. 1639, pp. 188-207.
8. A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosis of asynchronous discrete event systems, a net unfolding approach," IEEE Trans. Autom. Control, vol. 48, no. 5, pp. 714-727, May 2003.
9. R. K. Boel and G. Jiroveanu, "Distributed contextual diagnosis for very large systems," presented at the Int. Workshop on Discrete Event Systems, Reims, France, Sep. 2004.
10. R.K. Boel and G. Jiroveanu, "A distributed approach for fault detection and diagnosis based on time Petti nets," presented at the CESA, Lille, France, Jul. 2003.
11. A. Giua, D. Corona, and C. Seatzu, "State estimation of λ-free labeled Petri nets with contact-free nondeterministic transitions," Discr. Event Dynam. Syst.: Theory Applicat., vol. 15, no. 1, pp. 85-108, Mar. 2005.
12. M. H. de Queiroz and J. E. R. Cury, "Modular control of composed systems," in Proc. American Control Conf., Chicago, IL, Jun. 2000.
13. R. Su, W. Wonham, J. Kurien, and X. Koutsoukos, "Distributed diagnosis for qualitative systems," in Proc. Int. Workshop on Discrete Event Systems, M. Silva, A. Giua, and J. Colom, Eds. Los Alamitos, CA: IEEE Comput. Soc., Oct. 2002, pp. 169-174.
14. R. Su and W. Wonham, "Hierarchical distributed diagnosis under global consistencys," in Proc. Int. Workshop on Discrete Event Systems, M. Silva, A. Giua, and J. Colom, Eds., Sep. 2004, pp. 157-162.
15. S. Gene and S. Lafortune, "Distributed diagnosis of discrete-event systems using Petri nets," in Application and Theory of Petri Nets, 2003 (Series Lecture Notes in Computer Science). Heidelberg, Germany: Springer-Verlag, Jun. 2003, vol. 2679, pp. 316-336.
16. S. Gene and S. Lafortune, "A distributed algorithm for on-line diagnosis of place-bordered Petri nets," presented at the 16th Int. Federation of Automatic Control World Congr., Prague, Czech Republic, Jul. 2005.
17. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
18. M. Zhou and F. Dicesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
19. M. Zhou and K. Venkatesh, Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1999.
20. A. A. Desrochers and R. Y. Al Jaar, Applications of Petri Nets in Automated Manufacturing Systems: Modeling, Control, and Performance Analysis. New York: IEEE Press, 1995.
21. J.-M. Proth and X. Xie, Petri Nets: A Tool for Design and Management of Manufacturing Systems. New York: Wiley, 1996.