An Improved Approach to Test Diagnosability of Bounded Petri Nets

Ran Ning; Su Hongye; Wang Shouguang

doi:10.1109/JAS.2017.7510406

Volume 4 Issue 2

Apr. 2017

IEEE/CAA Journal of Automatica Sinica

JCR Impact Factor: 15.3, Top 1 (SCI Q1)

CiteScore: 23.5, Top 2% (Q1)
Google Scholar h5-index: 77， TOP 5

Turn off MathJax

Article Contents

Article Navigation > IEEE/CAA Journal of Automatica Sinica > 2017 > 4(2): 297-303

Ning Ran, Hongye Su and Shouguang Wang, "An Improved Approach to Test Diagnosability of Bounded Petri Nets," IEEE/CAA J. Autom. Sinica, vol. 4, no. 2, pp. 297-303, Apr. 2017. doi: 10.1109/JAS.2017.7510406

Citation:

Ning Ran, Hongye Su and Shouguang Wang, "An Improved Approach to Test Diagnosability of Bounded Petri Nets," IEEE/CAA J. Autom. Sinica, vol. 4, no. 2, pp. 297-303, Apr. 2017. doi: 10.1109/JAS.2017.7510406

Citation:

PDF( 594 KB)

An Improved Approach to Test Diagnosability of Bounded Petri Nets

doi: 10.1109/JAS.2017.7510406

Ran Ning^1
,,
Su Hongye^1
,,
Wang Shouguang^{2
,
,}

1.
State Laboratory of Industrial Control Technology, Institute of Cyber-Systems and Control, Zhejiang University, Yuquan Campus, Hangzhou 310027, China
2.
School of Information & Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China

Funds:

National Natural Science Foundation of China 61134007

National Basic Research Program of China 2013CB035406

More Information

Author Bio:
Ning Ran received the B. S. degree in automation from Hebei University, Baoding, China, in 2010, and the M.S. degree in control theory and control engineering from North China Electric Power University, Baoding, China, in 2013, and is currently pursuing the Ph.D. degree in control science and engineering at Zhejiang University, Hangzhou, China, and is also with the Institute of Cyber-Systems and Control, Zhejiang University. His current research interests include discrete event systems and fault diagnosis.(e-mail: ranning87@hotmail.com)

Hongye Su received the B.S. degree in industrial automation from Nanjing University of Chemical Technology, Nanjing, China, in 1990, and the M.S. and Ph.D. degrees from Zhejiang University, Hangzhou, China, in 1993 and 1995, respectively. From 1995 to 1997, he was a lecturer with the Department of Chemical Engineering, Zhejiang University, where he was an associate professor with the Institute of Advanced Process Control from 1998 to 2000. He is currently a professor with the Institute of Cyber-Systems and Control, Zhejiang University. His current research interests include robust controls, time-delay systems, and advanced process control theory and applications.(e-mail:hysu@iipc.zju.edu.cn)
Corresponding author: Shouguang Wang received B.S. degree in computer science from the Changsha University of Science and Technology, Changsha, China, in 2000, and the Ph.D. degree in electrical engineering from Zhejiang University, Hangzhou, China, in 2005. He joined Zhejiang Gongshang University in 2005, where he is currently a Professor with the School of Information and Electronic Engineering, the director of the Discrete-Event Systems Group and the dean of System Control and modeling Research Institute in Zhejiang Gongshang University. He was a visiting professor with the Department of Electrical and Computer Engineering, New Jersey Institute of technology, Newark, NJ, from Jan. 2011 to Jan. 2012. He is a visiting professor with the Electrical and Electronic Engineering Department, University of Cagliari, Cagliari, Italy, from Dec. 2014 to Dec. 2015. He was the dean of the Department of Measuring & Control Technology and Instrument from July 2011 to July 2014. Corresponding author of this paper.(e-mail: wsg5000@hotmail.com)
Received Date: 2016-08-28
Accepted Date: 2016-09-30

Abstract

