Proving that the state of a controlled nonlinear system always stays inside a time moving
bubble (or capture tube) amounts to proving the inconsistency of a set of nonlinear …