Any estimation algorithms that allow a user to indicate that certain Solutions are impossible?
This series of papers tries to enforce such constraints.

The constraints are on the state of the Kalman filter: