Guiver, Christopher, Townley, Stuart, "Controllability for positive discrete–time linear systems with positive state", , 2025