أرسل هذا في رسالة قصيرة: Bounding the escape time of a linear dynamical system over a compact semialgebraic set