---
title: 'COIT: Collective Observation-Information Tower'
url: https://www.emergentmind.com/topics/collective-observation-information-tower-coit
type: topic
---

# COIT: Collective Observation-Information Tower

Searching arXiv for the primary paper and closely related work on COIT/OIT.
The **Collective Observation-Information Tower (COIT)** is a concept introduced for the analysis of **asymptotic boundedness** in **Distributed Set-Membership Filtering (DSMFing)** for linear discrete-time systems subject to unknown-but-bounded disturbances. It characterizes the cumulative, “commonly known” measurement information that is collectively available to a group of sensors as information propagates through a communication graph over time, and it provides a tight outer bound on the evolution of local set-valued estimates within a source component of the network [2509.14106]. In this role, COIT links graph topology, measurement structure, and the geometry of distributed set estimates, and it yields an easily verifiable sufficient condition for boundedness that generalizes the well-known collective detectability condition used in distributed observers and distributed Kalman filters [2509.14106].

## 1. Origin and problem setting

COIT arises in the study of **Distributed Set-Membership Filtering**, where each sensor maintains a set-valued estimate of the state that encloses all states consistent with its local information and communicated information from the network [2509.14106]. In this setting, process and measurement noises are bounded rather than stochastic, so the principal stability question is not mean-square convergence or covariance boundedness, but whether the estimated sets remain uniformly bounded over time despite the **wrapping effect** [2509.14106].

The motivating problem is explicitly distinguished from two better-studied neighboring regimes. For noise-free distributed estimation, the relevant benchmark is the convergence of **Distributed Observers (DOs)**; for stochastic-noise estimation, it is the bounded error covariance of **Distributed Kalman Filters (DKFs)** [2509.14106]. COIT is introduced because the corresponding boundedness problem for DSMFing had remained underinvestigated relative to those two cases [2509.14106].

A useful antecedent is the **Observation-Information Tower (OIT)** developed for classical, centralized set-membership filtering. OIT describes how measurements affect the estimate in a set-intersection manner without relying on the initial condition, and it enables explicit necessary and sufficient conditions for stability with respect to the initial condition in linear time-invariant systems [2203.13966]. COIT extends this observation-information perspective to the distributed, graph-structured setting [2509.14106].

## 2. Graph-theoretic setting and formal definition

The construction of COIT is tied to the communication graph through the notion of a **source component**, defined as a strongly connected component of the communication graph with no incoming edge from outside [2509.14106]. Let
$G_t^{\mathrm{s}} = (V_t^{\mathrm{s}}, E_t^{\mathrm{s}})$
denote a source component. For a sensor $i \in V_t^{\mathrm{s}}$ and time $k$, the COIT associated with source component $t$ is defined as [2509.14106]

$$
\boxed{
\mathcal{C}_k^{(t)}:=\bigcap_{r = 0}^{k-\tilde{\rho}+1} \; \bigcap_{l \in V_t^{\mathrm{s}}} \mathcal{O}_{k,r}^l
}
$$

with

$$
\tilde{\rho} = \max\{\bar{\rho}_i : i \in V_t^{\mathrm{s}}\},
$$

where $\bar{\rho}_i$ is the eccentricity, i.e., the largest path length from sensor $i$ to any other sensor in $V_t^{\mathrm{s}}$ [2509.14106].

The constituent term $\mathcal{O}_{k,r}^l$ is the **observation-information set** at time $k$ contributed by sensor $l$’s measurement at time $r$:

$$
\mathcal{O}_{k, r}^l :=  A^{k - r} \, \mathcal{X}_r (C_l, y_r^l, \llbracket \mathbf{v}_r^l \rrbracket ) + \sum_{\tau = r}^{k - 1} A^{k-1-\tau} B \llbracket \mathbf{w}_\tau \rrbracket
$$

with

$$
\mathcal{X}_r (C_l, y_r^l, \llbracket \mathbf{v}_r^l \rrbracket ) = \ker(C_l) + C_l^\dagger ( \{y_r^l\} + \llbracket -\mathbf{v}_r^l \rrbracket ).
$$

