Existence and design of functional observers for linear systems | Synapse