The constrained stabilization of linear uncertain systems is investigated via the set-theoretic framework of control Lyapunov R-functions. A novel composition rule allows the design of a composite control Lyapunov function with external level set that exactly shapes the maximal controlled invariant set and inner sublevel sets arbitrarily close to any choice of smooth ones, generalizing both polyhedral and truncated ellipsoidal control Lyapunov functions. The feasibility test of the proposed smooth control Lyapunov functions can be cast into matrix inequalities conditions. The constrained linear quadratic control is addressed as an application. (c) 2012 Elsevier Ltd. All rights reserved.