You can use any names you want for these variables, and there are many equivalent ways that the specification could be written. Vector ARMA processes can also be estimated with PROC MODEL. For example ...
When converting from an ARMA form to a state space form, you can generate a state vector larger than needed; that is, the state space model may not be a minimal representation. When going from a state ...