Unconstrained and constrained stabilization of bilinear discrete-time systems using polyhedral Lyapunov functions

The constrained and unconstrained stabilisation problem of discrete-time bilinear systems is investigated. Using polyhedral Lyapunov functions, conditions for a polyhedral set to be both positively invariant and domain of attraction for systems with second-order polynomial nonlinearities are first established. Then, systematic methods for the determination of stabilising linear feedback for both constrained and unconstrained bilinear systems are presented. Attention is drawn to the case where no linear control law rendering the pre-specified desired domain of attraction positively invariant exists. For this case, an approach guaranteeing the existence of a possibly suboptimal solution is established