No label defined (Q4536142)

This paper is devoted to an equivalence problem of a single input nonlinear control system of the form \[ \begin{cases} \dot y_1=u\\ \dot y_j= y_{j-1},\;j=2, \dots, n-1\\ \dot y_n= y^k_{n-1},\;k\geq 2,\end{cases} \tag{*} \] with bounded control \(|u|\leq 1\), and a linear ``canonical'' system \[ \begin{cases} \dot x_1=u\\ \dot x_j= x_{j-1},\;j=2,\dots, n,\end{cases} \tag{+} \] having the same control bound. Specifically, the bang-bang type control is assumed, and a diffeomorphism that is nonsmooth at the switching surface is designed, transforming the zero-controllable region of the state space of (+) into the zero-controllable state space region of (*). The main theorem, stated without proof, asserts the existence of such a diffeomorphism for a general system (*). A detailed construction of the diffeomorphism has been accomplished in low dimensions \((n=2,k\geq 2\) and \(n=k=3)\). The approach presented in this paper has been developed by the same authors in [J. Optim. Theory Appl. 108, 389-405 (2001; Zbl 0970.49006)].