13.2.4.1 Better unicycle models

Improvements to the models in Section 13.1 can be made by placing integrators in front of action variables. For example, consider the unicycle model (13.18). Instead of directly setting the speed using $ u_s$, suppose that the speed is obtained by integration of an action $ u_a$ that represents acceleration. The equation $ {\dot s}= u_a$ is used instead of $ s =
u_s$, which means that the action sets the change in speed. If $ u_a$ is chosen from some bounded interval, then the speed is a continuous function of time.

How should the transition equation be represented in this case? The set of possible values for $ u_a$ imposes a second-order constraint on $ x$ and $ y$ because double integration is needed to determine their values. By applying the phase space idea, $ s$ can be considered as a phase variable. This results in a four-dimensional phase space, in which each state is $ (x,y,\theta,s)$. The state (or phase) transition equation is

$\displaystyle {\dot x}$ $\displaystyle = s \cos \theta$ $\displaystyle \qquad {\dot \theta}$ $\displaystyle = u_\omega$    
$\displaystyle {\dot y}$ $\displaystyle = s \sin \theta$ $\displaystyle \qquad {\dot s}$ $\displaystyle = u_a ,$ (13.45)

which should be compared to (13.18). The action $ u_s$ was replaced by $ s$ because now speed is a phase variable, and an extra equation was added to reflect the connection between speed and acceleration.

The integrator idea can be applied again to make the unicycle orientations a continuous function of time. Let $ u_\alpha$ denote an angular acceleration action. Let $ \omega$ denote the angular velocity, which is introduced as a new state variable. This results in a five-dimensional phase space and a model called the second-order unicycle:

$\displaystyle {\dot x}$ $\displaystyle = s \cos \theta$ $\displaystyle \qquad {\dot s}$ $\displaystyle = u_a$    
$\displaystyle {\dot y}$ $\displaystyle = s \sin \theta$ $\displaystyle \qquad {\dot \omega}$ $\displaystyle = u_\alpha$ (13.46)
$\displaystyle {\dot \theta}$ $\displaystyle = \omega,$    

in which $ u = (u_a,u_\alpha)$ is a two-dimensional action vector. In some contexts, $ s$ may be fixed at a constant value, which implies that $ u_a$ is fixed to $ u_a = 0$.

Steven M LaValle 2020-08-14