| Title:
|
Diagnosis on a sliding window for partially observable Petri nets (English) |
| Author:
|
Chouchane, Amira |
| Author:
|
Declerck, Philippe |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 (print) |
| ISSN:
|
1805-949X (online) |
| Volume:
|
58 |
| Issue:
|
4 |
| Year:
|
2022 |
| Pages:
|
479-497 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| 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. (English) |
| Keyword:
|
diagnosis |
| Keyword:
|
state estimation |
| Keyword:
|
partially observed Petri net |
| Keyword:
|
sliding window |
| Keyword:
|
integer linear programming |
| MSC:
|
49Kxx |
| MSC:
|
93Axx |
| idZBL:
|
Zbl 07655843 |
| idMR:
|
MR4521852 |
| DOI:
|
10.14736/kyb-2022-4-0479 |
| . |
| Date available:
|
2022-12-02T13:07:15Z |
| Last updated:
|
2023-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/151160 |
| . |
| Reference:
|
[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. |
| Reference:
|
[2] Jiroveanu, G., René, K. B.: The diagnosability of Petri net models using minimal explanations..IEEE Trans. Automat. Control 55 (2010), 7, 1663-1668. MR 2675828, |
| Reference:
|
[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. 10.21494/ISTE.OP.2019.0403 |
| Reference:
|
[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. MR 3685939, |
| Reference:
|
[5] Lefebvre, D.: On-line fault diagnosis with partially observed Petri nets..IEEE Trans. Automat. Control 59 (2013), 7, 1919-1924. MR 3232085, |
| Reference:
|
[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. MR 2514807, |
| Reference:
|
[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. |
| Reference:
|
[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. MR 4305730, |
| Reference:
|
[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. MR 4020969, |
| Reference:
|
[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. |
| Reference:
|
[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. MR 2411383, |
| Reference:
|
[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. MR 3660565, |
| Reference:
|
[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. |
| Reference:
|
[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. |
| Reference:
|
[15] Li, L., Hadjicostis, C. N.: Least-cost firing sequence estimation in labeled Petri nets with unobservable transitions..American Control 2007 |
| Reference:
|
[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. MR 1888899, |
| Reference:
|
[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. MR 2877305, |
| Reference:
|
[18] Murata, T.: Petri nets: Properties, analysis and applications..Proc. IEEE 77 (1989), 4, 541-580. |
| Reference:
|
[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. MR 3059602, |
| . |
