Some new algorithms for recursive estimation in constant linear systems | Synapse