Abstract

For bounded Petri nets, Cabasino et al. propose a diagnosability test method that is based on the analysis of a modified basis reachability graph and a basis reachability diagnoser. However, its complexity is exponential in the number of nodes of the basis reachability diagnoser. In order to reduce the complexity of their method, this paper presents a new diagnosability test approach for bounded Petri nets. We present the concept of an extended basis reachability graph and prove that our approach is of polynomial complexity in the number of nodes of extended basis reachability graphs. An example is given to illustrate the application of the presented approach.
- Diagnosability,
- discrete event systems (DES),
- fault diagnosis,
- Petri nets

FullText(HTML)

References(23)

References

[1]	M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems, " IEEE Trans. Automat. Contr. , vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
[2]	S. B. Jiang, Z. D. Huang, V. Chandra, and R. Kumar, "A polynomial algorithm for testing diagnosability of discrete-event systems, " IEEE Trans. Automat. Contr. , vol. 46, no. 8, pp. 1318-1321, Aug. 2001. http://www.researchgate.net/publication/2370706_A_Polynomial_Algorithm_for_Testing_Diagnosability_of_Discrete_Event_Systems
[3]	T. -S. Yoo and S. Lafortune, "Polynomial-time verification of diagnosability of partially observed discrete-event systems, " IEEE Trans. Automat. Contr. , vol. 47, no. 9, pp. 1491-1495, Sep. 2002. http://www.researchgate.net/publication/3024475_Polynomial-time_verification_of_diagnosability_of_partially_observed_discrete-event_systems
[4]	M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, "Failure diagnosis using discrete-event models, " IEEE Trans. Control Syst. Technol. , vol. 4, no. 2, pp. 105-124, Mar. 1996. https://www.researchgate.net/publication/3331869_Failure_diagnosis_using_discrete-event_modelsa
[5]	M. P. Cabasino, A. Giua, and C. Seatzu, "Diagnosability of bounded Petri nets, " in Proc. 48th IEEE Conf. Decision and Control, 2009 Held Jointly with the 28th Chinese Control Conf., Shanghai, China, 2009, pp.1254-1260.
[6]	G. Jiroveanu and R. K. Boel, "The diagnosability of petri net models using minimal explanations, " IEEE Trans. Automat. Contr. , vol. 55, no. 7, pp. 1663-1668, Jul. 2010. http://www.researchgate.net/publication/224126868_The_Diagnosability_of_Petri_Net_Models_Using_Minimal_Explanations
[7]	T. Ushio, I. Onishi, and K. Okuda, "Fault detection based on Petri net models with faulty behaviors, " in Proc. 1998 IEEE Int. Conf. Systems, Man, and Cybernetics, San Diego, CA, USA, 1998, pp.113-118. http://www.researchgate.net/publication/3776148_Fault_detection_based_on_Petri_net_models_with_faulty_behaviors
[8]	S. -L. Chung, "Diagnosing PN-based models with partial observable transitions, " Int. J. Comput. Integr. Manuf. , vol. 18, no. 2-3, pp. 158-169, Mar. 2005.
[9]	Y. L. Wen and M. Jeng, "Diagnosability analysis based on T-invariants of Petri nets, " in Proc. 2005 IEEE Networking, Sensing and Control, Tucson, AZ, 2005, pp.371-376. http://www.researchgate.net/publication/4153990_Diagnosability_analysis_based_on_T-invariants_of_Petri_nets?ev=auth_pub
[10]	Y. L. Wen, C. Li, and M. Jeng, "A polynomial algorithm for checking diagnosability of Petri nets, " in Proc. 2005 IEEE Int. Conf. Systems, Man, and Cybernetics, Waikoloa, HI, 2005, pp.2542-2547. https://www.researchgate.net/publication/4210654_A_polynomial_algorithm_for_checking_diagnosability_of_Petri_nets
[11]	M. P. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, "A new approach for diagnosability analysis of Petri nets using verifier nets, " IEEE Trans. Automat. Contr. , vol. 57, no. 12, pp. 3104-3117, Dec. 2012. https://www.researchgate.net/publication/260661823_A_New_Approach_for_Diagnosability_Analysis_of_Petri_Nets_Using_Verifier_Nets
[12]	M. P. Cabasino, A. Giua, and C. Seatzu, "Diagnosability of discrete-event systems using labeled Petri nets, " IEEE Trans. Autom. Sci. Eng. , vol. 11, no. 1, pp. 144-153, Jan. 2014.
[13]	T. Murata, "Petri nets: Properties, analysis and applications, " Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[14]	M. P. Cabasino, A. Giua, M. Pocci, and C. Seatzu, "Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems, " Control Eng. Pract. , vol. 19, no. 9, pp. 989-1001, Sep. 2011. https://www.researchgate.net/publication/229218415_Discrete_event_diagnosis_using_labeled_Petri_nets_An_application_to_manufacturing_systems
[15]	M. P. Cabasino, A. Giua, and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions, " Automatica, vol. 46, no. 9, pp. 1531-1539, Sep. 2010.
[16]	N. Ran, S. G. Wang, H. Y. Su, and C. Y. Wang, "Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions, " IMA J. Math. Control Info., 2015. doi: 10.1093/imamci/dnv059
[17]	M. P. Cabasino, P. Darondeau, M. P. Fanti, and C. Seatzu, "Model identification and synthesis of discrete-event systems, " in Contemporary Issues in Systems Science and Engineering, M. C. Zhou, H. X. Li, and M. Weijnen, Eds. Hoboken, NJ, USA: John Wiley & Sons, Inc. , 2015, pp. 343-366.
[18]	R. Tarjan, "Depth-first search and linear graph algorithms, " SIAM J. Comput. , vol. 1, no. 2, pp. 146-160, Jun. 1972. http://www.researchgate.net/publication/232619217_Depth-first_search_and_linear_grajh_algorithms
[19]	S. G. Wang, D. You, M. C. Zhou, and C. Seatzu, "Characterization of admissible marking sets in Petri nets with uncontrollable transitions, " IEEE Trans. Automat. Contr. , vol. 61, no. 7, pp. 1953-1958, Jul. 2016. http://www.researchgate.net/publication/260662453_Petri_net_supervisors_for_DES_with_uncontrollable_and_unobservable_transitions
[20]	S. G. Wang, C. Y. Wang, and M. C. Zhou, "Design of optimal monitor-based supervisors for a class of petri nets with uncontrollable transitions, " IEEE Trans. Syst. Man Cybern. Syst. , vol. 43, no. 5, pp. 1248-1255, Sep. 2013. Design of optimal monitor-based supervisors for a class of petri nets with uncontrollable tra
[21]	S. G. Wang, D. You, and C. Y. Wang, "Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm, " Inform. Sci. , vol. 363, pp. 261-273, Oct. 2016.
[22]	G. Liu, "Complexity of the deadlock problem for Petri nets modeling resource allocation systems, " Inform. Sci. , vol. 363, pp. 190-197, 2016. http://www.researchgate.net/publication/284930191_Complexity_of_the_deadlock_problem_for_Petri_nets_modeling_resource_allocation_systems
[23]	G. Liu, C. Jiang, and M. Zhou, "Two simple deadlock prevention policies for S3PR based on key-resource/operation-place pairs, " IEEE Trans. Autom. Sci. Eng. , vol. 7, no. 4, pp. 945-957, 2010.

Supplements(0)

Cited By

Proportional views

Proportional views

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Figures(4) / Tables(5)

Get Citation

PDF

XML

Article Metrics

Article views (1187) PDF downloads(176)

An Improved Approach to Test Diagnosability of Bounded Petri Nets

doi: 10.1109/JAS.2017.7510406

Abstract

References

Proportional views

Catalog

通讯作者: 陈斌, bchen63@163.com

Article Metrics

Export File

Citation

Format

Content