Abstract
In this chapter, we extend the state estimation and event inference techniques discussed in earlier chapters to settings where the underlying system might be observed by multiple observation sites with distinct observation capabilities. We focus on the case of a single (monolithic) system that is modeled as a labeled nondeterministic finite automaton and assume that each observation site has its own natural projection observation mapping (i.e., each site has its own set of observable events, some of which may also be observable to other sites). We discuss decentralized observation architectures, i.e., settings in which each observation site operates in isolation but is able to communicate (perhaps periodically or when otherwise prompted) its observations, estimates, or decisions to a coordinator. The coordinator is in charge of forming the final state estimate or making the ultimate decision, and may or may not have knowledge of the system model. We study synchronization-based decentralized estimation/inference protocols, in which the decision to send information to the coordinator is determined by strategies that can be described by finite automata. Apart from describing the information exchange strategies and the run-time executions of the resulting synchronization-based decentralized algorithms, the chapter also discusses their implications on the verification of properties of interest, such as detectability, fault diagnosis, and opacity. In particular, we establish that, under certain choices for these protocols, certain properties of interest (including synchronization-based decentralized diagnosability) can be verified with complexity that is polynomial in the size of the state space of the given system and exponential in the number of observation sites.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Clearly, no decentralized protocol for state estimation or event inference can exceed the performance of the centralized observation site. In fact, due to loss of information (e.g., absence of timing information between events or the limited information communicated from the observation sites), a decentralized/distributed scheme will likely have inferior performance compared to the performance of centralized state estimation or event inference at the fictitious \(O_c\).
- 2.
We assume that \(R_{\mathbb {M}}(Q', \sigma )\) for any \(\sigma \in (\varSigma _{o_1} \cup \varSigma _{o_2})\) can be obtained with complexity \(|Q|^2\) by precomputing all \(R_{\mathbb {M}}(\{q\}, \sigma )\) for each \(q \in Q\), and then simply taking unions of sets.
- 3.
Note that, under the assumptions in the lemma, it is not possible for \(\alpha _{L_1} \in \varSigma _{o_1} \cap \varSigma _{o_2}\) and \(\beta _{L_2} \in \varSigma _{o_1} \cap \varSigma _{o_2}\), unless \(\alpha _{L_1} = \beta _{L_2}\).
- 4.
Earlier synchronizations might result in all observation sites reporting “U” (in which case no decision can be made at the coordinator) but eventually, at least if the system is co-diagnosable, one diagnoser will report “F” (which will imply that a definite decision “F” can be taken at the coordinator).
- 5.
As mentioned earlier, in Case III decentralized detectability, the decision at each observation site is “detectable” (“D”) or “not detectable” (“ND”), depending on whether that local observation site is able, at that particular instant, to determine the state of the system exactly or not. When a synchronization occurs, the coordinator decides “D” if at least one observation site is reporting a “D”; otherwise, the coordinator decides “ND”. Note that unlike fault diagnosis (where an “F” decision remains an “F” decision due to the absorbing property of the F label—refer to Remark 7.3 of Chap. 7) the decision about the set of state estimates being a singleton set is not absorbing, i.e., it can change from “D” to “ND” and vice versa. This also implies that at different synchronization points, we may have different observation sites that are aware of the exact state of the system; furthermore, in-between synchronization points it is possible that no observation site is aware of the exact state of the system.
- 6.
Recall that we have adopted the usual assumptions that (i) G is live, and (ii) G possesses no unobservable cycles (see, for example, the discussions in Chap. 6).
References
Athanasopoulou E, Hadjicostis CN (2006) Decentralized failure diagnosis in discrete event systems. In: Proceedings of 2006 American control conference (ACC), pp 14–19
Basilio JC, Lafortune S (2009) Robust codiagnosability of discrete event systems. In: Proceedings of 2009 American control conference (ACC), pp 2202–2209
Debouk R, Lafortune S, Teneketzis D (2000) Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discret Event Dyn Syst: Theory Appl 10(1–2):33–86
Fabre E, Benveniste A, Jard C, Ricker L, Smith M (2000) Distributed state reconstruction for discrete event systems. In: Proceedings of 39th IEEE conference on decision and control (CDC), vol 3, pp 2252–2257
Keroglou C, Hadjicostis CN (2014) Distributed diagnosis using predetermined synchronization strategies. In: Proceedings of 53rd IEEE conference on decision and control (CDC), pp 5955–5960
Keroglou C, Hadjicostis CN (2015) Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints. In: Proceedings of IEEE conference on automation science and engineering (CASE), pp 831–836
Keroglou C, Hadjicostis CN (2018) Distributed fault diagnosis in discrete event systems via set intersection refinements. IEEE Trans Autom Control 63(10):3601–3607
Kumar R, Takai S (2014) Comments on polynomial time verification of decentralized diagnosability of discrete event systems versus decentralized failure diagnosis of discrete event systems: complexity clarification. IEEE Trans Autom Control 59(5):1391–1392
Moreira MV, Jesus TC, Basilio JC (2011) Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE Trans Autom Control 56(7):1679–1684
Moreira MV, Basilio JC, Cabral FG (2016) Polynomial time verification of decentralized diagnosability of discrete event systems versus decentralized failure diagnosis of discrete event systems: a critical appraisal. IEEE Trans Autom Control 61(1):178–181
Panteli M, Hadjicostis CN (2013) Intersection based decentralized diagnosis: implementation and verification. In: Proceedings of 52nd IEEE conference on decision and control and european control conference (CDC-ECC), pp 6311–6316
Puri A, Tripakis S, Varaiya P (2002) Problems and examples of decentralized observation and control for discrete event systems. In: Synthesis and control of discrete event systems, Springer, Berlin, pp 37–56
Qiu W, Kumar R (2006) Decentralized failure diagnosis of discrete event systems. IEEE Trans Syst Man Cybern Part A: Syst Hum 36(2):384–395
Rosen KH (2011) Discrete mathematics and its applications. McGraw-Hill, New York
Schmidt K (2010) Abstraction-based verification of codiagnosability for discrete event systems. Automatica 46(9):1489–1494
Su R, Wonham WM (2005) Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Trans Autom Control 50(12):1923–1935
Takai S, Ushio T (2012) Verification of codiagnosability for discrete event systems modeled by Mealy automata with nondeterministic output functions. IEEE Trans Autom Control 57(3):798–804
Wang W, Girard AR, Lafortune S, Lin F (2011) On codiagnosability and coobservability with dynamic observations. IEEE Trans Autom Control 56(7):1551–1566
Wang Y, Yoo TS, Lafortune S (2007) Diagnosis of discrete event systems using decentralized architectures. Discret Event Dyn Syst 17(2):233–263
Witsenhausen HS (1968) A counterexample in stochastic optimum control. SIAM J Control 6(1):131–147
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Hadjicostis, C.N. (2020). Decentralized State Estimation. In: Estimation and Inference in Discrete Event Systems. Communications and Control Engineering. Springer, Cham. https://doi.org/10.1007/978-3-030-30821-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-30821-6_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30820-9
Online ISBN: 978-3-030-30821-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)