Formal N\ue9ron models and Weil restriction

It is known that in algebraic geometry the N\ue9ron model (if it exists) of a smooth group scheme G over a local field K can be recovered using the Weil restriction functor from the N\ue9ron model of the extension of G to a finite field extension of K. We extends the classical results to the context of formal Neron models of rigid group schemes