Equality-constrained bilinear state estimation