×

Decentralized state estimation and diagnosis of p-time labeled Petri nets systems. (English) Zbl 1478.93381

Summary: This paper proposes a state estimation technique in a decentralized context for time dependent systems. The plant of the studied system is modeled by P-time labeled Petri nets (P-TLPN) and the set of events is partitioned into a set of observable and unobservable ones, leading to a partial observation configuration. Indeed, the observation is distributed over a set of distinct sites which have their own local vision of the system. Moreover, some event are indistinguishable as the same label can be associated with the same transition adding another source of non-determinism. Thus, thanks to a global coordinator helped by the consideration of the timing factor, the local information transmitted via the different sites will be exploited to assess the set of states consistent with the current considered observation. The developed technique is an iterative procedure coupled with a time feasibility analysis (i.e., schedulability) conducted for particular firing sequences allowing to explain the considered observation, called time explanations. A diagnosis procedure aiming at evaluating the occurrence of particular faults for each behavior is also provided.

MSC:

93C65 Discrete event control/observation systems
93A14 Decentralized systems
Full Text: DOI

References:

[1] Basile F, Cabasino MP, Seatzu C (2013) Marking estimation of time Petri nets with unobservable transitions. In: 2013 IEEE 18th Conference on Emerging Technologies Factory Automation (ETFA), pp 1-7
[2] Basile, F.; Cabasino, MP; Seatzu, C., State estimation and fault diagnosis of labeled time Petri net systems with unobservable transitions, IEEE Trans Autom Control, 60, 4, 997-1009 (2015) · Zbl 1360.93413 · doi:10.1109/TAC.2014.2363916
[3] Berthomieu, B.; Diaz, M., Modeling and verification of time dependent systems using time Petri nets, IEEE Trans Softw Eng, 17, 3, 259-273 (1991) · doi:10.1109/32.75415
[4] Bonhomme, P., Towards a new schedulability technique of real-time systems modeled by P-time Petri nets, Int J Adv Manuf Technol, 67, 1, 759-769 (2013) · doi:10.1007/s00170-012-4520-6
[5] Bonhomme, P., Marking estimation of P-time Petri nets with unobservable transitions, IEEE Trans Syst Man Cybern Syst, 45, 3, 508-518 (2015) · doi:10.1109/TSMC.2014.2353575
[6] Bonhomme P (2018) Towards a decentralized state estimation of P-time Petri net systems. In: 2018 IEEE 23^rd, International Conference on Emerging Technologies and Factory Automation (ETFA), vol 1, pp 532-539
[7] Cabasino, MP; Giua, A.; Paoli, A.; Seatzu, C., Decentralized diagnosis of discrete event systems using labeled Petri nets, IEEE Trans Syst Man Cybern Part A Syst, 43, 6, 1477-1485 (2013) · doi:10.1109/TSMC.2013.2244208
[8] Cabasino, MP; Giua, A.; Paoli, A.; Seatzu, C., A remark on the decentralized diagnosis of discrete event systems using labeled Petri nets, IEEE Trans Syst Man Cybern Syst, 44, 11, 1549-1549 (2014) · doi:10.1109/TSMC.2014.2328604
[9] Cabasino, MP; Hadjicostis, CN; Seatzu, C., Marking observer in labeled Petri nets with application to supervisory control, IEEE Trans Autom Control, 62, 4, 1813-1824 (2017) · Zbl 1366.93074 · doi:10.1109/TAC.2016.2592952
[10] Cong X, Fanti MP, Mangini AM, Li Z (2017) Decentralized diagnosis by Petri nets and integer linear programming. IEEE Transactions on Systems, Man, and Cybernetics: Systems, pp 1-12
[11] Giua, A.; Seatzu, C.; Corona, D., Marking estimation of Petri nets with silent transitions, IEEE Trans Autom Control, 52, 9, 1695-1699 (2007) · Zbl 1368.68261 · doi:10.1109/TAC.2007.904281
[12] He Z, Li Z, Giua A, Basile F, Seatzu C (2019) Some remarks on “state estimation and fault diagnosis of time labeled Petri net systems with unobservable transitions”. IEEE Transactions on Automatic Control, pp 1-1 · Zbl 1482.93380
[13] Khansa W, Denat JP, Collart-Dutilleul S (1996) P-time Petri nets for manufacturing systems. WODES’96. Edinburgh, pp 94-102
[14] Lafortune, S., Discrete event systems, Modeling, observation, and control, Ann Rev Control Robot Auton Syst, 2, 1, 141-159 (2019) · doi:10.1146/annurev-control-053018-023659
[15] Ma, Z.; Tong, Y.; Li, Z.; Giua, A., Basis marking representation of Petri net reachability spaces and its application to the reachability problem, IEEE Trans Autom Control, 62, 3, 1078-1093 (2017) · Zbl 1366.93357 · doi:10.1109/TAC.2016.2574120
[16] Ma Z, Li Z, Giua A (2019) Marking estimation in a class of time labelled Petri nets. IEEE Transactions on Automatic Control, pp 1-1
[17] Merlin, P.; Faber, D., Recoverability of communication protocols-implications of a theoretical study, IEEE Trans Comm, 24, 9, 381-404 (1976) · Zbl 0362.68096 · doi:10.1109/TCOM.1976.1093424
[18] Murata, T., Petri nets, properties, analysis and applications, Proc IEEE, 77, 541-580 (1989) · doi:10.1109/5.24143
[19] Ru, Y.; Hadjicostis, CN, Bounds on the number of markings consistent with label observations in Petri nets, IEEE Trans Autom Sci Eng, 6, 2, 334-344 (2009) · doi:10.1109/TASE.2008.2009095
[20] Su, R., Distributed trace estimation under timing mismatch and channel distortion, IEEE Trans Autom Control, 53, 10, 2409-2414 (2008) · Zbl 1367.93374 · doi:10.1109/TAC.2008.2007532
[21] Valk, R.; Vidal-Naquet, G., Petri nets and regular languages, J Comput Syst Sci, 23, 3, 299-325 (1981) · Zbl 0473.68057 · doi:10.1016/0022-0000(81)90067-2
[22] Wang, X.; Mahulea, C.; Silva, M., Diagnosis of time Petri nets using fault diagnosis graph, IEEE Trans Autom Control, 60, 9, 2321-2335 (2015) · Zbl 1360.93442 · doi:10.1109/TAC.2015.2405293
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.