https://9dok.net/document/q5m0wpnw-reachable-sets-pulse-controls-constraints-asymptotic-character.html