أرسل هذا في رسالة قصيرة: On the algorithmic unsolvability of some stability problems forhybrid systems