linear matrix inequality; inequalities; Lyapunov; control; reachable sets