Geodesic
Diagnosis on a sliding window for partially observable Petri nets
Kybernetika, Tome 58 (2022) no. 4, pp. 479-497
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

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.
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.
DOI : 10.14736/kyb-2022-4-0479
Classification : 49Kxx, 93Axx
Keywords: diagnosis; state estimation; partially observed Petri net; sliding window; integer linear programming 
@article{10_14736_kyb_2022_4_0479,
     author = {Chouchane, Amira and Declerck, Philippe},
     title = {Diagnosis on a sliding window for partially observable {Petri} nets},
     journal = {Kybernetika},
     pages = {479--497},
     year = {2022},
     volume = {58},
     number = {4},
     doi = {10.14736/kyb-2022-4-0479},
     mrnumber = {4521852},
     zbl = {07655843},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.14736/kyb-2022-4-0479/}
}
TY  - JOUR
AU  - Chouchane, Amira
AU  - Declerck, Philippe
TI  - Diagnosis on a sliding window for partially observable Petri nets
JO  - Kybernetika
PY  - 2022
SP  - 479
EP  - 497
VL  - 58
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.14736/kyb-2022-4-0479/
DO  - 10.14736/kyb-2022-4-0479
LA  - en
ID  - 10_14736_kyb_2022_4_0479
ER  - 
%0 Journal Article
%A Chouchane, Amira
%A Declerck, Philippe
%T Diagnosis on a sliding window for partially observable Petri nets
%J Kybernetika
%D 2022
%P 479-497
%V 58
%N 4
%U http://geodesic.mathdoc.fr/articles/10.14736/kyb-2022-4-0479/
%R 10.14736/kyb-2022-4-0479
%G en
%F 10_14736_kyb_2022_4_0479
Chouchane, Amira; Declerck, Philippe. Diagnosis on a sliding window for partially observable Petri nets. Kybernetika, Tome 58 (2022) no. 4, pp. 479-497. doi: 10.14736/kyb-2022-4-0479

[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

[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

[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

[5] Lefebvre, D.: On-line fault diagnosis with partially observed Petri nets. IEEE Trans. Automat. Control 59 (2013), 7, 1919-1924. | DOI | MR

[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

[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

[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

[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

[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

[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

[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

[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

Cité par Sources :