“…For nonlinear systems of moderate complexity, Lie derivatives can easily be computed symbolically using computer algebra packages such as Mathematica, Maple, MuPAD, or Macsyma. In fact, several research groups developed toolboxes to solve problems in nonlinear control symbolically using Lie derivatives [3,9,20,21]. Symbolically computed solutions provide insights into the structure of the solution, parameter dependencies, and can easily be exported as source code of the programming languages C and Fortran.…”