Text this: On the algorithmic unsolvability of some stability problems forhybrid systems