Discrete-Time Equivalent of Continuous-Time Filtering Processes

The continuous-time Kalman filtering problem over a finite time interval can be made equivalent to a discrete-time filtering problem. The matrices in the latter are related to the submatrices of the transition matrix of a Hamiltonian system that corresponds to the continuous-time filtering problem.