On solving terminal approach and evasion problems for linear discrete-time systems under state constraints | Synapse