Diagnosis on a sliding window for partially observable Petri nets

Amira Chouchane; Philippe Declerck

Kybernetika (2022)

  • Volume: 58, Issue: 4, page 479-497
  • ISSN: 0023-5954

Abstract

top
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.

How to cite

top

Chouchane, Amira, and Declerck, Philippe. "Diagnosis on a sliding window for partially observable Petri nets." Kybernetika 58.4 (2022): 479-497. <http://eudml.org/doc/299371>.

@article{Chouchane2022,
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. 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.},
author = {Chouchane, Amira, Declerck, Philippe},
journal = {Kybernetika},
keywords = {diagnosis; state estimation; partially observed Petri net; sliding window; integer linear programming},
language = {eng},
number = {4},
pages = {479-497},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Diagnosis on a sliding window for partially observable Petri nets},
url = {http://eudml.org/doc/299371},
volume = {58},
year = {2022},
}

TY - JOUR
AU - Chouchane, Amira
AU - Declerck, Philippe
TI - Diagnosis on a sliding window for partially observable Petri nets
JO - Kybernetika
PY - 2022
PB - Institute of Information Theory and Automation AS CR
VL - 58
IS - 4
SP - 479
EP - 497
AB - 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.
LA - eng
KW - diagnosis; state estimation; partially observed Petri net; sliding window; integer linear programming
UR - http://eudml.org/doc/299371
ER -

References

top
  1. Cabasino, M. P., Giua, A., Pocci, M., Seatzu, C., , Control Engrg. Practice 19 (2011), 9, 989-1001. DOI
  2. Jiroveanu, G., René, K. B., , IEEE Trans. Automat. Control 55 (2010), 7, 1663-1668. MR2675828DOI
  3. Chouchane, A., Declerck, P., 10.21494/ISTE.OP.2019.0403, Génie industriel et productique 2 (2019), 1, 11-25. DOI10.21494/ISTE.OP.2019.0403
  4. Ran, N., Wang, S., Su, H., Wang, C., , Asian J. Control 19 (2017), 4, 1532-1541. MR3685939DOI
  5. Lefebvre, D., , IEEE Trans. Automat. Control 59 (2013), 7, 1919-1924. MR3232085DOI
  6. Basile, F., Pasquale, C., Gianmaria, D. T., , IEEE Trans. Automat- Control 54 (2009), 4, 748-759. MR2514807DOI
  7. Chouchane, A., Declerck, P., Khedher, A., Kamoun, A., , Int. J. Systems Science: Operations and Logistics 7 (2020), 2, 192-205. DOI
  8. Chouchane, A., , IMA J. Math. Control Inform. 38 (2021), 3, 908-928. MR4305730DOI
  9. Chouchane, A., Khedher, A., Nasri, O., Kamoun, A., , Asian J. Control 21 (2019), 5, 2218-2231. MR4020969DOI
  10. Cabasino, M. P., Alessandro, G., Seatzu, C., , IEEE Trans. Systems Man Cybernet.: Systems 43 (2012), 2, 345-355. DOI
  11. Jiroveanu, G., René, K. B., Behzad, B., , Discrete Event Dynamic Systems 18 (2008), 3, 323-354. MR2411383DOI
  12. Tong, Y., Li, Z., Seatzu, C., Giua, A., , IEEE Trans. Automat. Control 62 (2016), 6, 2823-2837. MR3660565DOI
  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., , American Control 2007 DOI
  16. Stremersch, G., René, K. B., , Discrete Event Dynamic Systems 12 (2002)1, 7-41. Conference, IEEE, 2007. MR1888899DOI
  17. Cabasino, M. P., Alessandro, G., Seatzu, C., , Automatica 46 (2010), 9, 1531-1539. MR2877305DOI
  18. Murata, T., , Proc. IEEE 77 (1989), 4, 541-580. DOI
  19. Mahulea, C., Seatzu, C., Cabasino, M. P., Silva, M., , IEEE Trans. Systems Man Cybernetics - Part A: Systems and Humans 42 (2012), 4, 970-984. MR3059602DOI

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.