LAUSR

Let Pfaffian system ω define an intrinsically nonlinear control system on manifold M that is invariant under the free, regular action of a Lie group G. The problem of identifying and constructing static feedback linearizable G-quotients of ω was solved in De Doná et al. (2016). Building on these results, the present paper proves that the trajectories of ω can often be expressed as the composition of the trajectories of a static feedback linearizable quotient control system, ω/G, on quotient manifold M/G, and those of a separate control system, γG, evolving on a principal G-bundle over a jet space. Furthermore, we point out that ω may not only have a static feedback linearizable quotient, ω/G but additionally, γG itself may possess a static feedback linearizable reduction as well. This enables one to express the trajectories of an intrinsically nonlinear control system as the composition of the trajectories of static feedback linearizable control systems, thereby providing a geometric criterion for the explicit integrability of intrinsically nonlinear systems. Moreover, special integrability properties arise when G is solvable. Examples are presented in which the above phenomena are explicitly demonstrated. An important aspect of the examples is that they gather evidence for the conjecture that our sufficient conditions for explicit integrability are also necessary.