On the Minimum Number of Control Laws for Nonlinear Systems with Input-Output Linearisation Singularities

Abstract

We study how many distinct feedback-linearising control laws are needed for a single-input single-output nonlinear system whose exact input-output linearising law is singular on a nonempty subset of the state space. The question is posed as a coverage problem: a family of exact and approximate (Hauser-Sastry-Kokotovic) linearising laws covers a region if every state of the region lies in the validity domain of at least one law. Using transversality arguments we prove that, for $p$ laws whose singular hypersurfaces are in general position, the uncovered set is a finite union of embedded submanifolds of codimension exactly $p$. Hence $n+1$ laws always suffice for complete coverage of an $n$-dimensional state space, two laws already reduce the uncovered set to a thin set that generic trajectories never meet, and complete coverage with fewer than $n+1$ laws depends on specific intersections rather than on the number of components of the singularity manifold. The theory is applied exhaustively to the ball-and-beam system, whose exact linearising law is singular on the union of two transverse hypersurfaces $\{r=0\}\cup\{\dotθ=0\}$. We construct three explicit laws (the exact law and the two canonical Hauser-Sastry-Kokotovic approximations), compute their validity domains in closed form and prove that (i) every periodic tracking task forces the state through the singular set, so the exact law can never be used alone; (ii) a single approximate law covers the entire admissible region $|θ|<π/2$, and any two of the three laws cover $\mathbb{R}^4$ up to a codimension-two set; (iii) the three laws together cover $\mathbb{R}^4$ minus an explicit obstructed set on which the output is not linearisable by any static feedback, because the ball motion there is invariant under reversal of the input. Simulations confirm each statement.