Closed-form Filtering for Non-linear Systems