Integrability and Controllability

The Lie bracket can be used to generate vector fields that potentially lie outside of $\triangle$. There are two theorems that express useful system properties that can be inferred using the vector fields generated by Lie brackets.