It’s a change of parameterization that can help performance. It implies the same prior on a[t], but works differently.
The specific answer to your question is: Bayesian structural time series modeling (That whole thread might be valuable for comparison)
I’m assuming also that innov is also declared as a parameter and there’s a innov ~ normal(0, 1); statement in the model block.