Abstract
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.
Similar content being viewed by others
References
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
Basile F, Cabasino MP, Seatzu C (2015) State estimation and fault diagnosis of labeled time Petri net systems with unobservable transitions. IEEE Trans Autom Control 60(4):997–1009
Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17(3):259–273
Bonhomme P (2013) Towards a new schedulability technique of real-time systems modeled by P-time Petri nets. Int J Adv Manuf Technol 67(1):759–769
Bonhomme P (2015) Marking estimation of P-time Petri nets with unobservable transitions. IEEE Trans Syst Man Cybern Syst 45(3):508–518
Bonhomme P (2018) Towards a decentralized state estimation of P-time Petri net systems. In: 2018 IEEE 23rd, International Conference on Emerging Technologies and Factory Automation (ETFA), vol 1, pp 532–539
Cabasino MP, Giua A, Paoli A, Seatzu C (2013) Decentralized diagnosis of discrete event systems using labeled Petri nets. IEEE Trans Syst Man Cybern Part A Syst 43(6):1477–1485
Cabasino MP, Giua A, Paoli A, Seatzu C (2014) A remark on the decentralized diagnosis of discrete event systems using labeled Petri nets. IEEE Trans Syst Man Cybern Syst 44(11):1549–1549
Cabasino MP, Hadjicostis CN, Seatzu C (2017) Marking observer in labeled Petri nets with application to supervisory control. IEEE Trans Autom Control 62(4):1813–1824
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
Giua A, Seatzu C, Corona D (2007) Marking estimation of Petri nets with silent transitions. IEEE Trans Autom Control 52(9):1695–1699
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
Khansa W, Denat JP, Collart-Dutilleul S (1996) P-time Petri nets for manufacturing systems. WODES’96. Edinburgh, pp 94–102
Lafortune S (2019) Discrete event systems, Modeling, observation, and control. Ann Rev Control Robot Auton Syst 2(1):141–159
Ma Z, Tong Y, Li Z, Giua A (2017) Basis marking representation of Petri net reachability spaces and its application to the reachability problem. IEEE Trans Autom Control 62(3):1078–1093
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
Merlin P, Faber D (1976) Recoverability of communication protocols-implications of a theoretical study. IEEE Trans Comm 24(9):381–404
Murata T (1989) Petri nets, properties, analysis and applications. Proc IEEE 77:541–580
Ru Y, Hadjicostis CN (2009) Bounds on the number of markings consistent with label observations in Petri nets. IEEE Trans Autom Sci Eng 6(2):334–344
Su R (2008) Distributed trace estimation under timing mismatch and channel distortion. IEEE Trans Autom Control 53(10):2409–2414
Valk R, Vidal-Naquet G (1981) Petri nets and regular languages. J Comput Syst Sci 23(3):299–325
Wang X, Mahulea C, Silva M (2015) Diagnosis of time Petri nets using fault diagnosis graph. IEEE Trans Autom Control 60(9):2321–2335
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bonhomme, P. Decentralized state estimation and diagnosis of p-time labeled Petri nets systems. Discrete Event Dyn Syst 31, 137–162 (2021). https://doi.org/10.1007/s10626-020-00326-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-020-00326-w