Here $\llbracket \mathbf{v}_r^l \rrbracket$ is the bounded range of measurement noise at time $r$ for sensor $l$ [2509.14106].

This distributed definition mirrors the centralized OIT construction, in which the OIT at time $k$ with window $\delta$ is given by the intersection
$\bigcap_{i=k-\delta}^{k} \mathcal{O}_{k,i}$,
where each $\mathcal{O}_{k,i}$ is a single-measurement observation-information set propagated to time $k$ [2203.13966]. The relation is structural: OIT isolates the measurement-induced constraint geometry in the centralized case, whereas COIT aggregates the measurement-induced constraints that become collectively available in a source component of the network [2509.14106; 2203.13966].

## 3. Outer-bound interpretation and geometric meaning

The defining significance of COIT is that it yields an outer bound for the local set-valued estimate of every sensor inside a source component. Specifically, if sensor $i$ belongs to $V_t^{\mathrm{s}}$, then at time $k$ its local set estimate satisfies [2509.14106]

$$
\mathcal{B}_i(\mathbf{x}_k) \subseteq \mathcal{C}_k^{(t)}.
$$

This inclusion means that COIT quantifies the best possible “collectively available” set-valued information for the entire source component at time $k$ [2509.14106]. The bound is “collective” because it reflects not only a sensor’s own measurements, but also all information that can reach it through the communication graph over time [2509.14106].

The underlying geometry is intersection-based. Each observation-information set represents the states consistent with one measurement after propagation through the system dynamics and bounded disturbances; COIT then intersects such sets across sensors and times within the communication reach determined by the source component [2509.14106]. This suggests that COIT is not merely a graph summary or an observability surrogate, but a set-valued object encoding both dynamic propagation and measurement consistency.

The comparison with OIT clarifies the conceptual lineage. In the centralized setting, the OIT characterizes observational information provided by measurements independently of the initial set, and the filter estimate is contained in the intersection of the OIT and the state-evolution set [2203.13966]. COIT preserves the same observation-information logic while replacing a single measurement stream with distributed measurement streams constrained by network topology [2509.14106].

## 4. Role in asymptotic boundedness analysis

COIT is introduced specifically to make the boundedness analysis of DSMFing tractable. By analyzing the evolution of $\mathcal{C}_k^{(t)}$, the theory establishes a checkable sufficient condition under which all local set estimates remain asymptotically bounded [2509.14106].

The sufficient condition is stated at the level of each source component: for every source component $G_t^{\mathrm{s}}$, a specific condition linking the system dynamics $A$, the collective output matrix $C^{(t)}$, and the noise directions must hold [2509.14106]. In essence, the condition requires that no unobservable, unstable modes are present in the subsystem seen by any source component, with a precise algebraic characterization given in the theorem of the paper [2509.14106].

Two direct conclusions are highlighted. First, **if the pair $(A, C^{(t)})$ is detectable for each source component**, then the estimates remain asymptotically bounded [2509.14106]. Second, the exact COIT construction allows the result to generalize and sometimes strictly relax the classic collective detectability requirement [2509.14106].

This boundedness role is the distributed analogue of how OIT is used in centralized set-membership filtering. There, OIT supports explicit necessary and sufficient conditions for stability with respect to the initial condition, and detectability guarantees uniformly bounded estimates and estimation gap for bounded initial sets [2203.13966]. COIT transfers that observation-information methodology to the case where information is fragmented across sensors and constrained by graph structure [2509.14106].

## 5. Relation to collective detectability

A central theoretical contribution of COIT is its relation to **collective detectability**, the classic structural condition used in distributed observers and distributed Kalman filters [2509.14106]. In those settings, collective detectability means that although individual sensors may not observe the full state, the collective sensor group made available through the communication structure renders the system detectable [2509.14106].

COIT generalizes this notion in two senses. It **systematically formalizes** what “collective information” every sensor in a source component will eventually know, and the sufficient condition for boundedness via COIT is shown to **include collective detectability as a special case** [2509.14106]. At the same time, the paper states that bounded set-membership estimation can be permitted even for some systems that are “not strictly detectable” in the classic sense, owing to the non-probabilistic, set-based nature of the estimation; this is identified as a uniquely beneficial property of DSMF [2509.14106].

