Have several check on options. There are only limited keys allowed, otherwise there should be an error. We can also use the inspect state space function to print out the list of states and the sparsity condition, to rule out spelling errors. Also there should be a check to supply transition and states for exogenous processes.