# Abstract:

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. \blue{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 \blue{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 \blue{irrelevant} basis markings based on linear programming is proposed.

# Keywords:

state estimation, integer linear programming, partially observed Petri net, sliding window, diagnosis

93Axx, 49Kxx

# References:

1. M. P. Cabasino, A. Giua, M. Pocci and C. Seatzu: Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Engrg. Practice 19 (2011), 9, 989-1001.   DOI:10.1016/j.conengprac.2010.12.010
2. G. Jiroveanu and K. B. René: The diagnosability of Petri net models using minimal explanations. IEEE Trans. Automat. Control 55 (2010), 7, 1663-1668.   DOI:10.1109/TAC.2010.2046106
3. A. Chouchane and P. Declerck: Diagnostic de réseaux de Petri partiellement observables avec indicateurs algébriques. Génie industriel et productique 2 (2019), 1, 11-25.   CrossRef
4. N. Ran, S. Wang, H. Su and C. Wang: Fault diagnosis for discrete event systems modeled by bounded Petri nets. Asian J. Control 19 (2017), 4, 1532-1541.   DOI:10.1002/asjc.1500
5. D. Lefebvre: On-line fault diagnosis with partially observed Petri nets. IEEE Trans. Automat. Control 59 (2013), 7, 1919-1924.   DOI:10.1109/TAC.2013.2294617
6. F. Basile, C. Pasquale and D. T. Gianmaria: An efficient approach for online diagnosis of discrete event systems. IEEE Trans. Automat- Control 54 (2009), 4, 748-759.   DOI:10.1109/TAC.2009.2014932
7. A. Chouchane, P. Declerck, A. Khedher and A. Kamoun: 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:10.1080/23302674.2018.1554169
8. A. Chouchane: 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:10.1093/imamci/dnab015
9. A. Chouchane, A. Khedher, O. Nasri and A. Kamoun: Diagnosis of partially observed Petri net based on analytical redundancy relationships. Asian J. Control 21 (2019), 5, 2218-2231.   DOI:10.1002/asjc.1832
10. M. P. Cabasino, G. Alessandro and C. Seatzu: Diagnosis using labeled Petri nets with silent or undistinguishable fault events. IEEE Trans. Systems Man Cybernet.: Systems 43 (2012), 2, 345-355.   DOI:10.1109/TSMCA.2012.2199307
11. G. Jiroveanu, K. B. René and B. Behzad: On-line monitoring of large Petri net models under partial observation. Discrete Event Dynamic Systems 18 (2008), 3, 323-354.   DOI:10.1007/s10626-007-0036-x
12. Y. Tong, Z. Li, C. Seatzu and A. Giua: Verification of state-based opacity using Petri nets. IEEE Trans. Automat. Control 62 (2016), 6, 2823-2837.   DOI:10.1109/TAC.2016.2620429
13. A. Boussif, L. Baisi and M. Ghazel: An experimental comparison of three diagnosis techniques for discrete event systems. In: DX'17-28th International Workshop on Principles of Diagnosis, 2017.   CrossRef
14. A. Chouchane: Estimation et diagnostic de réseaux de Petri partiellement observables. Diss. Université d'Angers; École nationale d'ingénieurs de Sfax 2018.   CrossRef
15. L. Li and C. N. Hadjicostis: Least-cost firing sequence estimation in labeled Petri nets with unobservable transitions. American Control 2007   DOI:10.1109/ACC.2007.4282814
16. G. Stremersch and K. B. René: Structuring acyclic Petri nets for reachability analysis and control. Discrete Event Dynamic Systems 12 (2002)1, 7-41. Conference, IEEE, 2007.   DOI:10.1023/A:1013331703036
17. M. P. Cabasino, G. Alessandro and C. Seatzu: Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46 (2010), 9, 1531-1539.   DOI:10.1016/j.automatica.2010.06.013
18. T. Murata: Petri nets: Properties, analysis and applications. Proc. IEEE 77 (1989), 4, 541-580.   DOI:10.1109/5.24143
19. C. Mahulea, C. Seatzu, M. P. Cabasino and M. Silva: 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:10.1109/TSMCA.2012.2183358