A concise comparison is as follows.

| Method | Boundedness/convergence relies on | Role of COIT / detectability |
|---|---|---|
| Distributed Observer | Collective detectability | --- |
| Distributed Kalman Filter | Collective detectability (for bounded error covariance) | --- |
| Distributed Set-Membership Filter (DSMF) | COIT: Geometry of collectively available information sets | Generalizes detectability |

This comparison indicates continuity rather than rupture. COIT links DSMFs to existing distributed estimation methods and reveals the unique characteristic of DSMFs, namely that boundedness can be certified through a set-valued information geometry that may be less restrictive than classical detectability requirements [2509.14106].

A common misconception is to treat COIT as merely a renaming of collective detectability. The definitions and results do not support that reduction. Detectability is a property of $(A,C)$-type pairs; COIT is a geometric object built from propagated observation-information sets, and detectability enters later as a sufficient condition or special case within the boundedness analysis [2509.14106].

## 6. Analytical and design implications

COIT has direct implications for the design and verification of distributed filters. The paper gives a practical guideline: verify the relevant structural property, using observability decomposition and network topology, for each source component [2509.14106]. This makes the boundedness test local to source components rather than requiring a monolithic global argument [2509.14106].

A further design implication is that COIT can help avoid over-engineering. The paper states that additional sensors are not needed for certain marginally stable but unobservable modes, provided they do not cause wrapping in the set-valued estimate [2509.14106]. This suggests that, in DSMF design, sufficiency should be evaluated with respect to bounded set propagation rather than imported uncritically from stochastic or noise-free estimation doctrines.

The analytical framework is also presented as unifying. COIT helps unify the analysis for deterministic (DSMF), noise-free (DO), and stochastic (DKF) cases [2509.14106]. In the predecessor OIT framework, a similar unification occurs at the centralized level: OIT supports a stability-guaranteed set-membership filtering framework and an efficient constrained zonotopic SMF that overcomes the wrapping effect while remaining well-posed and uniformly bounded under detectability-type conditions [2203.13966]. The distributed COIT framework extends this line of reasoning from initial-condition dependence to network-mediated information aggregation [2509.14106].

A plausible implication is that COIT provides a principled language for separating three coupled factors that are often conflated in distributed estimation: the dynamics $A$, the measurement structure encoded by the relevant output matrices, and the information-routing constraints imposed by the communication graph. That interpretation is consistent with the paper’s emphasis on “the interplay between communication, system dynamics, and estimation performance” [2509.14106].

## 7. Conceptual significance and scope

COIT is best understood as a **central geometric object** for distributed set-based estimation rather than as a general-purpose label for collective sensing [2509.14106]. Its formal content is specific: it is defined over source components of a communication graph, built from propagated observation-information sets, and used to derive asymptotic boundedness guarantees for DSMFs in linear discrete-time systems with unknown-but-bounded disturbances [2509.14106].

Its significance follows from that specificity. First, COIT provides a precise outer-bound description of collectively available information. Second, it converts that description into a verifiable sufficient condition for boundedness. Third, it embeds DSMFing within the broader theory of distributed estimation by recovering collective detectability as a special case while revealing a distinctively set-membership advantage [2509.14106].

The relation to OIT further underscores its place in the literature. OIT had already shown that observation-information structures can yield initial-condition-independent bounds, rigorous stability analysis, and stable set-membership filtering algorithms in the centralized case [2203.13966]. COIT extends that perspective to distributed networks and thereby supplies a theoretical bridge between classical set-membership filtering and graph-based distributed estimation [2509.14106].

In summary, the Collective Observation-Information Tower is a framework for expressing what a source component of a sensor network can collectively infer, in set-valued form, about the evolving system state. Through that framework, asymptotic boundedness of distributed set-membership filters becomes analyzable in terms of graph structure, propagated measurement information, and the presence or absence of unobservable unstable modes [2509.14106].

Source: https://www.emergentmind.com/topics/collective-observation-information-tower-coit