×

Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets. (English) Zbl 07874039

Summary: The asynchronous fault diagnosis problem involves detecting the occurred faults in a system in the scenario that one asynchronously initiates a diagnosis agent with the system. This research investigates the asynchronous fault diagnosis problem of a system represented by labeled Petri nets (LPNs). An important property named asynchronous diagnosability of an LPN plant is formulated and studied which indicates that the detection of a fault can be achieved within a finite number of observations in the context of asynchronous diagnosis. This paper first introduces a structure named an asynchronous basis diagnoser, based on which the asynchronous diagnosis problem of an LPN plant can be addressed. Moreover, an approach is presented which leverages the asynchronous basis diagnoser to identify the asynchronous diagnosability. If an LPN plant is not asynchronously diagnosable, a supervisor is then designed which constraints the plant’s behavior such that the controlled system satisfies the requirement of asynchronous diagnosability.

MSC:

93A13 Hierarchical systems
93C65 Discrete event control/observation systems
Full Text: DOI

References:

[1] Cassandras, C. G.; Lafortune, S., Introduction to Discrete Event Systems, 2021, Springer · Zbl 1482.93001
[2] Basilio, J. C.; Hadjicostis, C. N.; Su, R., Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security, 2021, Now Foundations and Trends
[3] Wang, X.; Hu, H.; Zhou, M., Discrete event approach to robust control in automated manufacturing systems, IEEE Trans. Syst. Man Cybern. Syst., 52, 1, 123-135, 2022
[4] Yin, X.; Lafortune, S., Synthesis of maximally permissive supervisors for partially-observed discrete-event systems, IEEE Trans. Autom. Control, 61, 5, 1239-1254, 2016 · Zbl 1359.93296
[5] Sun, X.; Yu, Z.; Gao, H.; Li, X., Trustworthiness analysis and evaluation for command and control cyber-physical systems using generalized stochastic Petri nets, Inf. Sci., 638, Article 118942 pp., 2023 · Zbl 1533.93500
[6] Wang, S.; Guo, X.; Karoui, O.; Zhou, M.; You, D.; Abusorrah, A., A refined siphon-based deadlock prevention policy for a class of Petri nets, IEEE Trans. Syst. Man Cybern. Syst., 53, 1, 191-203, 2023
[7] Feng, Y.; Xing, K.; Zhou, M.; Chen, H.; Tian, F., Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets, Inf. Sci., 533, 181-199, 2020 · Zbl 1461.93346
[8] Moreira, M. V.; Jesus, T. C.; Basilio, J. C., Polynomial time verification of decentralized diagnosability of discrete event systems, IEEE Trans. Autom. Control, 56, 7, 1679-1684, 2011 · Zbl 1368.93384
[9] White, A.; Karimoddini, A.; Su, R., Fault diagnosis of discrete event systems under unknown initial conditions, IEEE Trans. Autom. Control, 64, 12, 5246-5252, 2019 · Zbl 1482.93396
[10] White, A.; Karimoddini, A.; Karimadini, M., Resilient fault diagnosis under imperfect observationsa need for industry 4.0 era, IEEE/CAA J. Autom. Sin., 7, 5, 1279-1288, 2020
[11] Wang, D.; Wang, X.; Li, Z., State-based fault diagnosis of discrete-event systems with partially observable outputs, Inf. Sci., 529, 87-100, 2020 · Zbl 1461.93319
[12] Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K., Diagnosability of discrete-event system, IEEE Trans. Autom. Control, 40, 9, 1555-1575, 1995 · Zbl 0839.93072
[13] Ran, N.; Li, T.; He, Z.; Seatzu, C., Codiagnosability enforcement in labeled Petri nets, IEEE Trans. Autom. Control, 68, 4, 2436-2443, 2023 · Zbl 07742262
[14] Yin, X.; Lafortune, S., A general approach for optimizing dynamic sensor activation for discrete event systems, Automatica, 105, 376-383, 2019 · Zbl 1429.93231
[15] Ran, N.; Giua, A.; Seatzu, C., Enforcement of diagnosability in labeled Petri nets via optimal sensor selection, IEEE Trans. Autom. Control, 64, 7, 2997-3004, 2019 · Zbl 1482.93390
[16] Chen, Z.; Lin, F.; Wang, C.; Wang, L. Y.; Xu, M., Active diagnosability of discrete event systems and its application to battery fault diagnosis, IEEE Trans. Autom. Sci. Eng., 22, 5, 1892-1898, 2014
[17] Yin, X.; Lafortune, S., A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems, IEEE Trans. Autom. Control, 61, 8, 2140-2154, 2016 · Zbl 1359.93295
[18] Hu, Y.; Ma, Z.; Li, Z., Design of supervisors for active diagnosis in discrete event systems, IEEE Trans. Autom. Control, 65, 12, 5159-5172, 2020 · Zbl 1536.93543
[19] Hu, Y.; Ma, Z.; Li, Z.; Giua, A., Diagnosability enforcement in labeled Petri nets using supervisory control, Automatica · Zbl 1478.93397
[20] Wan, H.; Luan, X.; Stojanovic, V.; Liu, F., Self-triggered finite-time control for discrete-time Markov jump systems, Inf. Sci., 634, 101-121, 2023 · Zbl 1536.93777
[21] Zhang, Z.; Song, X.; Sun, X.; Stojanovic, V., Hybrid-driven-based fuzzy secure filtering for nonlinear parabolic partial differential equation systems with cyber attacks, Int. J. Adapt. Control Signal Process., 37, 2, 380-398, 2023 · Zbl 07843526
[22] Stojanovic, V., Fault-tolerant control of a hydraulic servo actuator via adaptive dynamic programming, Math. Model. Control, 3, 3, 181-191, 2023
[23] Song, X.; Sun, P.; Song, S.; Stojanovic, V., Finite-time adaptive neural resilient dsc for fractional-order nonlinear large-scale systems against sensor-actuator faults, Nonlinear Dyn., 111, 12181-12196, 2023
[24] Wonham, W. M.; Cai, K., Supervisory Control of Discrete-Event Systems, 2019, Springer · Zbl 1405.93008
[25] Hu, Y.; Cao, S., Asynchronous diagnosability enforcement in discrete event systems based on supervisory control, IEEE Sens. J., 23, 9, 10071-10079, 2023
[26] You, D.; Wang, S.; Seatzu, C., Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions, Inf. Sci., 501, 635-654, 2019 · Zbl 1453.93146
[27] Li, Y.; Yin, L.; Chen, Y.; Yu, Z.; Wu, N., Optimal Petri net supervisor synthesis for forbidden state problems using marking mask, Inf. Sci., 505, 183-197, 2019 · Zbl 1456.93005
[28] Lan, H.; Tong, Y.; Guo, J.; Seatzu, C., Verification of c-detectability using Petri nets, Inf. Sci., 528, 294-310, 2020 · Zbl 1459.68146
[29] Zhu, G.; Li, Z.; Wu, N., Model-based fault identification of discrete event systems using partially observed Petri nets, Automatica, 96, 201-212, 2018 · Zbl 1406.93208
[30] Zhu, G.; Feng, L.; Li, Z.; Wu, N., An efficient fault diagnosis approach based on integer linear programming for labeled Petri nets, IEEE Trans. Autom. Control, 66, 5, 2393-2398, 2021 · Zbl 1536.93595
[31] Li, B.; Khlif-Bouassida, M.; Toguyeni, A., Reduction rules for diagnosability analysis of complex systems modeled by labeled Petri nets, IEEE Trans. Autom. Sci. Eng., 17, 2, 1061-1069, 2020
[32] Ma, Z.; Yin, X.; Li, Z., Marking diagnosability verification in labeled Petri nets, Automatica · Zbl 1478.93412
[33] Cabasino, M. P.; Giua, A.; Seatzu, C., Fault detection for discrete event systems using Petri nets with unobservable transitions, Automatica, 46, 9, 1531-1539, 2010 · Zbl 1201.93074
[34] Ma, Z.; Tong, Y.; Li, Z.; Giua, A., Basis marking representation of Petri net reachability spaces and its application to the reachability problem, IEEE Trans. Autom. Control, 62, 3, 1078-1093, 2017 · Zbl 1366.93357
[35] Giua, A., Supervisory control of Petri nets with language specifications, (Seatzu, C.; Silva, M.; van Schuppen, J., Control of Discrete-Event Systems, vol. 433, 2013, Springer: Springer London), 235-255 · Zbl 1304.93055
[36] Giua, A.; Seatzu, C.; Basile, F., Observer-based state-feedback control of timed Petri nets with deadlock recovery, IEEE Trans. Autom. Control, 49, 1, 17-29, 2004 · Zbl 1365.68341
[37] Böhm, S.; Haar, S.; Haddad, S.; Hofman, P.; Schwoon, S., Active diagnosis with observable quiescence, (Proc. 54th IEEE Conference on Decision and Control, 2015, (CDC), Osaka: (CDC), Osaka Japan), 1663-1668
[38] Li, Z.; Zhou, M., Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, 2009, Springer: Springer London
[39] Liao, H.; Liu, F.; Zhao, R., Reliable co-prognosability of decentralized stochastic discrete-event systems and a polynomial-time verification, IEEE Trans. Cybern., 52, 7, 6207-6216, 2022
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.