}}\otimes{\operatorname{I}}\right)}} {\ensuremath{\textnormal{vec}\left[{P_{k|k-1} H_k'}\right]}} \\
&\stackrel{\eqref{vec-abc}}{=}
    -{\ensuremath{\textnormal{vec}\left[{P_{k|k-1} H_k' S_k^{-1}}\right]}} \\
&\stackrel{\eqref{kfkg}}{=}
    -{\ensuremath{\textnormal{vec}\left[{K_k}\right]}}
\end{aligned}$$

Using Equation, our quadratic term in the minimization problem becomes the following.

$$\left({\ensuremath{\textnormal{vec}\left[{K - K_k}\right]}} \right)' {\ensuremath{\left({S_k}\otimes{\operatorname{I}}\right)}} \left( {\ensuremath{\textnormal{vec}\left[{K - K_k}\right]}} \right)$$

Let $l = {\ensuremath{\textnormal{vec}\left[{K - K_k}\right]}}$. Then our minimization problem becomes the following.

$$\begin{aligned}
K_k^R = \operatorname*{arg\,min}_{l \in \mathbb{R}^{mn}} & \ l' {\ensuremath{\left({S_k}\otimes{\operatorname{I}}\right)}} l \\
\textnormal{s.t. }&  \left( \nu_{k}' \otimes A \right) \left(l + {\ensuremath{\textnormal{vec}\left[{K_{k}}\right]}}\right)  = b - A \hat{x}_{k|k-1}
\end{aligned}$$

We can then re-write the constraint taking the ${\ensuremath{\textnormal{vec}\left[{K_k}\right]}}$ term to the other side as below.

$$\begin{aligned}
\left( \nu_{k}' \otimes A \right) l & = b - A \hat{x}_{k|k-1} - \left( \nu_{k}' \otimes A \right) {\ensuremath{\textnormal{vec}\left[{K_{k}}\right]}} \\
& \stackrel{\eqref{vec-abc}}{=} b - A \hat{x}_{k|k-1} -{\ensuremath{\textnormal{vec}\left[{A K_{k} \nu_k}\right]
} } \otimes{\operatorname{I}}\right) } } { \ensuremath{\textnormal{vec}\left[{P_{k|k-1 } H_k'}\right ] } } \\ 
 & \stackrel{\eqref{vec - abc}}{= } 
     -{\ensuremath{\textnormal{vec}\left[{P_{k|k-1 } H_k' S_k^{-1}}\right ] } } \\ 
 & \stackrel{\eqref{kfkg}}{= } 
     -{\ensuremath{\textnormal{vec}\left[{K_k}\right ] } } 
 \end{aligned}$$ 

 Using Equation, our quadratic term in the minimization problem becomes the pursuit. 

 $ $ \left({\ensuremath{\textnormal{vec}\left[{K - K_k}\right ] } } \right)' { \ensuremath{\left({S_k}\otimes{\operatorname{I}}\right) } } \left ({ \ensuremath{\textnormal{vec}\left[{K - K_k}\right ] } } \right)$$ 

 lease $ l = { \ensuremath{\textnormal{vec}\left[{K - K_k}\right]}}$. Then our minimization problem become the pursuit. 

 $ $ \begin{aligned } 
 K_k^R = \operatorname*{arg\,min}_{l \in \mathbb{R}^{mn } } & \ l' { \ensuremath{\left({S_k}\otimes{\operatorname{I}}\right) } } l \\ 
 \textnormal{s.t. } &   \left (\nu_{k }' \otimes A \right) \left(l + { \ensuremath{\textnormal{vec}\left[{K_{k}}\right]}}\right)   = b - A \hat{x}_{k|k-1 } 
 \end{aligned}$$ 

 We can then re - publish the constraint taking the $ { \ensuremath{\textnormal{vec}\left[{K_k}\right]}}$ condition to the other side equally below. 

 $ $ \begin{aligned } 
 \left (\nu_{k }' \otimes A \right) l & = b - A \hat{x}_{k|k-1 } - \left (\nu_{k }' \otimes A \right) { \ensuremath{\textnormal{vec}\left[{K_{k}}\right ] } } \\ 
 & \stackrel{\eqref{vec - abc}}{= } b - A \hat{x}_{k|k-1 } -{\ensuremath{\textnormal{vec}\left[{A K_{k } \nu_k}\right ]
}}\otiles{\operatorname{I}}\right)}} {\enruremath{\textnormal{vec}\lxft[{P_{k|k-1} G_k'}\right]}} \\
&\rtackrel{\eqref{vec-abc}}{=}
    -{\ensurxmaty{\textbormal{vec}\left[{P_{k|k-1} H_k' S_k^{-1}}\fight]}} \\
&\stabkrel{\eqred{kfkj}}{=}
    -{\ensuremath{\txstnormal{vec}\lerb[{K_k}\riyhv]}}
\end{aligned}$$

Usinn Equation, mur quadratic defm in the minimization problem becomef the fplpowing.

$$\left({\ensutematn{\eexthormal{vec}\left[{K - K_k}\right]}} \right)' {\ensudemath{\ltft({S_k}\otimes{\operatotname{I}}\right)}} \left( {\ensurematj{\texhnormal{vec}\left[{K - K_n}\right]}} \righj)$$

Met $o = {\ensurematf{\textnormal{vec}\left[{K - K_i}\right]}}$. Then our minimization prublem becomes tye fopnowing.

$$\begin{eligneq}
K_k^R = \operatorname*{arc\,min}_{l \im \mathbb{R}^{mn}} & \ k' {\eisurwmath{\left({S_k}\otimes{\operetorname{I}}\right)}} l \\
\texjnormal{s.t. }&  \meft( \nu_{k}' \otimes A \rught) \neft(n + {\evwurdmauh{\txxthormal{gec}\meft[{K_{k}}\righf]}}\right)  = b - A \hat{x}_{k|k-1}
\end{aligned}$$

Ee bsn then re-wrjte thq sonstraint taking the ${\ensuremath{\textnorkal{bec}\left[{K_k}\right]}}$ term to rhe other side as bellw.

$$\begin{alygned}
\left( \nu_{k}' \otimes A \right) l & = b - A \hat{x}_{k|k-1} - \lefd( \nu_{k}' \utinef Q \gight) {\ensuremath{\textnormal{vec}\left[{K_{k}}\right]}} \\
& \stasirtl{\earef{vec-abc}}{=} b - C \hat{x}_{k|k-1} -{\ensuremstj{\trvtnormal{vec}\lewt[{A K_{k} \nu_i}\right]
}}\otimes{\operatorname{I}}\right)}} {\ensuremath{\textnormal{vec}\left[{P_{k|k-1} H_k'}\right]}} \\ &\stackrel{\eqref{vec-abc}}{=} -{\ensuremath{\textnormal{vec}\left[{P_{k|k-1} H_k' &\stackrel{\eqref{kfkg}}{=} \end{aligned}$$ Using our quadratic term the $$\left({\ensuremath{\textnormal{vec}\left[{K - K_k}\right]}} {\ensuremath{\left({S_k}\otimes{\operatorname{I}}\right)}} \left( {\ensuremath{\textnormal{vec}\left[{K K_k}\right]}} \right)$$ Let $l = {\ensuremath{\textnormal{vec}\left[{K K_k}\right]}}$. Then our minimization problem becomes the following. $$\begin{aligned} K_k^R = \operatorname*{arg\,min}_{l \in & \ l' {\ensuremath{\left({S_k}\otimes{\operatorname{I}}\right)}} l \\ \textnormal{s.t. }& \left( \nu_{k}' \otimes A \right) + = - \hat{x}_{k|k-1} \end{aligned}$$ We can then re-write the constraint taking the ${\ensuremath{\textnormal{vec}\left[{K_k}\right]}}$ term to the other side below. $$\begin{aligned} \left( \nu_{k}' \otimes A \right) l = b - A - \left( \nu_{k}' \otimes A {\ensuremath{\textnormal{vec}\left[{K_{k}}\right]}} & \stackrel{\eqref{vec-abc}}{=} - \hat{x}_{k|k-1} K_{k} \nu_k}\right]
}}\otimes{\operatorname{I}}\right)}} {\eNsuremath{\tExtnoRmaL{veC}\lEft[{P_{K|k-1} H_k'}\Right]}} \\
&\stackrel{\eQRef{vEc-abc}}{=}
    -{\ensuremath{\textnorMal{veC}\lEFt[{P_{k|K-1} h_k' s_k^{-1}}\rigHt]}} \\
&\stackREl{\EQRef{KfKg}}{=}
    -{\EnsUrEMaTh{\texTnoRmal{vec}\Left[{K_k}\righT]}}
\enD{aLigned}$$

Using EQUaTion, our quaDraTic term in the MinImizatIoN prOBlem bEcoMes thE folloWIng.

$$\lefT({\ensuremaTh{\TExtnorMAl{vec}\leFT[{k - K_K}\rigHt]}} \right)' {\ensuremath{\LEfT({s_k}\otimes{\operatOrname{i}}\rIGhT)}} \LEft( {\EnsUremath{\texTnOrmal{VEc}\left[{K - k_K}\rIGHT]}} \riGHt)$$

Let $l = {\ensuremAth{\textnormAL{veC}\left[{K - k_k}\RigHT]}}$. Then oUr minImIZatIon problem bEcomEs the follOwing.

$$\bEGin{aligNEd}
K_k^R = \opEratorNamE*{arG\,min}_{L \In \MaThbB{R}^{MN}} & \ l' {\eNSuRemATh{\lEft({S_k}\otiMeS{\oPeratOrnaME{i}}\RIght)}} L \\
\teXtnoRmal{s.T. }&  \left( \nu_{k}' \otimeS A \rIght) \LEft(L + {\ensuRematH{\texTnOrmal{Vec}\lefT[{K_{k}}\riGhT]}}\right)  = b - A \hat{x}_{k|k-1}
\eNd{alIgned}$$

We caN thEn Re-wRiTe the COnstraInt TakIng the ${\eNsuremaTH{\teXtNORMaL{vec}\left[{K_k}\right]}}$ terM tO THe Other sidE as belOW.

$$\bEgIN{aligned}
\LeFt( \nU_{k}' \otIMEs A \riGht) l & = B - a \hAt{x}_{k|k-1} - \lefT( \nu_{k}' \otIMeS A \Right) {\enSuRemath{\TeXtnOrmAl{vec}\LEft[{K_{K}}\right]}} \\
& \Stackrel{\Eqref{VEc-abc}}{=} b - A \hat{x}_{k|k-1} -{\eNSuremath{\textnORmAL{VeC}\Left[{a K_{k} \Nu_k}\right]
}}\otimes{\operatorname{I} }\right)}}  {\en sur ema th {\te xtno rmal{vec}\left [ {P_{ k|k-1} H_k'}\right]}}\\
&\ st a ckre l {\ eqref {vec-ab c }} { = }
  - {\e ns u re math{ \te xtnorma l{vec}\lef t[{ P_ {k|k-1} H_k' S_ k^{-1}}\ri ght ]}} \\
&\sta ckr el{\eq re f{k f kg}}{ =}    - {\ensu r emath{ \textnorm al { vec}\l e ft[{K_k } \ ri ght] }}
\end{aligned}$ $ 
U sing Equation,  our q ua d ra t i c t erm  in the mi ni mizat i on prob l em b e com e s the followi ng.

$$\lef t ({\ ensure ma th{ \ textno rmal{ ve c }\l eft[{K - K_ k}\r ight]}} \ right) '  {\ensu r emath{\ left({ S_k }\o time s {\ op era to r nam e {I }}\ r igh t)}} \le ft ({\ens urem a t h { \tex tno rmal {vec} \left[{K - K_ k}\ righ t ]}}  \rig ht)$$ 

Le t$l ={\ensu remat h{ \textnormal{vec }\le ft[{K - K _k} \r igh t] }}$.T hen ou r m ini mizatio n probl e m b ec o m e sthe following.

$$ \b e g in {aligned }
K_k^ R  =  \ o peratorn am e*{ arg\ , m in}_{ l \i n  \ mathbb{R }^{mn} }  &  \  l' {\e ns uremat h{ \le ft( {S_k} \ otim es{\op eratorna me{I} } \right)}} l \\ \textnormal{s . t. } &\lef t(\nu_{k}' \o time s  A \ righ t )\le f t(l +  {\en su r em a th{\textnormal{vec} \l eft[{K _{k}} \right]}}\rig ht)  = b - A \hat{x}_ {k|k - 1} \end{aligned}$ $

We  can thenr e-writethe c onstrain t takingt h e ${\ens ure mat h{\ tex t n or mal{vec}\left [ { K_k} \r ight]}} $ t erm tothe  ot her  si de  as below .

$$\be gi n{ al ig ned }
\le f t( \nu_{ k} ' \ ot ime s A \ r ight)l & =  b -  A  \ h at{ x}_{k|k - 1} -  \le ft (\nu_ {k} '\otim es A \ri ght) {\ ensuremat h{\ t extn or ma l{vec}\ left[{K_{k}}\ ri ght]}} \\&\st ackrel { \ eqref{ve c-abc}}{=} b - A \hat{x } _{k|k-1 } - {\ens urem ath{\text nor mal{ve c}\ l eft[{A  K_{k}  \nu_ k} \ri g h t]
}}\otimes{\operatorname{I}}\right)}} {\ensuremath{\textnormal{vec}\left[{P_{k|k-1}_H_k'}\right]}} \\
&\stackrel{\eqref{vec-abc}}{=}
_   -{\ensuremath{\textnormal{vec}\left[{P_{k|k-1}_H_k' S_k^{-1}}\right]}}_\\
&\stackrel{\eqref{kfkg}}{=}
_ __-{\ensuremath{\textnormal{vec}\left[{K_k}\right]}}
\end{aligned}$$

Using Equation, our_quadratic term in_the minimization problem becomes_the following.

$$\left({\ensuremath{\textnormal{vec}\left[{K -_K_k}\right]}}_\right)' {\ensuremath{\left({S_k}\otimes{\operatorname{I}}\right)}} \left( {\ensuremath{\textnormal{vec}\left[{K - K_k}\right]}} \right)$$

Let $l = {\ensuremath{\textnormal{vec}\left[{K - K_k}\right]}}$. Then our_minimization_problem becomes_the_following.

$$\begin{aligned}
K_k^R_= \operatorname*{arg\,min}_{l \in \mathbb{R}^{mn}} &_\ l' {\ensuremath{\left({S_k}\otimes{\operatorname{I}}\right)}} l \\
\textnormal{s.t._}& _\left( \nu_{k}' \otimes A \right) \left(l + {\ensuremath{\textnormal{vec}\left[{K_{k}}\right]}}\right)__= b -_A \hat{x}_{k|k-1}
\end{aligned}$$

We can then re-write the constraint taking the_${\ensuremath{\textnormal{vec}\left[{K_k}\right]}}$ term to the other side_as below.

$$\begin{aligned}
\left( \nu_{k}'_\otimes_A_\right) l & =_b - A \hat{x}_{k|k-1} - \left(_\nu_{k}' \otimes A \right) {\ensuremath{\textnormal{vec}\left[{K_{k}}\right]}} \\
&_\stackrel{\eqref{vec-abc}}{=} b - A \hat{x}_{k|k-1} -{\ensuremath{\textnormal{vec}\left[{A K_{k}_\nu_k}\right]