Article
Full entry |
PDF
(0.6 MB)
Feedback
PDF
(0.6 MB)
Feedback
Keywords:
diagnosis; state estimation; partially observed Petri net; sliding window; integer linear programming
diagnosis; state estimation; partially observed Petri net; sliding window; integer linear programming
Summary:
In this paper, we propose an algebraic approach to investigate the diagnosis of partially observable labeled Petri nets based on state estimation on a sliding window of a predefined length $h$. Given an observation, the resulting diagnosis state can be computed while solving integer linear programming problems with a reduced subset of basis markings. The proposed approach consists in exploiting a subset of $h$ observations at each estimation step, which provides a partial diagnosis relevant to the current observation window. This technique allows a status update with a "forgetfulness" of past observations and enables distinguishing repetitive and punctual faults. The complete diagnosis state can be defined as a function of the partial diagnosis states interpreted on the sliding window. As the analysis shows that some basis markings can present an inconsistency with a future evolution, which possibly implies unnecessary computations of basis markings, a withdrawal procedure of these irrelevant basis markings based on linear programming is proposed.
References:
[1] Cabasino, M. P., Giua, A., Pocci, M., Seatzu, C.: Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Engrg. Practice 19 (2011), 9, 989-1001. DOI
[2] Jiroveanu, G., René, K. B.: The diagnosability of Petri net models using minimal explanations. IEEE Trans. Automat. Control 55 (2010), 7, 1663-1668. DOI | MR 2675828
[3] Chouchane, A., Declerck, P.: Diagnostic de réseaux de Petri partiellement observables avec indicateurs algébriques. Génie industriel et productique 2 (2019), 1, 11-25. DOI 10.21494/ISTE.OP.2019.0403
[4] Ran, N., Wang, S., Su, H., Wang, C.: Fault diagnosis for discrete event systems modeled by bounded Petri nets. Asian J. Control 19 (2017), 4, 1532-1541. DOI | MR 3685939
[5] Lefebvre, D.: On-line fault diagnosis with partially observed Petri nets. IEEE Trans. Automat. Control 59 (2013), 7, 1919-1924. DOI | MR 3232085
[6] Basile, F., Pasquale, C., Gianmaria, D. T.: An efficient approach for online diagnosis of discrete event systems. IEEE Trans. Automat- Control 54 (2009), 4, 748-759. DOI | MR 2514807
[7] Chouchane, A., Declerck, P., Khedher, A., Kamoun, A.: Diagnostic based on estimation using linear programming for partially observable Petri nets with indistinguishable events. Int. J. Systems Science: Operations and Logistics 7 (2020), 2, 192-205. DOI
[8] Chouchane, A.: Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net. IMA J. Math. Control Inform. 38 (2021), 3, 908-928. DOI | MR 4305730
[9] Chouchane, A., Khedher, A., Nasri, O., Kamoun, A.: Diagnosis of partially observed Petri net based on analytical redundancy relationships. Asian J. Control 21 (2019), 5, 2218-2231. DOI | MR 4020969
[10] Cabasino, M. P., Alessandro, G., Seatzu, C.: Diagnosis using labeled Petri nets with silent or undistinguishable fault events. IEEE Trans. Systems Man Cybernet.: Systems 43 (2012), 2, 345-355. DOI
[11] Jiroveanu, G., René, K. B., Behzad, B.: On-line monitoring of large Petri net models under partial observation. Discrete Event Dynamic Systems 18 (2008), 3, 323-354. DOI | MR 2411383
[12] Tong, Y., Li, Z., Seatzu, C., Giua, A.: Verification of state-based opacity using Petri nets. IEEE Trans. Automat. Control 62 (2016), 6, 2823-2837. DOI | MR 3660565
[13] Boussif, A., Baisi, L., Ghazel, M.: An experimental comparison of three diagnosis techniques for discrete event systems. In: DX'17-28th International Workshop on Principles of Diagnosis, 2017.
[14] Chouchane, A.: Estimation et diagnostic de réseaux de Petri partiellement observables. Diss. Université d'Angers; École nationale d'ingénieurs de Sfax 2018.
[15] Li, L., Hadjicostis, C. N.: Least-cost firing sequence estimation in labeled Petri nets with unobservable transitions. American Control 2007 DOI
[16] Stremersch, G., René, K. B.: Structuring acyclic Petri nets for reachability analysis and control. Discrete Event Dynamic Systems 12 (2002)1, 7-41. Conference, IEEE, 2007. DOI | MR 1888899
[17] Cabasino, M. P., Alessandro, G., Seatzu, C.: Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46 (2010), 9, 1531-1539. DOI | MR 2877305
[18] Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77 (1989), 4, 541-580. DOI
[19] Mahulea, C., Seatzu, C., Cabasino, M. P., Silva, M.: Fault diagnosis of discrete-event systems using continuous Petri nets. IEEE Trans. Systems Man Cybernetics - Part A: Systems and Humans 42 (2012), 4, 970-984. DOI | MR 3059602
Search
Partner of
