On the factorization of trajectory lifting maps

Trajectory preserving and lifting maps have been implicitly used in many recursive or hierarchical control design techniques. Well known systems theoretic concepts such as differential flatness or more recent ones such as bisimulations can be also understood through the trajectory lifting maps they define. In this paper we initiate a study of trajectory preserving and lifting maps between affine control systems. Our main result shows that any trajectory lifting map between two single-input control affine systems can be locally factored as the composition of two special trajectory lifting maps: a projection onto a quotient system followed by a differentially flat output with respect to another control system.