This approach works directly with constrained zonotopes.
The sets \(\mathcal {Z}_{x|y^i(k)}\)  of Proposition REF 
are constrained
zonotopes with no \(A_\mathcal {C},b_\mathcal {C}\)  constraints.
The intersection in (REF ) becomes
\(\hat{\mathcal {C}}_k =~\tilde{\mathcal {C}}_k~\cap _{i=1}^q~\mathcal {Z}_{x|y^i(k)}\) 
which can be performed as described in [1]}.

Данный подход напрямую работает с ограниченными зонотопами.

Множества \(\mathcal {Z}_{x|y^i(k)}\) из Предложения REF являются ограниченными зонотопами без ограничений \(A_\mathcal {C},b_\mathcal {C}\).

Пересечение в (REF) становится

\(\hat{\mathcal {C}}_k =~\tilde{\mathcal {C}}_k~\cap _{i=1}^q~\mathcal {Z}_{x|y^i(k)}\),

что может быть выполнено, как описано в [1].