A constraint monitor algorithm for the Cassini spacecraft | Synapse